Zum Inhalt springen

Modallogik/Ich weiß, dass ich nichts weiß/Aufgabe

Aus Wikiversity

Wir interpretieren den Satz von Sokrates, „Ich weiß, dass ich nichts weiß“, als modallogisches Axiomenschema

Zeige die folgenden Aussagen.

  1. Dieses Axiomenschema ist paradox.
  2. Dieses Axiomenschema ist innerhalb der -Modallogik äquivalent zu
  3. Dieses Axiomenschema ist innerhalb der -Modallogik äquivalent zu

    also zum Leerheitsaxiom.