Quelltext der Seite Parakonsistente Logik

{{Belege fehlen|1=}}

Unter '''parakonsistenten Logiken''' und '''parainkonsistenten Logiken''' versteht man [[Kalkül]]e, in denen der logische Grundsatz [[Ex falso quodlibet|ex contradictione sequitur quodlibet]] ([[Latein|lat.]] für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen <math>A, \neg A</math> oder aus einem Widerspruch <math>A \wedge \neg A</math> jede beliebige Aussage herzuleiten.

== Verschiedene Systeme parakonsistenter Logiken ==
Es gibt vier Richtungen:
* die australische ([[Graham Priest]], [[Richard Sylvan]] (bis 1983 unter dem Namen Richard Routley) u.&nbsp;a.)
* die südamerikanische/brasilianische, für die die Arbeiten von [[Newton da Costa]] zentral sind,
* die belgische (u.&nbsp;a. [[Diderik Batens]]) und
* die polnische (beeinflusst von [[Stanisław Jaśkowski]]).

In der australischen Schule (vgl. Priest, Tanaka) nimmt der ''Dialeth(e)ismus'' eine zentrale Stellung ein. Als ''Dialeth(e)ismus'' wird die Auffassung bezeichnet, dass es ''wahre'' Widersprüche gibt. Die anderen Vertreter parakonsistenter Logiken teilen diesen Standpunkt nicht.

Unterschieden werden
* nicht-adjunktive Systeme,
* nicht-[[Junktor#Extensionalität|wahrheitsfunktionale]] Systeme,
* [[Mehrwertige Logik|mehrwertige]] parakonsistente Logiken und
* [[Relevanzlogik]]en.

<!--
=== Nicht-[[Junktor#Extensionale Junktoren|wahrheitsfunktionale]] Systeme ===

=== [[Mehrwertige Logik|Mehrwertige]] parakonsistente Logiken ===

=== Relevanzlogiken ===

=== Nicht-adjunktive Systeme ===
-->
''Nicht-adjunktive Systeme'' sind von Stanisław Jaśkowski ([[Lemberg-Warschau-Schule]]) als Teilkalkül der [[Systeme natürlichen Schließens]] entwickelte Kalküle, in denen folgende Regel zur Einführung der [[Konjunktion (Logik)|Konjunktion]] fehlt:
:<math>\frac{a \quad b}{a \wedge b}.</math>

Insbesondere folgt aus den beiden zueinander widersprüchlichen Aussagen <math>a</math> und <math>\neg a</math> nicht der Widerspruch <math>a \wedge \neg a</math> in einer Aussage. Diese ''diskursive'' (diskussive) Logik besagt in einer Interpretation Jaśkowskis, dass Gesprächsteilnehmer ruhig widersprüchlicher Meinung sein können, weil das nicht dazu führt, dass ein Gesprächspartner sich selbst widerspricht.

== Literatur ==
* [[Jean-Yves Béziau]]: ''What is Paraconsistent Logic?'' In: Diderik Batens u. a. (Hrsg.): ''Frontiers of Paraconsistent Logic'' (Studies in logic and reputation; Bd. 8). Research Studies Press, Baldock 2000, ISBN 0-86380-253-2, S. 95–111.
* Manuel Bremer: ''An Introduction to Paraconsistent Logics.'' Peter Lang Verlag, Frankfurt/M. 2005, ISBN 3-631-53413-2.
* Newton da Costa, Otávio Bueno, Steven French: ''The Logic of Pragmatic Truth.'' In: ''[[Association for Symbolic Logic|Journal of Philosophical Logic]]'', Bd. 27 (1998), {{ISSN|0022-3611}}, S. 603–620.
* Newton da Costa, Steven French: ''Partial Truth and Partial Structures. A Unitary Account of Models in Scientific and Natural Reasoning.'' University of São Paulo and University of Leeds, 2001.
* Adolf Fuhrmann: ''parakonsistent/Parakonsistenz.'' In: [[Jürgen Mittelstraß]] u. a. (Hrsg.): ''Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3''. Metzler, Stuttgart 1995, ISBN 3-476-01352-9, S. 47–48.
* Irene Mikenberg, Newton da Costa, Rolando Chuaqui: ''Pragmatic Truth and Approximation to Truth.'' In: ''Journal of Symbolic Logic.'' Bd. 51 (1986), Heft 1, {{ISSN|0022-4812}}, S. 201–221.
* Jerzy Perzanowski: ''[https://apcz.umk.pl/czasopisma/index.php/LLP/article/download/LLP.1999.001/2593 Fifty Years of Parainconsistent Logics]''. In: ''Logic and Logical Philosophy.'' Bd. 7 (1999), {{ISSN|1425-3305}}, S. 21–24. (PDF-Datei; 652&nbsp;kB)
* Graham Priest: ''Paraconsistent Logic.'' In: [[Dov Gabbay]], Franz Guenthner (Hrsg.): ''Handbook of Philosophical Logic, Bd. 6''. 2. Auflage. Kluwer, Dordrecht 2002, ISBN 1-4020-0583-0, S. 287–393.
* Graham Priest, Richard Routley, Jean Norman (Hrsg.): ''Paraconsistent Logic. Essays on the inconsistent''. Edition Philosophia, München 2002, ISBN 3-88405-058-3, S. 437–470.
* Graham Priest, Koji Tanaka: ''[https://plato.stanford.edu/entries/logic-paraconsistent/ Paraconsistent Logic]''. In: Edward N. Zalta (Hrsg.): ''[[Stanford Encyclopedia of Philosophy]]''. 2. Ausg. The Metaphysics Research Lab, Stanford, Calif. 2011, {{ISSN|1095-5054}}.
* Hans Rott: ''Parakonsistente Logik''. In: Jürgen Mittelstraß: ''Enzyklopädie Philosophie und Wissenschaftstheorie''. Zweite Auflage. Band 5, Metzler 2013, ISBN 978-3-476-02104-5, S. 75–77.
* John Woods: ''Paradox and Paraconsistency. Conflict Resolution in the Abstract Sciences.'' CUP, Cambridge 2003, ISBN 0-521-81094-9.

== Weblinks ==
* {{SEP|https://plato.stanford.edu/entries/logic-paraconsistent/|Paraconsistent Logic|Graham Priest und Koji Tanaka}} (1996 / Update 2013)
* {{IEP|https://www.iep.utm.edu/para-log/|Paraconsistent Logic|Zach Weber}}
* {{SEP|https://plato.stanford.edu/entries/dialetheism/|Dialetheism|Graham Priest und Francesco Berto}}

{{Normdaten|TYP=s|GND=4226190-9}}

[[Kategorie:Nichtklassische Logik]]