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!

Argumentum ad Ignorantiam (Argument from Ignorance)

Auch bekannt als: Appeal to Ignorance Argument from Lack of Evidence Berufung auf Unwissenheit
Informal Fallacy ID: argument_from_ignorance

Definition

Das Argumentum ad Ignorantiam behauptet, dass eine Proposition wahr ist, weil sie nicht als falsch bewiesen wurde, oder falsch, weil sie nicht als wahr bewiesen wurde. Es behandelt das Fehlen von Evidenz als Evidenz selbst. Dieser Fehlschluss verwechselt die Grenzen des aktuellen Wissens mit einem endgültigen Beweis und ignoriert die Möglichkeit, dass die Wahrheit einfach noch nicht etabliert wurde.

Beispiele

"Niemand hat je bewiesen, dass Außerirdische die Erde nicht besucht haben, also müssen sie sie irgendwann besucht haben."

Ein Kollege in der Teambesprechung sagt: 'Niemand hat bisher bewiesen, dass dieses neue Managementsystem nicht funktioniert – also sollten wir es sofort einführen.'

In einer Online-Debatte schreibt ein Nutzer: 'Die Wissenschaft hat noch nicht bewiesen, dass Handystrahlung völlig harmlos ist – also ist es offensichtlich, dass sie uns krank macht.'

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.

¬Known(¬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

    Wird die Behauptung hauptsächlich durch das Fehlen von Evidenz dagegen gestützt?

    Typ: binary
  2. 2

    Schließt es auf die Wahrheit aus Mangel an Widerlegung (oder auf Falschheit aus Mangel an Beweisen)?

    Typ: binary
  3. 3

    Wurde tatsächlich eine echte, gründliche Untersuchung durchgeführt?

    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