Modallogik/Ich weiß, dass ich nichts weiß/Aufgabe
Erscheinungsbild
Wir interpretieren den Satz von Sokrates, „Ich weiß, dass ich nichts weiß“, als modallogisches Axiomenschema
Zeige die folgenden Aussagen.
- Dieses Axiomenschema ist paradox.
- Dieses Axiomenschema ist innerhalb der
-Modallogik
äquivalent zu
- Dieses Axiomenschema ist innerhalb der
-Modallogik
äquivalent zu
also zum Leerheitsaxiom.