29 found
Sort by:
See also:
Profile: William W. Tait (University of Chicago)
  1. W. W. Tait (2011). Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  2. W. W. Tait (2010). Gödel on Intuition and on Hilbert's Finitism. 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  
     
    My bibliography  
     
    Export citation  
  3. W. W. Tait (2010). REVIEWS: E. Menzler-Trott-Logic's Lost Genius: The Life of Gerhard Gentzen. [REVIEW] Bulletin of Symbolic Logic 16 (2).
     
    My bibliography  
     
    Export citation  
  4. W. W. Tait (2006). Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ. Philosophia Mathematica 14 (1):76.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. W. W. Tait (2005). Book Review on Potter 2004. [REVIEW] History and Philosophy of Logic 26 (2):164.
    No categories
     
    My bibliography  
     
    Export citation  
  6. W. W. Tait (2005). Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  7. W. W. Tait (2003). The Completeness of Heyting First-Order Logic. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  8. W. W. Tait (2003). Zermelo's Conception of Set Theory and Reflection Principles. In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
    No categories
     
    My bibliography  
     
    Export citation  
  9. W. W. Tait (2002). Noesis: Plato on Exact Science. In David B. Malament (ed.), Reading Natural Philosophy: Essays in the History and Philosophy of Science and Mathematics. Open Court. 11--31.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. W. W. Tait (2002). Review: J. P. Mayberry, The Foundations of Mathematics in the Theory of Sets. [REVIEW] Bulletin of Symbolic Logic 8 (3):424-426.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. W. W. Tait (2001). Beyond the Axioms: The Question of Objectivity in Mathematics. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  12. W. W. Tait (1999). The Logic of Provability. Journal of Philosophy 96 (1):50-53.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. W. W. Tait (1994). The Law of Excluded Middle and the Axiom of Choice. In Alexander George (ed.), Mathematics and Mind. Oxford University Press. 45--70.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. W. W. Tait (1987). Book Review:Wittgenstein on Meaning. Colin McGinn. [REVIEW] Ethics 97 (3):675-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. W. W. Tait (1986). Plato's Second Best Method. Review of Metaphysics 39 (3):455 - 482.
  16. W. W. Tait (1986). Truth and Proof: The Platonism of Mathematics. Synthese 69 (3):341 - 370.
  17. W. W. Tait (1986). Book Review:Mathematics in Philosophy Charles Parsons. [REVIEW] Philosophy of Science 53 (4):588-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. W. W. Tait (1983). Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics. [REVIEW] Journal of Philosophical Logic 12 (2):173 - 195.
  19. W. W. Tait (1981). Finitism. Journal of Philosophy 78 (9):524-546.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait (1976). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 41 (2):551-560.
  21. W. W. Tait (1967). Intensional Interpretations of Functionals of Finite Type I. Journal of Symbolic Logic 32 (2):198-212.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. W. W. Tait (1965). Functionals Defined by Transfinite Recursion. Journal of Symbolic Logic 30 (2):155-174.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. W. W. Tait (1965). Review: Alan Cobham, Some Remarks Concerning Theories with Recursively Enumerable Complements. [REVIEW] Journal of Symbolic Logic 30 (2):255-255.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. W. W. Tait (1965). The Substitution Method. Journal of Symbolic Logic 30 (2):175-192.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. W. W. Tait (1959). A Counterexample to a Conjecture of Scott and Suppes. Journal of Symbolic Logic 24 (1):15-16.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. W. W. Tait (1958). Review: A. Grzegorczyk, Some Proofs of Undecidability of Arithmetic. [REVIEW] Journal of Symbolic Logic 23 (1):46-47.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. W. W. Tait (1958). Review: H. G. Rice, On Completely Recursively Enumerable Classes and Their Key Arrays. [REVIEW] Journal of Symbolic Logic 23 (1):48-48.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. W. W. Tait (1958). Review: Leon Henkin, A Generalization of the Notion of $Omega$-Consistency. [REVIEW] Journal of Symbolic Logic 23 (1):40-40.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. W. W. Tait (1958). Review: Steven Orey, On $Omega$-Consistency and Related Properties. [REVIEW] Journal of Symbolic Logic 23 (1):40-41.
    Direct download  
     
    My bibliography  
     
    Export citation