Apps
EN — EnglishLogin

🧪 Diese Plattform befindet sich in der Beta-Phase. Funktionen können sich ändern und es können Fehler auftreten. Danke für dein Feedback!

Bejahung des Konsequens (Affirming the Consequent)

Auch bekannt als: Converse Error Fallacy of the Converse Bejahung des Nachsatzes
Formal Fallacy ID: affirming_consequent

Definition

Die Bejahung des Konsequens ist ein formaler logischer Fehler, bei dem angenommen wird, dass das Antezedens (der 'Wenn'-Teil) ebenfalls wahr sein muss, wenn eine bedingte Aussage wahr ist und das Konsequens (der 'Dann'-Teil) wahr ist. Dies ignoriert die Möglichkeit, dass mehrere Antezedenzien dasselbe Konsequens hervorrufen könnten. Zum Beispiel bedeutet 'Wenn es regnet, ist der Boden nass' nicht, dass ein nasser Boden beweist, dass es geregnet hat – ein Rasensprenger könnte die Ursache sein.

Beispiele

"Wenn jemand Arzt ist, hat er an einer Universität studiert. Sarah hat an einer Universität studiert. Deshalb muss Sarah Ärztin sein."

Wenn es regnet, ist die Straße nass. Die Straße ist nass. Also muss es geregnet haben.

Wenn ein Unternehmen erfolgreich ist, hat es eine gute Marketingstrategie. Dieses Unternehmen hat eine gute Marketingstrategie. Also muss es erfolgreich sein.

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.

(A ⇒ B) ∧ B ⇒ A
Formale Verifizierung:
Formale Verifizierung
Prüft mithilfe eines automatischen Theorembeweisers, ob ein Argumentationsmuster logisch gültig oder ungültig ist.
Die formale Verifizierung nutzt einen SMT-Solver (Z3), um die logische Struktur eines Arguments mathematisch zu prüfen. Jedes Muster wird in Prädikatenlogik übersetzt und getestet: Können die Prämissen wahr sein, während die Schlussfolgerung falsch ist? Wenn ja: formal ungültig. Wenn nein: formal gültig. Viele reale Muster sind als nicht formal entscheidbar markiert — das heißt nicht, dass sie falsch sind.
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?"

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

  1. 1

    Hat das Argument eine bedingte 'Wenn A, dann B'-Struktur?

    Typ: binary
  2. 2

    Behauptet das Argument, dass das Konsequens (B) wahr ist?

    Typ: binary
  3. 3

    Zieht es die Konklusion, dass das Antezedens (A) deshalb wahr sein muss?

    Typ: binary
Vertiefung
Der aufklappbare Detailbereich auf jeder Aspekt-Seite mit Beispielen, Psychologie und Gegenstrategien.
Der Vertiefungsbereich bietet ausführliche Informationen zu jedem Aspekt: ein Praxisbeispiel, eine Erklärung warum es funktioniert, Tipps wie man entgegnet, alternative Bezeichnungen und Links zu verwandten Aspekten.

Hierarchischer Kontext