Results for 'W. W.'

998 found
Order:
  1. Constructive Reasoning.W. W. Tait - 1968 - In B. Van Rootselaar & J. F. Staal (eds.), Logic, Methodology and Philosophy of Science III. Amsterdam: North-Holland. pp. 185-99.
  2. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  3.  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  
  4.  13
    Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
  5. 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   47 citations  
  6.  10
    Composition and function of ethical committees.W. W. May - 1975 - Journal of Medical Ethics 1 (1):23-29.
    In this paper the need for review (ethical) committees is elaborated to include a discussion of their composition and function. In some institutions more than one such committee may be set up, a departmental ethical committee and one which studies the projects of all the departments concerned. By considering proposed research before it is started patients or volunteers are protected from injury, discomfort, and inconvenience, and the scientific validity of a clinical experiment can be scrutinized. A list of possible criteria (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  88
    Believing the Meaningless.W. W. Mellor - 1954 - Analysis 15 (2):41 - 43.
  8. Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  9. Aristotle's Analysis of Friendship: Function and Analogy, Resemblance, and Focal Meaning.W. W. Fortenbaugh - 1975 - Phronesis 20 (1):51-62.
  10. 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.
  11.  80
    The philosophy of Karl Popper.W. W. Bartley - 1976 - Philosophia 6 (3-4):463-494.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12. Wittgenstein.W. W. Bartley - 1973 - Philosophy 48 (186):403-404.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  13.  83
    The philosophy of Karl Popper.W. W. Bartley - 1978 - Philosophia 7 (3-4):463-494.
  14.  6
    The Philosophy of the Enlightenment.W. W. Mayrl - 1976 - Télos 1976 (27):199-208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Current psychoanalytic theories of the self: View and re-view.W. W. Meissner - 2004 - In Joseph Reppen, Jane Tucker & Martin A. Schulman (eds.), Way Beyond Freud: Postmodern Psychoanalysis Observed. Open Gate Press. pp. 66--99.
     
    Export citation  
     
    Bookmark  
  16.  17
    Intervening constructs: Dimensions of controversy.W. W. Meissner - 1960 - Psychological Review 67 (1):51-72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Neurological Aspects of the Sense Powers of Man.W. W. Meissner - 1963 - The Thomist 26 (1):35.
     
    Export citation  
     
    Bookmark  
  18.  16
    Nonconstructural aspects of psychological constructs.W. W. Meissner - 1958 - Psychological Review 65 (3):143-150.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  37
    Sorne Notes on a Figure in St. Thomas.W. W. Meissner - 1957 - New Scholasticism 31 (1):68-84.
  20.  28
    The implications of experience for psychological theory.W. W. Meissner - 1966 - Philosophy and Phenomenological Research 26 (4):503-528.
    The question is raised whether the methods of psychology are adequate to provide an account of human behavior in terms meaningful for human existence. Also, The relationship between psychological theory and the evidence upon which it rests is discussed. "correlationism" and "constructuralism" are presented as two opposite orientations to theory in psychology. The author questions whether experience should be accepted as legitimate evidence and concludes that there should be acceptability of inner experience as legitimate scientific evidence in its own right. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  21.  6
    Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
  22.  5
    Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
  23. 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.
  24.  23
    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   16 citations  
  25.  44
    The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  26.  3
    A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
  27.  94
    The philosophy of Karl Popper part III. Rationality, criticism, and logic.W. W. Bartley - 1982 - Philosophia 11 (1-2):121-221.
  28. Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
  29. On Plato's feminism in "republic" V.W. W. Fortenbaugh - 1975 - Apeiron 9 (2):1 - 4.
  30.  34
    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.
  31.  68
    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  
  32.  60
    Magic witchcraft and the materialist mentality.W. W. Sharrock & R. J. Anderson - 1985 - Human Studies 8 (4):357 - 375.
  33.  13
    J. P. Mayberry. The foundations of mathematics in the theory of sets. Encyclopedia of mathematics and its applications, vol. 82. Cambridge University Press, Cambridge 2000, New York 2001, etc., xx + 424 pp. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.
  34. Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.
  35. A Dialogue on Eternal Punishment.W. W. Roberts - 1906 - Hibbert Journal 5:432.
     
    Export citation  
     
    Bookmark  
  36.  33
    Nicomachean Ethics, I, 1096 b 26-29.W. W. Fortenbaugh - 1966 - Phronesis 11 (2):185 - 194.
  37.  23
    Nicomachean Ethics, I, 1096 b 26-29.W. W. Fortenbaugh - 1966 - Phronesis 11 (2):185-194.
  38.  19
    Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  39. 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   8 citations  
  40. w.W. W. - manuscript
    No categories
     
    Export citation  
     
    Bookmark  
  41.  42
    A counterexample to a conjecture of Scott and Suppes.W. W. Tait - 1959 - Journal of Symbolic Logic 24 (1):15-16.
  42.  32
    Plato's Second Best Method.W. W. Tait - 1986 - Review of Metaphysics 39 (3):455 - 482.
    AT PHAEDO 96A-C Plato portrays Socrates as describing his past study of "the kind of wisdom known as περὶ φυσέως ἱστορία." At 96c-97b, Socrates says that this study led him to realize that he had an inadequate understanding of certain basic concepts which it involved. In consequence, he says at 97b, he abandoned this method and turned to a method of his own. But at this point in the dialogue, instead of proceeding immediately to describe his method, Plato has him (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  13
    Wittgenstein and the "Skeptical Paradoxes".W. W. Tait - 1986 - Journal of Philosophy 83 (9):475.
  44. Intercourse as the Basis of Thought.W. W. Carlile - 1915 - Philosophical Review 24:232.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Its alleged Universality.W. W. Carlile - 1896 - Mind 5:90.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Perception and Intersubjective Intercourse.W. W. Carlile - 1913 - Philosophical Review 22:350.
    No categories
     
    Export citation  
     
    Bookmark  
  47. The Conscience: Its Nature and Origin.W. W. Carlile - 1896 - Philosophical Review 5:205.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  15
    A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic.W. W. Tait - 1968 - Journal of Symbolic Logic 33 (2):289-290.
  49.  32
    Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76.
  50. Morality and Religion.W. W. Bartley - 1973 - Tijdschrift Voor Filosofie 35 (2):425-425.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 998