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!

Modaler Fehlschluss (Modal Fallacy)

Auch bekannt als: Modal Scope Fallacy Necessity-Possibility Confusion
Formal Fallacy ID: modal_fallacy

Definition

Der modale Fehlschluss verwechselt verschiedene Arten von Möglichkeit und Notwendigkeit. Er beinhaltet typischerweise die Vermengung von logischer Notwendigkeit (was in allen möglichen Welten wahr sein muss), physikalischer Notwendigkeit (was die Naturgesetze verlangen) und epistemischer Notwendigkeit (was wahr sein muss, angesichts dessen, was wir wissen). Ein Argument kann auch fälschlicherweise Notwendigkeit aus kontingenten Fakten ableiten oder 'notwendigerweise, wenn P dann Q' mit 'wenn P dann notwendigerweise Q' verwechseln.

Beispiele

"Wenn Gott die Zukunft kennt, dann muss das, was passieren wird, passieren. Daher haben wir keinen freien Willen." (Dies verwechselt 'notwendigerweise, wenn Gott X vorhersieht, dann tritt X ein' mit 'wenn Gott X vorhersieht, dann tritt X notwendigerweise ein', was logisch unterschiedliche Behauptungen sind.)

Ein Kommentator schreibt online: 'Wenn die Wissenschaft beweisen kann, dass ein Ereignis eine physikalische Ursache hat, dann muss es zwangsläufig so eingetreten sein. Also war es niemals möglich, dass es anders hätte kommen können.' – Dies verwechselt kausale Notwendigkeit im Nachhinein mit absoluter logischer Unmöglichkeit von Alternativen.

In einer Alltagsdiskussion sagt jemand: 'Es ist möglich, dass du morgen einen Autounfall hast. Wenn es möglich ist, dann könnte es tatsächlich passieren. Also wird es möglicherweise passieren – du solltest besser gar nicht fahren.' – Hier wird die bloße logische Möglichkeit fälschlicherweise mit einer realen Wahrscheinlichkeit oder Notwendigkeit gleichgesetzt.

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.

Necessarily(P -> Q) confused with (P -> Necessarily(Q))
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.
Nicht formal entscheidbar

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

    Beinhaltet das Argument Behauptungen von Notwendigkeit oder Möglichkeit?

    Typ: binary
  2. 2

    Wird Notwendigkeit mit Hinlänglichkeit verwechselt oder umgekehrt?

    Typ: binary
  3. 3

    Wird der Geltungsbereich des Modaloperators (notwendigerweise, möglicherweise) korrekt angewendet?

    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