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!

Fehlschluss der exklusiven Prämissen (Fallacy of Exclusive Premises)

Auch bekannt als: Fallacy of Two Negative Premises
Formal Fallacy ID: exclusive_premises

Definition

Der Fehlschluss der exklusiven Prämissen tritt in einem kategorischen Syllogismus auf, wenn beide Prämissen negativ sind. Aus zwei negativen Prämissen kann keine gültige Schlussfolgerung gezogen werden, da negative Prämissen uns nur etwas über Ausschlussbeziehungen sagen und keine positive Verbindung bieten, durch die Minor- und Major-Term verbunden werden können. Der Mittelbegriff versagt als Brücke zwischen den beiden anderen Begriffen, wenn beide Prämissen eine Verbindung verneinen.

Beispiele

"Keine Fische sind Säugetiere. Keine Säugetiere sind Reptilien. Deshalb sind keine Fische Reptilien." (Obwohl die Konklusion zufällig wahr ist, folgt sie nicht logisch aus den Prämissen, da zwei negative Prämissen keine gültige Konklusion begründen können.)

Kein Veganer isst Fleisch. Kein Fleischesser ist Veganer. Also essen keine Veganer tierische Produkte. (Aus diesen zwei negativen Prämissen lässt sich logisch keine gültige Konklusion ableiten – die Schlussfolgerung folgt nicht aus den Prämissen.)

Kein Student dieser Klasse ist Lehrer. Kein Lehrer ist Schüler. Also ist kein Student dieser Klasse ein Schüler. (Beide Prämissen sind negativ, weshalb keine gültige kategorische Schlussfolgerung gezogen werden kann, auch wenn die Konklusion absurd erscheint.)

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.

No A are B; No B are C; therefore [invalid conclusion about A and C]
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

    Sind beide Prämissen des Syllogismus verneinend (enthalten 'kein' oder 'nicht')?

    Typ: binary
  2. 2

    Wird aus zwei verneinenden Prämissen eine Konklusion gezogen?

    Typ: binary
  3. 3

    Könnte eine gültige Verbindung zwischen den Begriffen nur mit verneinenden Prämissen hergestellt werden?

    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