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!

Argument aus Unwissenheit (Argument from Ignorance - Schema)

Auch bekannt als: Appell an die Unwissenheit argumentum ad ignorantiam Appeal to Ignorance (Scheme)
Discourse Mechanics ID: argument_from_ignorance_scheme

Definition

Ein Argumentationsschema, bei dem das Fehlen von Beweisen für eine Behauptung als Beweis dagegen behandelt wird (oder das Fehlen von Gegenbeweisen als Unterstützung). Dies kann in „geschlossenen Welten“ legitim sein (wenn eine gründliche Suche nichts fand, ist die Abwesenheit informativ) oder in „offenen Welten“ fehlerhaft sein (wo Abwesenheit lediglich unvollständiges Wissen widerspiegelt).

Beispiele

Legitim: Nachdem eine gründliche Untersuchung des BKA keine Beweise für kriminelle Aktivitäten gefunden hat, können wir vernünftigerweise schlussfolgern, dass es kein Verbrechen gab. Fehlerhaft: Niemand hat bewiesen, dass Aliens nicht existieren, also müssen sie existieren.

Fehlerhaft: 'Es gibt keine wissenschaftlichen Studien, die beweisen, dass dieses Nahrungsergänzungsmittel schadet – also ist es völlig sicher.' Legitim: 'Trotz jahrzehntelanger intensiver Forschung wurden keine Belege für eine schädliche Wirkung gefunden; wir können daher vorläufig von der Unbedenklichkeit ausgehen.'

Fehlerhaft: Ein Politiker behauptet: 'Mein Gegner konnte nicht beweisen, dass er in den Skandal nicht verwickelt war – also ist er schuldig.' Legitim: 'Die Staatsanwaltschaft hat nach umfangreichen Ermittlungen keinerlei Beweise für eine Beteiligung gefunden, weshalb das Verfahren eingestellt wird.'

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.

¬Proven(P) ⇒ ¬P (or ¬Disproven(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 eine Behauptung über etwas aufgestellt, das weder bewiesen noch widerlegt wurde?

    Typ: binary
  2. 2

    Wird der Mangel an Beweisen als Beweis für eine Position behandelt?

    Typ: binary
  3. 3

    Wurde eine gründliche Suche nach Beweisen durchgeführt?

    Typ: binary
  4. 4

    Ist das Gebiet eines, in dem das Fehlen von Beweisen aussagekräftig ist (Closed-World-Annahme)?

    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