Journal of Symbolic Logic 50 (1):91-93 (1985)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Self-Reference in Arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
Similar books and articles
Dividing Things Up: The Semantics of or and the Modal/or Interaction. [REVIEW]Mandy Simons - 2005 - Natural Language Semantics 13 (3):271-316.
On the Very Idea of a Theory of Meaning for a Natural Language.Eugen Fischer - 1997 - Synthese 111 (1):1-8.
A New Semantics for Intuitionistic Predicate Logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
Added to index2009-01-28
Total downloads21 ( #228,057 of 2,146,457 )
Recent downloads (6 months)1 ( #386,104 of 2,146,457 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.