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!

Nirvana-Fehlschluss (Nirvana Fallacy / Perfect Solution Fallacy)

Auch bekannt als: Perfect Solution Fallacy Perfectionist Fallacy Utopian Fallacy Perfektionismus-Fehlschluss
Informal Fallacy ID: nirvana_fallacy

Definition

Der Nirvana-Fehlschluss lehnt eine praktische Lösung ab, weil sie nicht perfekt ist, und vergleicht sie mit einem unrealistischen Ideal anstatt mit der aktuellen Situation oder anderen realisierbaren Alternativen. Er geht davon aus, dass eine Lösung, wenn sie ein Problem nicht vollständig löst, es nicht wert ist, verfolgt zu werden. Dieser Perfektionismus lähmt das Handeln, indem er das Unerreichbare als Voraussetzung für jede Verbesserung fordert.

Beispiele

"Wozu Sicherheitsgurtgesetze? Es sterben immer noch Menschen bei Autounfällen, auch wenn sie angeschnallt sind. Solange wir das Fahren nicht völlig sicher machen können, ist es sinnlos."

Diese neue Krebstherapie verlängert das Leben der Patienten im Durchschnitt um zwei Jahre – aber sie heilt die Krankheit nicht vollständig. Solange wir keine hundertprozentige Heilung haben, ist das alles verschwendetes Geld.

Wozu Aufklärungskampagnen gegen Rauchen? Es gibt immer noch Millionen Raucher. Wenn man das Problem nicht vollständig lösen kann, sollte man es gleich lassen.

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.

NOT Perfect(Solution) -> Reject(Solution)
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

    Wird eine Lösung abgelehnt, weil sie das Problem nicht vollständig löst?

    Typ: binary
  2. 2

    Ist der Vergleichsmaßstab eine unrealistisch zu erreichende Lösung?

    Typ: binary
  3. 3

    Würde die vorgeschlagene Lösung dennoch eine Verbesserung gegenüber dem Status quo darstellen?

    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