Parakonsistente Logik
Inhalt
- Charakterisierung der Parakonsistenz
- Der beweistheoretischer Zugang
- Der erklärungstheoretische Zugang
- Verwandte Theorien
- Weitere Personen
Charakterisierung der Parakonsistenz
Sei eine Relation einer logischen Konsequenz. Dann kann semantisch, beweistheoretisch oder auf andere Weise definiert werden.
Die Relation ist explosiv, wenn für alle A und B gilt, {A, &;A} B.
a – Axiom | Badische Schule – Buridians Esel | C – covering-law model | Daimonion – Dysteleologie | e – externe Relation | fallacia – Für-Wahr-Halten | G43-Implikation – Gruppe, Berliner | Halbierungsparadoxie – Hysteresis | i – Isosthenie der Argumente | judicium | K – Kyrieuon | language of thought – Lust, sinnliche | M – Münchhausentrilemma | N – nyāya-Schule | o – Oxymoron | P – Pythagoreismus | Quadrat, logisches – Quodlibetarier | R – Russell’s Antinomie | S – Szientismus | t – twin earth | Übel – utraque praemissa … | Vagheit – Vulgärmaterialismus | w – Würde | x – XYZ | Yager-Intersection – Yoga | Zadeh-1-Implikation – Zynismus