X 113f
Doppelte Negation/Quine: Bsp Satz vom ausgeschlossenen Dritten/SaD/Quine.
(1) Jeder geschlossene Satz ist wahr oder falsch
(2) Jeder geschlossene Satz oder seine Negation ist wahr
(3) Jeder geschlossene Satz ist wahr oder nicht wahr.
Mehrwertige Logik: Wahrheitswert 1, 2, 3: "2" und "3" als "falsch" zusammengefasst. - Dann führt Negation von 2 und 3 nach 1 - von 1 nach (2 v 3).
Problem: für Wahrheitsfunktionen müssen wir entscheiden: die Negation muss von 1 immer nach 2 oder immer nach 3 führen. - Dann funktioniert die doppelte Negation nicht mehr.
>
Ausgeaschlossenes Drittes.
- - -
X 111
Abweichende Logik/Dialethismus/SaD/Übersetzung/Bedeutung/Negation/Quine: einige in der Wissenschaft lehnen den SaD ab und betrachten gelegentlich einen Satz und seine Negation beide als wahr.
Vs: als Einwand hört man, daß jede Konjunktion der Form „p.~p“ ((s) AZ: wenn die Form präsentiert wird) logisch jeden beliebigen Satz impliziert. (EFQ). Nimmt man nun die Negation mit dem Satz zusammen an, fiele die Unterscheidung wahr/falsch und damit die ganze Wissenschaft.
Lösung/VsVs: die Widersprüche könnte man vielleicht isolieren.
QuineVsDialethismus/QuineVsPriest: in diesem Streit weiß keine Seite, wovon sie eigentlich redet. Man glaubt bloß, man rede über Negation d.h. „~“ bzw. das Zeichen für „nicht“. In Wirklichkeit hat das Zeichen „~“ aber nichts mehr mit Negation zu tun, wenn man die Konjunktion „p.~p“ als wahr betrachtet.
QuineVsAbweichende Logik: sie wechselt nur das Thema.
X 118
Adjunktion/Negation/logische Operatoren/Quine: sind immanent, nicht transzendent. Denn bei einer abweichenden Logik können wir ihre Bedeutungen nicht aufrechterhalten.
Intuitionismus: ist also nicht anderer Ansicht über die Gesetze für die Operatoren. Vielmehr bekämpft er sie als für die Wissenschaft unbrauchbar.