Socrates Did It Before Gödel

Beitrag in einer Fachzeitschrift

Details zur Publikation

Autorinnen und Autoren: Degen W
Zeitschrift: Logic and Logical Philosophy
Verlag: Versita
Jahr der Veröffentlichung: 2011
Band: 20
Seitenbereich: 205-214
ISSN: 1425-3305


Abstract. We translate Socrates' famous saying I know that I know nothing into the arithmetical sentence I prove that I prove nothing. Then it is easy to show that this translated saying is formally undecidable in formal arithmetic, using Gödel's Second Incompleteness Theorem. We investigate some variations of this Socrates-Gödel sentence. In an appendix we sketch a ramified epistemic logic with propositional quantifiers in order to analyze the Socrates-Gödel sentence in a more logical way, separated from the arithmetical context.

FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Degen, Wolfgang Dr.
Lehrstuhl für Informatik 10 (Systemsimulation)


Degen, W. (2011). Socrates Did It Before Gödel. Logic and Logical Philosophy, 20, 205-214.

Degen, Wolfgang. "Socrates Did It Before Gödel." Logic and Logical Philosophy 20 (2011): 205-214.


Zuletzt aktualisiert 2018-30-07 um 13:38