Studia Logica 75 (3):319 - 326 (2003)
We present a semantic proof of Löb's theorem for theories T containing ZF. Without using the diagonalization lemma, we construct a sentence AUT T, which says intuitively that the predicate autological with respect to T (i.e. applying to itself in every model of T) is itself autological with respect to T. In effect, the sentence AUT T states I follow semantically from T. Then we show that this sentence indeed follows from T and therefore is true.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Incompleteness in a General Setting (Vol 13, Pg 21, 2007).John Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
A Reduction Theorem for Predicate Logic.M. H. Löb - 1972 - Journal of Symbolic Logic 37 (2):352-354.
An Effective Fixed-Point Theorem in Intuitionistic Diagonalizable Algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.
Hindman's Theorem, Ultrafilters, and Reverse Mathematics.Jeffry L. Hirst - 2004 - Journal of Symbolic Logic 69 (1):65-72.
The Uniqueness of the Fixed-Point in Every Diagonalizable Algebra.Claudio Bernardi - 1976 - Studia Logica 35 (4):335 - 343.
A Counterexample T o All Future Dynamic Systems Theories of Cognition.Eric Dietrich - 2000 - J. Of Experimental and Theoretical AI 12 (2):377-382.
Pseudoprojective Strongly Minimal Sets Are Locally Projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Added to index2009-01-28
Total downloads21 ( #232,644 of 2,154,149 )
Recent downloads (6 months)3 ( #224,989 of 2,154,149 )
How can I increase my downloads?