[FOM] The Derivability Conditions

Panu Raatikainen panu.raatikainen at helsinki.fi
Mon Oct 1 05:37:50 EDT 2012

"Richard Heck" <richard_heck at brown.edu>:

> In any event, it occurred to me the other day that there is a direct  
> argument > for G2 from Löb's three conditions that does /not/ go via  
> Löb's Theorem, and > in no way involves the sort reasoning that is  
> involved in the proof of that theorem.

Such a proof is given at least in Smullyan's book, and sketched in  
Detlefsen's entry in the Routledge Encylopedia of Philosophy, as well  
as in various surveys by Smorynski.

So a bit more than just folklore...



Panu Raatikainen

Ph.D., University Lecturer
Docent in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list