Es
hande
lt sich doch hier um zwei verschiedene Arten der
Verwendung der Verneinung eines Satzes. Und so,
wie ~~p nicht
p
behauptet || ist, wenn die
Verdopplung der Verneinung eine Verstärkung der Verneinung
bedeutet, so ist auch “p ⌵
~p”, wie
wir die
Verneinung gebrauchen, nicht
unbedingt eine
Tautologie. In dem
obigen Falle sollte
die Behauptung
p ⌵
~p || der
Bedingungssatz sei wahr oder aber falsch eigentlich das
unbedingte Eintreffen von p || des
Ereignisses behaupten. jede || obigen Falle sollte die Behauptung jener Bedingungssatz
sei wahr, oder falsch eigentlich der Behauptung
gleichkommen, p werde eintreffen.
Denn
16
jene Behauptung ist ja, der Bedingungssatz werde
nicht unentschieden bleiben.