Lexikon der Argumente

 

Re III 79
Disjunktion/Tautologie/Read: In dem einen Sinn folgt »A oder B« aus A allein. - Das ist dann aber nicht äquivalent mit »wenn ~A, dann B«. >Logische Konstanten.

Re III 262
Unentscheidbarkeit:
Nicht konstruktiv: Bsp der Beweis, dass es zwei irrationale Zahlen a und b gibt, so dass a hoch b rational ist.(die Disjunktion von Alternativen ist hier konstruktiv inakzeptabel. Wir haben keine Konstruktion, durch die wir bestimmen können, ob Wurzel 2 hoch Wurzel 2 rational ist, oder nicht.)
Das Ausgeschlossene Dritte ist deshalb intuitionistisch und keine substanzielle Behauptung.
>Entscheidbarkeit, >Intuitionismus.

Goldbachsche Vermutung: jede gerade Zahl größer zwei soll die Summe zweier Primzahlen sein. Nicht entscheidbar. Wir dürfen aber nicht behaupten dass sie entweder wahr ist oder nicht.
Satz vom Ausgeschlossenen Dritten/SaD/Konstruktivismus/Read: Konstruktivisten präsentieren oft sogenannte »schwache Gegenbeispiele« gegen das Ausgeschlossene Dritte.
Wenn a eine reelle Zahl ist, ist »a= 0« nicht entscheidbar. Folglich kann der Konstruktivist nicht behaupten, dass alle reellen Zahlen entweder identisch mit Null sind oder nicht. (Das ist aber mehr eine Frage der Darstellung). >Ausgeschlossenes Drittes, >Goldbachs Vermutung.