Relevanzlogik

Relevanzlogik

Als Relevanzlogiken wird eine Familie 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 für das Sukzedens "relevant" sein soll (daher der Name).

Alle Relevanzlogiken sind 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 A, ¬A oder aus einem Widerspruch A∧¬A jede beliebige Aussage herzuleiten.

Siehe auch

Weblinks

Edwin Mares: Eintrag, in: Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)Vorlage:SEP/Wartung/Parameter 1 und weder Parameter 2 noch Parameter 3

Literatur

  • Alan Ross Anderson/Nuel Belnap: Entailment: the logic of relevance and necessity, vol. I. Princeton University Press 1975.
  • J. M. 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.

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Antinom — Eine Antinomie (griechisch ἄντι „gegen“, νόμος „Gesetz“; sinngemäß „Unvereinbarkeit von Gesetzen“) ist eine spezielle Art des logischen Widerspruchs, bei der die zueinander in Widerspruch stehenden Aussagen gleichermaßen gut begründet oder (im… …   Deutsch Wikipedia

  • Beweisbarkeit — Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt. Dies ermöglicht ihre Analyse mit mathematischen Techniken. Beweise werden üblicherweise als induktiv definierte… …   Deutsch Wikipedia

  • Irrelevant — Relevanz steht für: Bedeutsamkeit, ein Maß für die Wichtigkeit einer Sache oder Information in der Realität Relevanz (Informationswissenschaft), die Bedeutung eines Dokuments für eine Suchanfrage Relevanz (Statistik), die Wahrscheinlichkeit einer …   Deutsch Wikipedia

  • Relevant — Relevanz steht für: Bedeutsamkeit, ein Maß für die Wichtigkeit einer Sache oder Information in der Realität Relevanz (Informationswissenschaft), die Bedeutung eines Dokuments für eine Suchanfrage Relevanz (Statistik), die Wahrscheinlichkeit einer …   Deutsch Wikipedia

  • Antinomie — Eine Antinomie (griechisch ἄντι (antí) „gegen“, νόμος (nómos) „Gesetz“; sinngemäß „Unvereinbarkeit von Gesetzen“) ist eine spezielle Art des logischen Widerspruchs, bei der die zueinander in Widerspruch stehenden Aussagen gleichermaßen gut… …   Deutsch Wikipedia

  • Beweistheorie — Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt. Dies ermöglicht ihre Analyse mit mathematischen Techniken. Beweise werden üblicherweise als induktiv definierte… …   Deutsch Wikipedia

  • Gerhard Schurz — (* 21. Januar 1956 in Graz) ist ein österreichischer Philosoph. Inhaltsverzeichnis 1 Leben 2 Forschungsgebiete 3 Werke 4 Weblinks …   Deutsch Wikipedia

  • Nichtklassische Logik — Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden. Es gibt verschiedene Möglichkeiten, wie dies der Fall sein kann z.B. durch Variation …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”