Existenzieller Fehlschluss (Existential Fallacy)

Auch bekannt als: Existential Instantiation Error

Formal Fallacy ID: existential_fallacy

Definition

Der existenzielle Fehlschluss tritt auf, wenn ein kategorischer Syllogismus eine partikuläre Konklusion ('einige X sind Y') aus zwei universellen Prämissen ('alle X sind Y') zieht, ohne festzustellen, dass die Subjektkategorie tatsächlich Mitglieder hat. Universelle Aussagen implizieren in der modernen Logik keine Existenz – 'alle Einhörner haben Hörner' ist leer wahr, auch wenn keine Einhörner existieren. Der Fehlschluss setzt die Existenz voraus, ohne sie nachzuweisen.

Beispiele

"Alle vollkommenen Wesen sind allwissend. Alle vollkommenen Wesen sind allmächtig. Daher sind einige allwissende Wesen allmächtig." (Dies setzt voraus, dass vollkommene Wesen tatsächlich existieren; tun sie das nicht, folgt die Konklusion nicht.)

Alle idealen Demokratien schützen die Meinungsfreiheit. Alle idealen Demokratien garantieren Gleichheit. Also schützen einige Garanten von Gleichheit die Meinungsfreiheit. (Dies setzt voraus, dass ideale Demokratien tatsächlich existieren; tun sie das nicht, ist die partikuläre Konklusion unzulässig.)

Alle fehlerfreien Computerprogramme enthalten keine Bugs. Alle fehlerfreien Computerprogramme sind vollständig getestet. Also sind einige vollständig getestete Programme fehlerfrei. (Die Konklusion setzt die Existenz fehlerfreier Programme voraus, was nicht durch die universellen Prämissen allein begründet werden kann.)

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 →

ALL x: P(x) -> Q(x); therefore EXISTS x: P(x) AND Q(x) [without establishing EXISTS x: P(x)]

Formale Verifizierung: 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?"

Im Glossar ansehen →

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

1

Sind alle Prämissen universelle Aussagen?
Typ: binary
2

Macht die Konklusion eine partikuläre (existenzielle) Behauptung?
Typ: binary
3

Wurde festgestellt, dass die betreffende Kategorie tatsächlich Mitglieder hat?
Typ: binary

Beschreibung

Warum es funktioniert

Menschen nehmen von Natur aus an, dass Kategorien, die in einem Argument diskutiert werden, echte Mitglieder haben. Der Sprung von 'alle X' zu 'einige X' fühlt sich trivial an und verschleiert die implizite Existenzannahme.

Wie man entgegnet

Frage, ob die Subjektkategorie tatsächlich bestätigte Mitglieder hat. Wenn die Existenz nicht festgestellt wurde, ist die Konklusion, die sich auf 'einige' Mitglieder bezieht, unbegründet.

Auch bekannt als

Existential Instantiation Error

Praxiskontext

Relevant bei philosophischen Argumenten über Gott, Idealformen, theoretischen Konstrukten und in jedem Bereich, in dem universelle Behauptungen über Kategorien aufgestellt werden, deren Existenz umstritten ist.