Proof theory and set theory

Synthese 62 (2):255 - 263 (1985)
  Copy   BIBTEX

Abstract

The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical approach to proof theory

Categories

Keywords

Reprint years

DOI

10.1007/bf00486049

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Extensional Paraconsistent Logic: Applications to proof theory and set theory.Arief Daynes - 1996
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
Wittgenstein on Cantor's Proof.Chrysoula Gitsoulis - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 67-69.
Grammar of Infinity. Ludwig Wittgenstein's Critique of Set Theory.Piotr Dehnel - 2023 - Analiza I Egzystencja 63:55-87.
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press. Edited by Sergio Galvan & Richard Zach.
On the Proof-Theoretic Foundations of Set Theory.Lars Hallnäs - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.

Analytics

Added to PP
2009-01-28

Downloads
111 (#157,934)

6 months
8 (#505,181)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references