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!

Undistribuierter Mittelbegriff (Undistributed Middle)

Auch bekannt als: Fallacy of the Undistributed Middle Term
Formal Fallacy ID: undistributed_middle

Definition

Ein formaler syllogistischer Fehlschluss, bei dem der Mittelbegriff, der zwei Prämissen verbindet, niemals distribuiert ist (sich niemals auf alle Mitglieder seiner Kategorie bezieht). Das bedeutet, dass sich die beiden Prämissen auf völlig unterschiedliche Teilmengen des Mittelbegriffs beziehen könnten, was die Konklusion ungültig macht.

Beispiele

Alle Hunde sind Tiere. Alle Katzen sind Tiere. Daher sind alle Katzen Hunde.

Alle Terroristen beten regelmäßig. Ahmed betet regelmäßig. Also ist Ahmed ein Terrorist. – Dieses Argument taucht implizit in Kommentarspalten auf, wenn jemand schreibt: 'Na ja, er ist halt sehr religiös…' und damit eine Verbindung suggeriert, die logisch nicht existiert.

Alle erfolgreichen Unternehmer haben früh aufgehört zu schlafen. Ich schlafe auch wenig. Also werde ich ein erfolgreicher Unternehmer. – Dieser Fehlschluss verbreitet sich in Selbstoptimierungs-Podcasts, wo das gemeinsame Merkmal 'wenig Schlaf' fälschlicherweise als kausale Verbindung zwischen zwei völlig unterschiedlichen Gruppen behandelt 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.

∀x(P(x)→M(x)) ∧ ∀x(S(x)→M(x)) ⇒ ∀x(S(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.
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?"

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

  1. 1

    Hat das Argument eine syllogistische Struktur mit zwei Prämissen und einer Konklusion?

    Typ: binary
  2. 2

    Gibt es einen Mittelbegriff, der in beiden Prämissen, aber nicht in der Konklusion vorkommt?

    Typ: binary
  3. 3

    Schließt der Mittelbegriff nicht alle Mitglieder seiner Klasse in mindestens einer Prämisse ein (d.h. ist er nicht distribuiert)?

    Typ: binary
  4. 4

    Behauptet die Konklusion eine Verbindung zwischen den beiden Endbegriffen, die nicht logisch garantiert ist?

    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.