Notwendige und hinreichende Bedingung - LinkFang.de





Notwendige und hinreichende Bedingung


Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der Theorie wissenschaftlicher Erklärungen, die Bedingungen in zwei verschiedene Typen unterteilen. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden auch in der Logik, vor allem in der Aussagenlogik behandelt.

Kausal verstanden betreffen beide Begriffe die Frage, ob bestimmte Ereignisse als Ursachen anderer Ereignisse unersetzlich sind, und ob die anderen Ereignisse zwangsläufig einträten, wenn die bestimmten Ereignisse vorliegen würden (siehe auch Kontrafaktizität).

Notwendige Bedingung

Aussagenlogisch betrachtet ist eine notwendige Bedingung [math]B[/math] für eine Aussage [math]K[/math] eine Aussage, die zwingend wahr (erfüllt) sein muss, wenn [math]K[/math] wahr ist. Es kommt also nicht vor, dass [math]K[/math] erfüllt ist, ohne dass [math]B[/math] erfüllt ist.

Der Zusammenhang wird durch die symbolische Schreibweise [math]K \rightarrow B[/math] ausgedrückt, sprich „K impliziert B“ oder „aus K folgt B“. Der Pfeil, der den Zusammenhang symbolisiert, steht für die mögliche Schlussfolgerung. Wenn sicher ist, dass [math]K[/math] erfüllt ist, kann man sicher sein, dass auch [math]B[/math] erfüllt ist; es kann also von [math]K[/math] auf [math]B[/math] geschlossen werden. Dabei ist es unerheblich, ob [math]K[/math] zeitlich vor oder nach [math]B[/math] stattfindet. Oft geht es gerade darum, aus dem Vorliegen von [math]K[/math] einen Schluss auf die vorangegangenen Bedingungen anzustellen. Gibt es mehrere notwendige Bedingungen [math]B_1, B_2, \dotsc[/math], d. h. gilt [math]K\rightarrow B_1, K\rightarrow B_2, \dotsc[/math], so müssen alle gleichzeitig erfüllt sein, wenn [math]K[/math] erfüllt ist (logische Konjunktion): [math]K \rightarrow B_1 \land B_2 \land \dotsb[/math]

Gibt es verschiedene, voneinander logisch unabhängige, notwendige Bedingungen, sodass für alle Paare von Bedingungen [math]\lnot(B_j \rightarrow B_k)[/math] mit [math]j\ne k[/math] gilt, so kann keine für sich allein hinreichend sein, da dies dem widerspräche, dass die anderen notwendig sind. Eine notwendige Bedingung ist also unersetzlich für das Eintreten eines Ereignisses. Wenn sie aber nicht zugleich hinreichend ist, genügt sie allein nicht, damit das Ereignis eintritt. Mit anderen Worten: Ohne sie geht es nicht (daher auch der Ausdruck lateinisch conditio sine qua non, siehe auch Conditio-sine-qua-non-Formel), für das Eintreten von [math]K[/math] ist aber eventuell noch etwas anderes nötig.

Hinreichende Bedingung

Eine hinreichende Bedingung sorgt zwangsläufig (oder zumindest ceteris paribus) für das Eintreten des bedingten Ereignisses. Wenn die Bedingung nicht zugleich notwendig ist, dann gibt es andere hinreichende Bedingungen, die ebenfalls zum Eintreten des Ereignisses führen. Die hinreichende, nicht notwendige Bedingung ist also ersetzbar bzw. umgehbar (multiple Erfüllbarkeit). Mit anderen Worten: Wenn eine hinreichende Bedingung vorliegt, dann tritt das bedingte Ereignis zwangsläufig ein; ist das Ereignis bereits eingetreten, so kann aber nur auf seine notwendigen Bedingungen zurückgeschlossen werden, denn wenn eine in Betracht gezogene hinreichende Bedingung nicht notwendig ist, so muss es immer andere mögliche Bedingungen geben, die ebenso hinreichend sind. Welche der hinreichenden Bedingungen vorliegt, kann ausgehend vom bedingten Ereignis nicht entschieden werden.

Aussagenlogisch betrachtet: Hat eine Subjunktion mehrere hinreichende Bedingungen [math]B_1, B_2, \dotsc[/math], d. h. gilt [math]B_1\rightarrow K, B_2\rightarrow K, \dotsc[/math], so genügt es, wenn mindestens eine erfüllt ist (logische Disjunktion): [math]B_1 \lor B_2 \lor \dotsb \rightarrow K[/math], damit [math]K[/math] gilt.

Äquivalente Bedingung

Eine Bedingung, die sowohl notwendig als auch hinreichend ist, wird äquivalente Bedingung genannt. Aussagenlogisch ist dafür das Kürzel iffengl. if and only if üblich; deutschsprachige Entsprechungen sind g. d. w., abgekürzt für genau dann, wenn und dann und nur dann, Formelzeichen [math]\leftrightarrow[/math].

Zu jedem Bedingten kann es nur eine einzige zugleich notwendige-und-hinreichende Bedingung geben. Gäbe es alternative hinreichende Bedingungen, so wäre sie nicht notwendig; gäbe es zusätzliche notwendige Bedingungen, so wäre sie nicht hinreichend. Bedingung und Bedingtes stehen somit in der logischen Relation des Bikonditionals: [math]A \leftrightarrow B[/math], sie sind äquivalent.

Aussagenlogischer Zusammenhang

Notwendige und hinreichende Bedingung stehen in engem Zusammenhang. Im Rahmen der Aussagenlogik bedeutet [math]K \rightarrow B[/math] (gesprochen „K impliziert B“): Wenn [math]K[/math] eine hinreichende Bedingung für einen Sachverhalt [math]B[/math] ist, dann ist [math]B[/math] zugleich eine notwendige Bedingung für [math]K[/math].

Auch der Umkehrschluss hinsichtlich des Typs der Bedingung ist gültig: Falls [math]K[/math] eine notwendige Bedingung für [math]B[/math] ist, dann ist [math]B[/math] eine hinreichende Bedingung für [math]K[/math]. In der Aussagenlogik lassen notwendige und hinreichende Bedingungen allein keine weiteren Schlüsse auf die Art des Zusammenhangs zwischen Bedingung und Bedingtem zu. Hierfür bedarf es weiterer Überlegungen und oft auch empirischer Untersuchungen; siehe auch Paradoxien der materialen Implikation.

INUS-Bedingung

Die INUS-Bedingung des australischen Philosophen John Leslie Mackie stellt ein geschachteltes Konzept dar: Gemeint ist ein nicht hinreichender, aber notwendiger Teil einer nicht notwendigen, aber hinreichenden Bedingung. Dieses Konzept soll insbesondere der Erkenntnis gerecht werden, dass selten äquivalente Bedingungen für empirische Ereignisse ausgemacht werden können, selbst unter ceteris paribus-Klauseln.

Weblinks

 Wiktionary: notwendig – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
 Wiktionary: hinreichend – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Kategorien: Mathematischer Grundbegriff | Logik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Notwendige und hinreichende Bedingung (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.