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!

Dammbruch-Argument (Slippery Slope)

Auch bekannt als: Thin End of the Wedge Camel's Nose Domino Fallacy Domino-Effekt Schiefe Ebene
Informal Fallacy ID: slippery_slope

Definition

Das Dammbruch-Argument behauptet, dass ein relativ kleiner erster Schritt unweigerlich zu einer Kette verwandter Ereignisse führen wird, die in einem signifikanten, meist negativen Ergebnis gipfeln. Das Argument scheitert, weil es davon ausgeht, dass jeder Schritt in der Kette unvermeidlich ist, ohne die kausalen Verbindungen nachzuweisen. Während einige 'Slippery Slopes' legitime kausale Argumente sind, tritt der Fehlschluss auf, wenn die Zwischenschritte ungestützt sind.

Beispiele

"Wenn wir den Schülern erlauben, einen Test zu wiederholen, werden sie bald verlangen, jede Aufgabe zu wiederholen, dann werden sie erwarten, ohne jegliche Arbeit zu bestehen, und schließlich werden Diplome bedeutungslos sein."

Ein Kommentator im Internet schreibt: 'Wenn wir jetzt Tempolimits auf Autobahnen einführen, wird der Staat bald vorschreiben, wie schnell wir in unseren eigenen Häusern gehen dürfen – am Ende kontrolliert die Regierung jeden Aspekt unseres Lebens.'

Eine Mutter sagt zu ihrer Tochter: 'Wenn ich dir jetzt erlaube, bis Mitternacht wegzubleiben, willst du bald die ganze Nacht wegbleiben, dann ziehst du aus, brichst jeden Kontakt ab, und wir sehen uns nie wieder.'

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 ⇒ C ⇒ ... ⇒ Z (unjustified chain)
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

    Behauptet das Argument eine Kette von Konsequenzen, die von einer anfänglichen Handlung ausgeht?

    Typ: binary
  2. 2

    Wird die Kette der Konsequenzen ohne ausreichende Rechtfertigung für jedes Glied präsentiert?

    Typ: binary
  3. 3

    Ist das vorhergesagte Endergebnis extrem oder katastrophal?

    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