Benutzer-Werkzeuge

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
logik:fehlschluesse:affirmation_einer_disjunktion [07.01.19, 15:53:37]
sascha [Wann sind solche Schlüsse gültig?]
logik:fehlschluesse:affirmation_einer_disjunktion [11.06.21, 08:45:49] (aktuell)
sascha [Beschreibung]
Zeile 1: Zeile 1:
 ====== Affirmation einer Disjunktion ====== ====== Affirmation einer Disjunktion ======
  
-Logischer Fehlschluss, bei dem aus einer „oder“-Aussage geschlossen wird, dass wenn die eine Aussage positiv ist, muss die andere negativ sein.+Logischer [[logik:fehlschluesse:hauptseite|Fehlschluss]], bei dem aus einer „oder“-Aussage (fälschlich) geschlossen wird, dass wenn die eine Aussage //wahr// ist, müsse die andere //falsch// sein.
  
-Beispiel:+Beispiel für eine Affirmation einer Disjunktion:
  
-> Es wird heute regnen oder schneien. +> <html><table class="layout"><tbody><tr><td>Es wird heute regnen <i>oder</i> schneien.</td></tr> 
-> Es regnet, +<tr><td>Es regnet,</td></tr> 
-———————————————— +<tr><td><hr /></td></tr
-> <html><span title="daraus folgt">∴</span></html> <del>es wird heute nicht schneien.</del>+<tr><td><span title="daraus folgt">∴</span> <s class="invalid">es wird heute nicht schneien.</s></td></tr></tbody></table></html>
  
-Selbst wenn die Aussage „Es wird heute regnen //oder// schneien“ wahr ist, muss es der Schluss nicht unbedingt sein – es ist durchaus möglich, dass es im Laufe des Tages (oder sogar gleichzeitig) beides, Regen und Schnee, geben kann.+Selbst wenn die Aussage „Es wird heute regnen //oder// schneien“ wahr ist, muss es der Schluss nicht unbedingt sein – es ist durchaus möglich, dass es im Laufe des Tages (oder sogar gleichzeitig) beides, sowohl Regen als auch Schnee, geben kann.
 ===== Beschreibung ===== ===== Beschreibung =====
  
 In den meisten Fällen dürfte der zugrunde liegende Denkfehler die Verwechslung von //inklusiver// und //exklusiver// [[logik:begriffe:disjunktion|Disjunktion]] sein. In den meisten Fällen dürfte der zugrunde liegende Denkfehler die Verwechslung von //inklusiver// und //exklusiver// [[logik:begriffe:disjunktion|Disjunktion]] sein.
  
-Daneben kann auch eine fehlerhafte Anwendung des [[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]], insbesondere bei Vermischung mit dem [[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]] zu diesem Fehlschluss führen. Zum Vergleich werden in der folgenden Tabelle die beiden gültigen Schlussformen dem Fehlschluss gegenüber gestellt:+Daneben kann auch eine fehlerhafte Anwendung des <html><i lang="la"></html>[[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]]<html></i></html>, insbesondere bei Vermischung mit dem <html><i lang="la"></html>[[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]]<html></i></html> zu diesem Fehlschluss führen. Zum Vergleich werden in der folgenden Tabelle die beiden gültigen Schlussformen dem Fehlschluss gegenüber gestellt:
  
-| ^ [[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]] \\ (gültiger Schluss) ^^ [[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]] \\ (gültiger Schluss) ^^ ^ //Affirmation einer Disjunktion//  \\ (Fehlschluss) ^^ +<html><div class="print-wide"></html> 
-^Prämisse 1 | <html><span title="Nicht beides, und B"></html>:not:(A :and: B)<html></span></html> || <html><span title="A oder [inkl.] B"></html>A :or: B<html></span></html> || | <html><span title="A oder [inkl.] B"></html>A :or: B<html></span></html> || +| ^  <html><i lang="la"></html>[[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]]<html></i></html> \\ (gültiger Schluss)  ^^  <html><i lang="la"></html>[[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]]<html></i></html> \\ (gültiger Schluss)  ^^ ^  Affirmation einer Disjunktion  \\ (Fehlschluss)  ^^ 
-^Prämisse 2 | A | B | <html><span title="nicht A"></html>:not:A<html></span></html> | <html><span title="nicht B"></html>:not:B<html></span></html> | | A | B | +<html><span class="nobreak">Prä­misse (1)</span></html> <html><span title="oder B, aber nicht beides"></html>:xorB<html></span><br /><small></html>(A //oder// B, <html><i class="nobreak">aber nicht beides</i></html>)<html></small></html>  ||  <html><span title="A oder [inkl.] B"></html>A :or: B<html></span><br /><small></html>(A //oder// B)<html></small></html>  || |  <html><span title="A oder [inkl.] B"></html>A :or: B<html></span><br /><small></html>(A //oder// B)<html></small></html>  || 
-^Konklusion | <html><span title="nicht B"></html>:not:B<html></span></html> |<html><span title="nicht A"></html>:not:A<html></span></html> | B | A | | <html><span title="nicht B" style="color:red"></html>:not:B<html></span></html> | <html><span title="nicht A" style="color:red"></html>:not:A<html></span></html> |+<html><span class="nobreak">Prä­misse (2)</span></html>     <html><span title="nicht A"></html>:not:A<html></span></html>   <html><span title="nicht B"></html>:not:B<html></span></html>  | |     
 +<html><span class="nobreak">Kon­klu­sion</span></html> <html><span title="nicht B"></html>:not:B<html></span></html>   <html><span title="nicht A"></html>:not:A<html></span></html>      | |  <html><title="nicht B"  class="invalid short2"></html>:not:B<html></s></html>   <html><title="nicht A" class="invalid short2"></html>:not:A<html></s></html>  | 
 +<html></div></html>
 ===== Woher kommt der Name? ===== ===== Woher kommt der Name? =====
  
-Die wichtigste gültige logische Schlussform für eine [[logik:begriffe:disjunktion|Disjunktion]] („oder“-Verknüpfung) ist der [[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]], bei dem eine der Teilaussagen negiert wird und daraus folgt, dass die andere positiv (affirmativ) in der Konklusion steht. Bei diesem Fehlschluss wird stattdessen eine Teilaussage positiv benutzt (affirmiert) und daraus eine negative Konklusion abgeleitet, was kein gültiger Schluss ist.+Die wichtigste gültige logische Schlussform für eine [[logik:begriffe:disjunktion|Disjunktion]] („oder“-Verknüpfung) ist der <html><i lang="la"></html>[[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]]<html></i></html>, bei dem eine der Teilaussagen negiert wird und daraus folgt, dass die andere positiv (affirmativ) in der Konklusion steht. Bei diesem Fehlschluss wird stattdessen eine Teilaussage positiv benutzt (affirmiert) und daraus eine negative Konklusion abgeleitet, was kein gültiger Schluss ist.
  
-Der Begriff Disjunktion ist hier etwas irreführend, da es sich nich für jede Art von Disjunktion um einen Fehlschluss handelt, sonder nur für [[logik:begriffe:adjunktion|Adjunktionen]] (inklusive Disjunktion).+Der Begriff Disjunktion ist hier etwas irreführend, da es sich nicht für jede Art von Disjunktion um einen Fehlschluss handelt, sondern nur für [[logik:begriffe:adjunktion|Adjunktionen]] (inklusive Disjunktion).
 ===== Wann sind solche Schlüsse gültig? ===== ===== Wann sind solche Schlüsse gültig? =====
  
-Die //Affirmation einer Disjunktion// ist ein gültiger Schluss genau dann, wenn es die Prämisse ein [[logik:begriffe:kontravalenz|Kontravalenz]] (exklusive [[logik:begriffe:disjunktion|Disjunktion]]) anstatt einer [[logik:begriffe:adjunktion|Adjunktion]] (inklusive [[logik:begriffe:disjunktion|Disjunktion]]) handelt. Außerdem muss sicher gestellt sein, dass die Optionen //vollständig// sind, d.h. dass es keine weiteren Möglichkeiten gibt als die vorgebrachten.+Die //Affirmation einer Disjunktion// ist ein gültiger Schluss genau dann, wenn es die Prämisse ein [[logik:begriffe:kontravalenz|Kontravalenz]] (exklusive [[logik:begriffe:disjunktion|Disjunktion]]) anstatt einer [[logik:begriffe:adjunktion|Adjunktion]] (inklusive [[logik:begriffe:disjunktion|Disjunktion]]) handelt. Außerdem muss sichergestellt sein, dass die Optionen //vollständig// sind, d.h. dass es keine weiteren Möglichkeiten gibt als die vorgebrachten.
  
 +<html><div class="keep-together"></html>
 Beispiel: Beispiel:
-//Zum Nachtisch gibt es entweder Eis oder Obstsalat.// +<html><table class="layout"><tbody><tr><td>Zum Nachtisch gibt es <em>entweder</em> Eis <em>oder</em> Obstsalat.</td></tr> 
-//Ich nehme ein Eis!// +<tr><td>Ich nehme ein Eis!</td></tr
-——————————————————————— +<tr><td><hr /></td></tr> 
-<html><span title="daraus folgt"></span></html> //Es gibt für dich keinen Obstsalat zum Nachtisch.//+<tr><td>Also gibt es für dich keinen Obstsalat zum Nachtisch!</td></tr></tbody></table></html> 
 +<html></div></html>
  
-Durch die Formulierung mit „entweder ... oder“ wird angedeutet, dass es hier lediglich eine exklusive Auswahl gibt: man kann //entweder// Eis //oder// Obstsalat wählen, //aber nicht beides!// (Allerdings wird hier nicht die Möglichkeit in Betracht gezogen, dass man womöglich //überhaupt keinen// Nachtisch haben möchte.)+Durch die Formulierung mit „entweder ... oder“ wird angedeutet, dass es hier lediglich eine exklusive Auswahl gibt: Man kann //entweder// Eis //oder// Obstsalat wählen, //aber nicht beides!// (Allerdings wird hier nicht die Mög­lich­keit in Betracht gezogen, dass man womöglich //überhaupt keinen// Nachtisch haben möchte.)
  
-Sind die o.g. Prämissen erfüllt, ist das Folgende ein gültiger logischer Schluss:+Sind die o.g. Prämissen erfüllt, handelt es sich um die (gültige) Schlussform <html><i lang="la"></html>[[logik:schlussformen:modus_ponendo_tollens|Modus Ponendo Tollens]]<html></i></html>.
  
-^Prämisse 1 | <html><span title="A oder [exkl.] B"></html>A :xor: B<html></span></html> || 
-^Prämisse 2 | A | B | 
-^Konklusion | <html><span title="nicht B"></html>:not:B<html></span></html> | <html><span title="nicht A"></html>:not:A<html></span></html> | 
 ===== Siehe auch ===== ===== Siehe auch =====
  
   * [[logik:begriffe:disjunktion|Disjunktion]] – logische „oder“-Verknüpfung   * [[logik:begriffe:disjunktion|Disjunktion]] – logische „oder“-Verknüpfung
 +  * <html><i lang="la"></html>[[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]]<html></i></html> – gültiger Schluss
   * [[logik:fehlschluesse:negation_einer_konjunktion|Negation einer Konjunktion]] – verwandter Fehlschluss   * [[logik:fehlschluesse:negation_einer_konjunktion|Negation einer Konjunktion]] – verwandter Fehlschluss
-  * [[denkfehler:sherlock_holmes_fehlannahme|Sherlock-Holmes-Fehlannahme]] – ähnlicher Denkfehler+  * [[denkfehler:allwissenheitsirrtum:sherlock_holmes_fehlannahme|Sherlock-Holmes-Fehlannahme]] – ähnlicher Denkfehler
 ===== Weitere Informationen ===== ===== Weitere Informationen =====
  
-  * [[wp>Affirming a disjunct]] auf //Wikipedia// (Englisch) +  * <html><i lang="en"></html>[[wp>Affirming a disjunct]]<html></i></html> auf //Wikipedia// (Englisch) 
-  * [[https://www.logicallyfallacious.com/tools/lp/Bo/LogicalFallacies/13/Affirming-a-Disjunct|Affirming a Disjunct]] auf <html><i lang="en">Logically Fallacious</I></html> (Englisch) +  * <html><i lang="en"></html>[[https://www.logicallyfallacious.com/tools/lp/Bo/LogicalFallacies/13/Affirming-a-Disjunct|Affirming a Disjunct]]<html></i></html> auf <html><i lang="en">Logically Fallacious</i></html> (Englisch) 
-  * [[http://www.fallacyfiles.org/afonedis.html|Affirming a Disjunct]] auf <html><i lang="en">Fallacy Files</I></html> (Englisch)+  * <html><i lang="en"></html>[[http://www.fallacyfiles.org/afonedis.html|Affirming a Disjunct]]<html></i></html> auf <html><i lang="en">Fallacy Files</i></html> (Englisch)