Kumulations-Logik
Eine Theorie für vage Aussagen
von Frank KowalewskiDieses Buch vermittelt ein neues Verständnis von Logik.
Es entwickelt die Theorie der Kumulations-Logik. Die neue Logik umfasst klassische und mehrwertige Logiken und vereint deren Vorteile.
Beispiele und anschauliche Bilder vermitteln die Grundlagen der Theorie.
Eine mathematische Formalisierung erlaubt die strenge Ableitung überraschender Aussagen über die Logik. Zahlreiche Grafiken veranschaulichen die Ableitungen und unterstützen ein tieferes Verständnis.
Das Buch gipfelt in der Ent-Paradoxierung des Sorites-Paradox. Die Auflösung des Paradox mündet im Begriff der Wahrheitsübertragung.
Das Buch liefert neue Antworten auf die Fragen:
- Wie lassen sich vage Aussagen eindeutig definieren?
- Wie können den vagen Aussagen über die Welt Wahrheitswerte zugeordnet werden?
- Wie lassen sich die Wahrheitswerte zusammengesetzter vager Aussagen berechnen?
- Wann ist der Wahrheitswert einer vagen Aussage subjektiv?
- Wie kann eine Logik vager Aussagen den Satz vom ausgeschlossenen Dritten und den Modus Ponens erfüllen?
- Wie lässt sich das Sorites-Paradox lösen?
