Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56 , pp. 1–49

Journal of Symbolic Logic 60 (1):345-347 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275530

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
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.
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.
Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49 , pp. 75–111. , pp. 237–287.).Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
Review: Solomon Feferman, Toward Useful Type-Free Theories I. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
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, 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.
Persistent and Invariant Formulas Relative to Theories of Higher Order.S. Feferman, G. Kreisel & Solomon Feferman - 1972 - Journal of Symbolic Logic 37 (4):764-765.
Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
Meeting of the association for symbolic logic: Reno, 1976.Solomon Feferman, Jon Barwise & Leo Harrington - 1977 - Journal of Symbolic Logic 42 (1):156-160.
Meeting of the association for symbolic logic: Stanford, california, 1985.Jon Barwise, Solomon Feferman & David Israel - 1986 - Journal of Symbolic Logic 51 (3):832-862.
Anita Burdman Feferman and Solomon Feferman. Alfred Tarski, Life and Logic Cambridge University Press, Cambridge, 2004, vi + 425 pp. [REVIEW]Roger D. Maddux - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
Review: Solomon Feferman, J. W. Addison, Leon Henkin, Alfred Tarski, Some Applications of the Notions of Forcing and Generic Sets (Summary); Solomon Feferman, Some Applications of the Notions of Forcing and Generic Sets. [REVIEW]James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,068,950)

6 months
1 (#1,498,742)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references