Parakonsistente Logik
Es gelte
P ist wahr
und
nicht P ist wahr
oder
P ist wahr
und P ist nicht wahr
oder
aus P folgt P ist wahr
und
aus P folgt nicht P ist wahr
Also für P ist die Aussage:
Es gelte
die Aussage ist wahr
und
nicht die Aussage ist wahr
oder
die Aussage ist wahr
und die Aussage ist nicht wahr
oder
aus der Aussage folgt die Aussage ist wahr
und
aus der Aussage folgt nicht die Aussage ist wahr
Das ist ein wahrer Widerspruch.
Und so ist sie.
Die Welt.
Es gelte
P ist wahr
und
nicht P ist wahr
oder
P ist wahr
und P ist nicht wahr
oder
aus P folgt P ist wahr
und
aus P folgt nicht P ist wahr
Also für P ist die Aussage:
Es gelte
die Aussage ist wahr
und
nicht die Aussage ist wahr
oder
die Aussage ist wahr
und die Aussage ist nicht wahr
oder
aus der Aussage folgt die Aussage ist wahr
und
aus der Aussage folgt nicht die Aussage ist wahr
Das ist ein wahrer Widerspruch.
Und so ist sie.
Die Welt.