Explicit Henkin sentences

Journal of Symbolic Logic 50 (1):91-93 (1985)

Abstract

Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,743

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
25 (#460,880)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

References found in this work

Gödel, Escher, Bach: An Eternal Golden Braid.Jonathan Lieberson - 1980 - Journal of Philosophy 77 (1):45-52.

Add more references

Citations of this work

Self-Reference in Arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.

Add more citations

Similar books and articles

A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
Definition and Reduction.Edward H. Madden - 1961 - Philosophy of Science 28 (4):390-405.
Measuring Inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
Philosophy of Science Today.Sidney Morgenbesser - 1967 - New York: Basic Books.
Partial Monotonic Protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.
Henkin Quantifiers and the Definability of Truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.