43 found
Order:
See also
Profile: William W. Tait (University of Chicago)
  1. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   35 citations  
  2. Meeting of the Association for Symbolic Logic.John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait - 1976 - Journal of Symbolic Logic 41 (2):551-560.
  3.  11
    Kant and Finitism.W. W. Tait - 2016 - Journal of Philosophy 113 (5/6):261-273.
    An observation and a thesis: The observation is that, whatever the connection between Kant’s philosophy and Hilbert’s conception of finitism, Kant’s account of geometric reasoning shares an essential idea with the account of finitist number theory in “Finitism”, namely the idea of constructions f from ‘arbitrary’ or ‘generic’ objects of various types. The thesis is that, contrary to a substantial part of contemporary literature on the subject, when Kant referred to number and arithmetic, he was not referring to the natural (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  59
    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  
     
    My bibliography   22 citations  
  5.  98
    Truth and Proof: The Platonism of Mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  6.  84
    Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics. [REVIEW]W. W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.
  7.  58
    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  
     
    My bibliography   3 citations  
  8. Functionals Defined by Transfinite Recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
  9. The Completeness of Heyting First-Order Logic.W. W. Tait - 2003 - Journal of Symbolic Logic 68 (3):751-763.
    Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of first-order predicate logic as formalized by Heyting, with one exception: ∃-elimination in the Curry-Howard theory, where ∃x : A.F (x) is understood as disjoint union, are the projections, and these do not preserve firstorderedness. This note shows, however, that the Curry-Howard theory is conservative over Heyting’s system.
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  76
    Gödel on Intuition and on Hilbert's Finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
    There are some puzzles about G¨ odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception of it was unstable, that he oscillated back and forth between different accounts of it. I want to discuss these puzzles and argue that, on the contrary, G¨ odel’s writings represent a smooth evolution, with just one rather small double-reversal, of his view of finitism. He used the term “finit” (in German) or “finitary” or “finitistic” primarily to (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  15
    Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  53
    Beyond the Axioms: The Question of Objectivity in Mathematics.W. W. Tait - 2001 - Philosophia Mathematica 9 (1):21-36.
    This paper contains a defense against anti-realism in mathematics in the light both of incompleteness and of the fact that mathematics is a ‘cultural artifact.’. Anti-realism (here) is the view that theorems, say, of aritltmetic cannot be taken at face value to express true propositions about the system of numbers but must be reconstrued to be about somctliiiig else or about nothing at all. A ‘bite-the-bullet’ aspect of the defease is that, adopting new axioms, liitherto independent, is not. a matter (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  19
    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  
     
    My bibliography   3 citations  
  14. Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 2003 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
  15.  4
    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.
  16.  6
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  17.  22
    A Counterexample to a Conjecture of Scott and Suppes.W. W. Tait - 1959 - Journal of Symbolic Logic 24 (1):15-16.
  18.  13
    The Substitution Method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  19.  6
    Book Review:Mathematics in Philosophy Charles Parsons. [REVIEW]W. W. Tait - 1986 - Philosophy of Science 53 (4):588-.
  20.  37
    Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.
    History and Philosophy of Logic, Volume 32, Issue 2, Page 177-183, May 2011.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21.  14
    Plato's Second Best Method.W. W. Tait - 1986 - Review of Metaphysics 39 (3):455 - 482.
  22.  39
    Noesis: Plato on Exact Science.W. W. Tait - 2002 - In David B. Malament (ed.), Reading Natural Philosophy: Essays in the History and Philosophy of Science and Mathematics. Open Court. pp. 11--31.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23. Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  1
    A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic.W. W. Tait - 1968 - Journal of Symbolic Logic 33 (2):289-290.
  25.  14
    Review: J. P. Mayberry, The Foundations of Mathematics in the Theory of Sets. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.
  26.  11
    The Logic of Provability.W. W. Tait - 1999 - Journal of Philosophy 96 (1):50-53.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27. Review: Leon Henkin, A Generalization of the Notion of $Omega$-Consistency. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-40.
     
    Export citation  
     
    My bibliography  
  28.  8
    Book Review:Wittgenstein on Meaning. Colin McGinn. [REVIEW]W. W. Tait - 1987 - Ethics 97 (3):675-.
  29.  1
    Orey Steven. On Ω-Consistency and Related Properties.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
  30.  1
    Wittgenstein and the "Skeptical Paradoxes".W. W. Tait - 1986 - Journal of Philosophy 83 (9):475.
  31. Review: Steven Orey, On $Omega$-Consistency and Related Properties. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
     
    Export citation  
     
    My bibliography  
  32.  1
    Review: H. G. Rice, On Completely Recursively Enumerable Classes and Their Key Arrays. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):48-48.
  33.  1
    Review: Alan Cobham, Some Remarks Concerning Theories with Recursively Enumerable Complements. [REVIEW]W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):255-255.
  34. Meeting of the Association for Symbolic Logic, Chicago 1975.John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait - 1976 - Journal of Symbolic Logic 41 (2):551-560.
  35. Book Review on Potter 2004. [REVIEW]W. W. Tait - 2005 - History and Philosophy of Logic 26 (2):164.
    No categories
     
    Export citation  
     
    My bibliography  
  36. Chicago 1967 Meeting of the Association for Symbolic Logic.W. W. Tait - 1971 - Journal of Symbolic Logic 36 (2):359-368.
  37. Grzegorczyk A.. Some Proofs of Undecidability of Arithmetic. Fundamenta Mathematicae, Vol. 43 , Pp. 166–177.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):46-47.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Gödel's Correspondence on Proof Theory and Constructive Mathematics †Charles Parsons Read Part of an Early Draft of This Review and Made Important Corrections and Suggestions.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76-111.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. Henkin Leon. A Generalization of the Notion of Ω-Consistency.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Mayberry J. P.. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Review: A. Grzegorczyk, Some Proofs of Undecidability of Arithmetic. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):46-47.
     
    Export citation  
     
    My bibliography  
  42. REVIEWS: E. Menzler-Trott-Logic's Lost Genius: The Life of Gerhard Gentzen. [REVIEW]W. W. Tait - 2010 - Bulletin of Symbolic Logic 16 (2).
  43. Functionals Defined by Transfinite Recursion.R. E. Vesley & W. W. Tait - 1966 - Journal of Symbolic Logic 31 (3):509.