Fehlschluss des Konsequens (Fallacy of the Consequent)

Auch bekannt als: Consequent Fallacy

Formal Fallacy ID: fallacy_of_the_consequent

Definition

Eine breite Kategorie formaler Fehlschlüsse, die eine falsche Argumentation über das Konsequens einer bedingten Aussage beinhalten. Sie umfasst sowohl die Bejahung des Konsequens als auch verwandte Fehler, bei denen die logische Rolle des Konsequens falsch gehandhabt wird.

Beispiele

Wenn eine Person ein Genie ist, hat sie den Test bestanden. Jan hat den Test bestanden. Deshalb ist Jan ein Genie.

Wenn es ein Feuer gibt, löst der Rauchmelder Alarm aus. Der Rauchmelder löst Alarm aus. Also gibt es ein Feuer. (Dabei könnte auch angebranntes Toast der Auslöser sein.)

Wenn ein Land eine Demokratie ist, gibt es freie Wahlen. In diesem Land gibt es freie Wahlen. Also ist dieses Land eine Demokratie.

Formales Logikmuster

FOL-Muster

Die prädikatenlogische Formel, die die logische Struktur dieses Argumentationsmusters darstellt.

FOL (First-Order Logic, Prädikatenlogik) verwendet Quantoren (∀ = für alle, ∃ = es existiert), Verknüpfungen (∧ = und, ∨ = oder, ⇒ = impliziert, ¬ = nicht) und Prädikate, um die Form eines Argumentationsmusters zu erfassen.

Im Glossar ansehen →

(A ⇒ B) ∧ B ⇒ A (variant with negation chains)

Formale Verifizierung: Formal ungültig

Prüfschritte

Prüfschritte

Binäre Ja/Nein-Fragen, die eine KI beantworten muss, um ein Argumentationsmuster in einem Text zu erkennen.

Jeder der 452 Aspekte hat Prüfschritte — einfache Ja/Nein-Fragen, die systematisch erkennen sollen, ob ein Muster in einem Text vorkommt. Für Ad Hominem: "Greift das Argument eine Person statt ihre Behauptung an?" Für falsche Dichotomie: "Werden nur zwei Optionen präsentiert, obwohl mehr existieren?"

Im Glossar ansehen →

Binäre (Ja/Nein) Fragen, die ein LLM beantworten muss, um diesen Aspekt zu identifizieren:

1

Enthält das Argument eine bedingte Prämisse?
Typ: binary
2

Verwechselt das Argument beim Ziehen seiner Konklusion das Konsequens mit dem Antezedens?
Typ: binary
3

Wird die Konklusion durch fehlerhafte Manipulation der bedingten Beziehung gezogen?
Typ: binary

Beschreibung

Warum es funktioniert

Dass das Konsequens wahr ist, fühlt sich wie Evidenz für das Antezedens an, weil wir im Alltag oft informell von Wirkungen auf Ursachen rückschließen.

Wie man entgegnet

Unterscheide zwischen hinreichenden und notwendigen Bedingungen. Das Antezedens ist hinreichend für das Konsequens, aber ein wahres Konsequens belegt nicht das Antezedens.

Auch bekannt als

Consequent Fallacy

Praxiskontext

Diagnosefehler in der Medizin und bei der IT-Fehlerbehebung, wo das Vorhandensein eines Symptoms als Beweis für eine bestimmte Ursache behandelt wird.