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!

Berufung auf Unwissenheit (Appeal to Ignorance / Argumentum ad Ignorantiam)

Auch bekannt als: Argumentum ad Ignorantiam God of the Gaps Lückenbüßer-Gott
Informal Fallacy ID: appeal_to_ignorance

Definition

Die Berufung auf Unwissenheit ist eng mit dem Argumentum ad Ignorantiam verwandt, betont jedoch die rhetorische Ausbeutung dessen, was unbekannt ist. Es nutzt Wissens- oder Evidenzlücken, um eine bevorzugte Konklusion zu stützen, und argumentiert, dass eine bestimmte Interpretation richtig sein muss, weil etwas nicht vollständig erklärt oder verstanden werden kann. Es setzt Mysterien und unvollständige Informationen als Waffe ein.

Beispiele

"Wissenschaftler können nicht vollständig erklären, wie das Bewusstsein funktioniert. Daher muss das Bewusstsein ein übernatürliches Phänomen sein."

Ein Politiker sagt in einer Talkshow: 'Niemand hat bisher beweisen können, dass unsere Wirtschaftspolitik der Mittelschicht geschadet hat. Also hat sie ihr eindeutig genützt.' Die fehlende Widerlegung wird dabei fälschlicherweise als Bestätigung gewertet.

In einer Online-Diskussion über Ernährung schreibt jemand: 'Es gibt keine einzige Studie, die zweifelsfrei belegt, dass Zucker in Maßen ungesund ist – also kann man ihn bedenkenlos in großen Mengen konsumieren.' Das Fehlen eines absoluten Beweises wird hier als Freifahrtschein missverstanden.

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 Proven(P) -> NOT P OR NOT Proven(NOT P) -> P
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, etwas sei wahr, nur weil es nicht widerlegt wurde?

    Typ: binary
  2. 2

    Behauptet das Argument, etwas sei falsch, nur weil es nicht bewiesen wurde?

    Typ: binary
  3. 3

    Wird die Beweislast in unzulässiger Weise auf die Gegenseite verschoben?

    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