William Walker Tait (tait-ww)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Tait, William Walker. 1965. “Infinitely Long Terms of Transfinite Type.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 176–185. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
Tait, William Walker. 1970. “Applications of the Cut Elimination Theorem to Some Subsystems of Classical Analysis.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 475–488. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Tait, William Walker. 1971. “Normal Form Theorem for Bar Recursive Functions of Finite Type.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 353–367. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Tait, William Walker. 1972. “Normal Derivability in Classical Logic.” in The Syntax and Semantics of Infinitary Languages, edited by Jon K. Barwise, pp. 204–236. Lecture Notes in Mathematics n. 72. Berlin: Springer.
Tait, William Walker. 1981. “Finitism.” The Journal of Philosophy 78: 524–546.
Tait, William Walker. 1983. “Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics.” The Journal of Philosophical Logic 12(2): 173–195.
Tait, William Walker. 1986a. “Truth and Proof: The Platonism of Mathematics.” Synthese 69: 341–370.
Tait, William Walker. 1986b. “Critical Notice of Parsons (1983).” Philosophy of Science 53: 588–607.
Tait, William Walker. 1990. “The Iterative Hierarchy of Sets.” Iyyun, the Jerusalem Philosophical Quarterly 39: 65–79.
Tait, William Walker. 1992. “Reflections on the Concept of A Priori Truth and its Corruption by Kant.” in Proof and Knowledge in Mathematics, edited by Michael Detlefsen, pp. 33–64. London: Routledge.
Tait, William Walker. 1994. “The Law of Excluded Middle and the Axiom of Choice.” in Mathematics and Mind, edited by Alexander George, pp. 45–70. Oxford: Oxford University Press.
Tait, William Walker. 1995. “Extensional Equality in the Classical Theory of Types.” in The Foundational Debate. Complexity and Constructivity in Mathematics and Physics, edited by Werner Depauli-Schimanovich, Eckehart Köhler, and Friedrich Stadler, pp. 219–234. Vienna Circle Institute Yearbook n. 3. Dordrecht: Kluwer Academic Publishers.
Tait, William Walker. 1996. “Frege versus Cantor and Dedekind: On the Concept of Number.” in Frege: Importance and Legacy, edited by Matthias Schirn, pp. 70–113. Perspektiven der analytischen Philosophie / Perspectives in Analytic Philosophy n. 13. Berlin: de Gruyter. Reprinted in Tait (1997a, 213–238).
Tait, William Walker, ed. 1997a. Early Analytic Philosophy: Frege, Russell, Wittgenstein. Essays in Honor of Leonard Linsky. LaSalle, Illinois: Open Court Publishing Co.
Tait, William Walker. 1997b. “Frege versus Cantor and Dedekind: On the Concept of Number.” in Early Analytic Philosophy: Frege, Russell, Wittgenstein. Essays in Honor of Leonard Linsky, edited by William Walker Tait. LaSalle, Illinois: Open Court Publishing Co.
Tait, William Walker. 1998a. “Foundations of Set Theory.” in Truth in Mathematics, edited by H. Garth Dales and Gianluigi Oliveri, pp. 273–290. Oxford: Oxford University Press.
Tait, William Walker. 1998b. “Zermelo’s Conception of Set Theory and Reflection Principles.” in The Philosophy of Mathematics Today, edited by Matthias Schirn, pp. 469–484. Oxford: Oxford University Press, doi:10.1093/oso/9780198236542.001.0001.
Tait, William Walker. 1999. “Review of Boolos (1993).” The Journal of Philosophy 96(1): 50–54.
Tait, William Walker. 2000. “Cantor’s Grundlagen and the Paradoxes of Set Theory.” in Between Logic and Intuition: Essays in Honor of Charles Parsons, edited by Gila Y. Sher and Richard Tieszen, pp. 269–290. Cambridge: Cambridge University Press.
Tait, William Walker. 2001. “Beyond the Axioms: The Question of Objectivity in Mathematics.” Philosophia Mathematica 9(1): 21–36.
Tait, William Walker. 2002. “Remarks on Finitism.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 410–419. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Tait, William Walker. 2005a. The Provenance of Pure Reason. Essays in the Philosophy of Mathematics and its History. Logic and Computation in Philosophy. Oxford: Oxford University Press.
Tait, William Walker. 2005b. “Gödel’s Reformulation of Gentzen’s First Consistency Proof for Arithmetic: The No-Counterexample Interpretation.” The Bulletin of Symbolic Logic 11: 225–238. Reprinted in Feferman, Parsons and Simpson (2010, 74–87).
Tait, William Walker. 2006a. “Proof-Theoretic Semantics for Classical Mathematics.” Synthese 148(3): 603–622.
Tait, William Walker. 2006b. “Gödel’s Interpretation of Intuitionism.” Philosophia Mathematica 14(2): 208–228, doi:10.1093/philmat/nkj004.
Tait, William Walker. 2010a. “Review of Menzler-Trott (2007).” The Bulletin of Symbolic Logic 16(2): 270–275.
Tait, William Walker. 2010b. “Gödel on Intuition and on Hilbert’s Finitism.” in Kurt Gödel. Essays for his Centennial, edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, pp. 88–108. Cambridge: Cambridge University Press.
Tait, William Walker. 2011. “Review of Franks (2009).” History and Philosophy of Logic 32(2): 177–183.
Tait, William Walker. 2012. “Primitive Recursive Arithmetic and its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 161–181. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Tait, William Walker. 2016. “Kant and Finitism.” The Journal of Philosophy 113(5): 261–273.

Further References

Boolos, George. 1993. The Logic of Provability. Cambridge: Cambridge University Press.
Feferman, Solomon, Parsons, Charles and Simpson, Stephen G., eds. 2010. Kurt Gödel. Essays for his Centennial. Cambridge: Cambridge University Press.
Franks, Curtis. 2009. The Autonomy of Mathematical Knowledge: Hilbert’s Program Revisited. Cambridge: Cambridge University Press.
Menzler-Trott, Eckart. 2007. Logic’s Lost Genius: The Life of Gerhard Gentzen. History of Mathematics n. 33. Providence, Rhode Island: American Mathematical Society.
Parsons, Charles. 1983. Mathematics in Philosophy: Selected Essays. Ithaca, New York: Cornell University Press.