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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zur Lösung, Alternative Lösung erstellen