Reflecting on incompleteness

Journal of Symbolic Logic 56 (1):1-49 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274902

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Review: Solomon Feferman, Reflecting on Incompleteness. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56 , pp. 1–49.Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56.S. Feferman, W. N. Reinhardt, V. Halbach, L. Horsten, H. Friedman & M. Sheard - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Review: Solomon Feferman, Godel's Life and Work. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):340-341.
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.

Analytics

Added to PP
2009-01-28

Downloads
34 (#485,615)

6 months
230 (#11,655)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
The power of naive truth.Hartry Field - 2022 - Review of Symbolic Logic 15 (1):225-258.
Can the Classical Logician Avoid the Revenge Paradoxes?Andrew Bacon - 2015 - Philosophical Review 124 (3):299-352.

View all 136 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.

Add more references