Results for 'W. W. Bledsoe'

(not author) ( search as author name )
998 found
Order:
  1.  16
    Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
  2.  7
    Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
  3.  7
    Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
  4.  6
    A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
  5.  2
    Completeness results for inequality provers.W. W. Bledsoe, K. Kunen & R. Shostak - 1985 - Artificial Intelligence 27 (3):255-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  76
    Kuhn: philosopher of scientific revolutions.W. W. Sharrock - 2002 - Malden, MA: Polity. Edited by Rupert J. Read.
    Thomas Kuhn's shadow hangs over almost every field of intellectual inquiry. His book The Structure of Scientific Revolutions has become a modern classic. His influence on philosophy, social science, historiography, feminism, theology, and (of course) the natural sciences themselves is unparalleled. His epoch-making concepts of 'new paradigm' and 'scientific revolution' make him probably the most influential scholar of the twentieth century. Sharrock and Read take the reader through Kuhn's work in a careful and accessible way, emphasizing Kuhn's detailed studies of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  7. Wittgenstein.W. W. Bartley - 1973 - Philosophy 48 (186):403-404.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  8. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  9.  24
    Nicomachean Ethics, I, 1096 b 26-29.W. W. Fortenbaugh - 1966 - Phronesis 11 (2):185-194.
  10. Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  11. Marzenie o idei i ideologia marzenia.W. W. Wanczugow - 2004 - Colloquia Communia 77 (2):23-28.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Frege versus Cantor and Dedekind: On the Concept of Number.W. W. Tait - 1996 - In Matthias Schirn (ed.), Frege: importance and legacy. New York: Walter de Gruyter. pp. 70-113.
  13. Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  14. Acuerdo y desacuerdo sobre la creacion entre Tomás de aquino y Raimundo Lulio.W. W. Artus - 1997 - Studia Lulliana 37 (93):105-114.
     
    Export citation  
     
    Bookmark  
  15.  18
    A Note on De Anima 412b19-20.W. W. Fortenbaugh - 1968 - Phronesis 13 (1):88-89.
  16. Morality and Religion.W. W. Bartley - 1973 - Tijdschrift Voor Filosofie 35 (2):425-425.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  17. Wittgenstein.W. W. Bartley - 1974 - British Journal for the Philosophy of Science 25 (2):195-198.
     
    Export citation  
     
    Bookmark   4 citations  
  18. w.W. W. - manuscript
    No categories
     
    Export citation  
     
    Bookmark  
  19.  15
    The philosophy of Karl Popper.W. W. Bartley - 1978 - Philosophia 7 (3-4):675-716.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  90
    Believing the Meaningless.W. W. Mellor - 1954 - Analysis 15 (2):41 - 43.
  21.  29
    Achilles, the tortoise, and explanation in science and history.W. W. Bartley Iii - 1962 - British Journal for the Philosophy of Science 13 (49):15 - 33.
  22. On the criticizability of logic—a reply to A. A. Derksen.Iii W. W. Bartley - 1980 - Philosophy of the Social Sciences 10 (1).
  23.  55
    The reduction of morality to religion.Iii W. W. Bartley - 1970 - Journal of Philosophy 67 (20):755-767.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.
  25.  49
    The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  26.  24
    Intensional Interpretations of Functionals of Finite Type I.W. W. Tait - 1975 - Journal of Symbolic Logic 40 (4):624-625.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  27.  8
    The Moral Order of the World, in Ancient and Modern Thought. Alexander Balmain Bruce.W. W. Fairbrother - 1901 - International Journal of Ethics 11 (2):266-267.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Aristotle's Man: Speculations upon Aristotelian Anthropology.W. W. Fortenbaugh - 1976 - Philosophy 51 (196):236-239.
     
    Export citation  
     
    Bookmark  
  29. Woldemar gg. rler.W. W. Fortenbaugh & P. Steinmetz - 1995 - In Jonathan Powell (ed.), Cicero the philosopher: twelve papers. New York: Clarendon Press. pp. 85.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Wittgenstein.I. I. I. Bartley W. W. - 1973
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  31.  36
    Infinitely Long Terms of Transfinite Type.W. W. Tait, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (4):623-624.
  32.  74
    The law of excluded middle and the axiom of choice.W. W. Tait - 1994 - In Alexander George (ed.), Mathematics and Mind. Oxford University Press. pp. 45--70.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  33. Mr. Forman on Slang.W. W. Baker - 1909 - Classical Weekly 3:46.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Slang, Ancient and Modern.W. W. Baker - 1908 - Classical Weekly 2:210.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Depositional environment of the muddy formation.W. W. Ballard - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 28--99.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Histoire des mathématiques.W. W. Rouse Ball & L. Freund - 1906 - Revue Philosophique de la France Et de l'Etranger 61 (1):327-331.
     
    Export citation  
     
    Bookmark  
  37. Histoire des Mathématiques . 1 vol.W. W. Rouse Ball & L. Freund - 1906 - Revue de Métaphysique et de Morale 14 (1):8-8.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Récréations et problèmes mathématiques des temps anciens et modernes, 3e.W. W. Rouse Ball & J. Fitz-Patrick - 1898 - Revue de Métaphysique et de Morale 6 (3):11-11.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Approaches to Science and Scepticism.W. W. Bartley - 1969 - Philosophical Forum 1 (3):318.
     
    Export citation  
     
    Bookmark  
  40. Aristotle's Analysis of Friendship: Function and Analogy, Resemblance, and Focal Meaning.W. W. Fortenbaugh - 1975 - Phronesis 20 (1):51-62.
  41.  86
    The philosophy of Karl Popper.W. W. Bartley - 1976 - Philosophia 6 (3-4):463-494.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.
    The last section of “Lecture at Zilsel’s” [9, §4] contains an interesting but quite condensed discussion of Gentzen’s first version of his consistency proof for P A [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen’s result (in game-theoretic terms), fill in the details (with some corrections) of Godel's reformulation, and discuss the relation between the two proofs.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43.  7
    Some basic implications of a concept of organism for psychology.W. W. Martin - 1945 - Psychological Review 52 (6):333-343.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  8
    The Philosophy of the Enlightenment.W. W. Mayrl - 1976 - Télos 1976 (27):199-208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Intervening constructs: Dimensions of controversy.W. W. Meissner - 1960 - Psychological Review 67 (1):51-72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  18
    Nonconstructural aspects of psychological constructs.W. W. Meissner - 1958 - Psychological Review 65 (3):143-150.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  50
    Knowing, believing and behaving.W. W. Mellor - 1967 - Mind 76 (303):327-345.
  48.  31
    Blaydes' Edition of the Nubes.W. W. Merry - 1890 - The Classical Review 4 (10):457-460.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. The Politics of Lord Acton.W. W. Davies - 1947 - Hibbert Journal 14:21-30.
     
    Export citation  
     
    Bookmark  
  50.  15
    Towards a Levinasian care ethic: a dialogue between the thoughts of Joan Tronto and Emmanuel Levinas.W. W. Deidrich, Roger Burggraeve & Chris Gastmans - 2006 - Ethical Perspectives 13 (1):33-61.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998