imported>Aka: typografische Anführungszeichen

2024-03-18T15:27:42Z

typografische Anführungszeichen

Neue Seite

Als '''Relevanzlogiken''' wird eine Familie [[klassische Logik|nichtklassischer Logiken]] bezeichnet, die mit einer restriktiveren [[Implikation]] als Standardsysteme arbeiten. Vorrangiges Ziel ist meist die Vermeidung der sog. [[Paradoxien der materialen Implikation]]. Der Grundgedanke ist immer, dass das [[Antezedens (Logik)|Antezedens]] für das [[Sukzedens]] „relevant“ sein soll (daher der Name).

Alle Relevanzlogiken sind [[Parakonsistente Logik|parakonsistent]], d. h. in ihnen gilt das [[Ex falso quodlibet]] nicht, nach dem es in den meisten Standardsystemen 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.

== Siehe auch ==
* [[Parakonsistente Logik]]
* [[Kontrafaktisches Konditional]]
* [[Implikation#Strikte Implikation|Strikte Implikation]]

== Weblinks ==
* Edwin Mares: {{SEP|https://plato.stanford.edu/entries/logic-relevance/}}

== Literatur ==
* Alan Ross Anderson, Nuel Belnap, : ''Entailment: The Logic of Relevance and Necessity, Vol. I''. Princeton University Press 1975.
* Alan Ross Anderson, Nuel D. Belnap Jr., J. Michael Dunn: ''Entailment: The Logic of Relevance and Necessity, Vol. II'', Princeton University Press 1992.
* Edwin Mares/R. K. Meyer: ''Relevant Logics'', in Lou Goble (Hg.): ''The Blackwell Guide to Philosophical Logic''. Blackwell.

[[Kategorie:Nichtklassische Logik]]
[[Kategorie:Philosophische Logik]]

Relevanzlogik - Versionsgeschichte

imported>Aka: typografische Anführungszeichen