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

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)


Zitierweisen

APA:
Degen, W. (2011). Socrates Did It Before Gödel. Logic and Logical Philosophy, 20, 205-214. https://dx.doi.org/10.12775/LLP.2011.011

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

BibTeX: 

Zuletzt aktualisiert 2018-30-07 um 13:38