Apps
Erkunden
Aspekt-VerzeichnisWissensgraphAnalyse-Linsen
Lernen
Erste SchritteWarum TellDearLeitfadenArtikelEssentialsGlossarFAQDokumentationProvider
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!

Unterdrückter Quantor (Suppressed Quantifier)

Auch bekannt als: Hidden Quantifier Fallacy Quantifier Ambiguity
Formal Fallacy ID: suppressed_quantifier

Definition

Ein formaler Fehlschluss, bei dem der Quantor in einer Aussage unterdrückt oder mehrdeutig gelassen wird, was es dem Argumentierenden ermöglicht, bequem zwischen Interpretationen von 'einige' und 'alle' zu wechseln. Dies nutzt die Tendenz der natürlichen Sprache aus, Quantoren wegzulassen.

Beispiele

Wissenschaftler sagen, diese Chemikalie sei gefährlich. (Welche Wissenschaftler? Alle? Einige? Eine Mehrheit?)

In einer Werbeanzeige heißt es: 'Ärzte empfehlen dieses Schmerzmittel.' – Aber wie viele Ärzte? Alle? Ein paar bezahlte Studienteilnehmer? Das bleibt bewusst offen.

Der Politiker behauptet: 'Die Bürger wollen eine strengere Einwanderungspolitik.' – Welche Bürger? Eine Mehrheit? Eine lautstarke Minderheit? Der fehlende Quantor verschleiert die eigentliche Aussage.

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.
Im Glossar ansehen →

∃x(P(x)) treated as ∀x(P(x))
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.
Im Glossar ansehen →
Formal ungültig

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?"
Im Glossar ansehen →

Binäre (Ja/Nein) Fragen, die ein LLM beantworten muss, um diesen Aspekt zu identifizieren:

  1. 1

    Macht das Argument eine Behauptung über eine Gruppe oder Kategorie?

    Typ: binary
  2. 2

    Wird der Quantor (alle, einige, die meisten, keine) implizit gelassen oder ist er mehrdeutig?

    Typ: binary
  3. 3

    Wechselt das Argument ohne Anerkennung zwischen universeller und partikulärer Quantifizierung?

    Typ: binary
  4. 4

    Würde das Explizitmachen des Quantors das Argument als schwächer oder ungültig entlarven?

    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.
Im Glossar ansehen →

Verwandte Aspekte

← related to
Generische Verallgemeinerung (Generic Generalisation)

Generic generalisation occurs when a generic statement — one that captures a typical or characteristic property of a kind — is treated as a strict universal claim. Generic sentences like 'dogs have four legs' or 'mosquitoes carry malaria' express statistical tendencies, characteristic features, or normative expectations, but they tolerate exceptions. The fallacy arises when these defeasible generics are deployed as though they were exceptionless universal quantifications, licensing conclusions about specific individuals.

Hierarchischer Kontext

→ sub type of Formale Fehlschlüsse

In der Praxis ausprobieren

Nutze diese Tools, um diesen Aspekt zu erkennen, zu analysieren oder zu trainieren.

🎓 Fehlschluss-Trainer

Dich zu diesem Aspekt testen

Weiter →
🔍 Text-Analyse

Einen Text auf dieses Muster scannen

Weiter →
⚗️ Argument Lab

Ein Argument Schritt für Schritt analysieren

Weiter →