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 Division (Fallacy of Division)

Auch bekannt als: Fallacy of Division Divisionsfehlschluss
Informal Fallacy ID: division

Definition

Der Fehlschluss der Division ist die Umkehrung der Komposition: Er geht davon aus, dass das, was für das Ganze wahr ist, für jeden Teil wahr sein muss. Er verteilt fälschlicherweise Eigenschaften eines Aggregats auf seine einzelnen Mitglieder. Ein wohlhabendes Land bedeutet nicht, dass jeder Bürger wohlhabend ist; ein Meisterschaftsteam bedeutet nicht, dass jeder Spieler Meisterschaftsniveau hat.

Beispiele

"Diese Universität hat einen exzellenten Ruf, also muss jeder Professor hier ein exzellenter Lehrer sein."

Jemand sagt: 'Deutschland ist eine der stärksten Wirtschaftsnationen der Welt – also muss es jedem einzelnen Deutschen wirtschaftlich gut gehen.' Dabei wird die ungleiche Vermögensverteilung vollständig ignoriert.

Ein Nutzer schreibt auf Social Media: 'Amazon ist das wertvollste Unternehmen der Welt, also verdienen alle Amazon-Mitarbeiter sicher sehr gut.' Die Realität der Lagerarbeiter und Lieferfahrer wird dabei ausgeblendet.

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.

Property(X) -> Property(part_of(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.
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

    Schreibt das Argument eine Eigenschaft des Ganzen einzelnen Teilen zu?

    Typ: binary
  2. 2

    Gibt es eine Rechtfertigung für den Glauben, dass die Eigenschaft auf jeden Teil zutrifft?

    Typ: binary
  3. 3

    Könnten die Teile andere Eigenschaften haben als das Ganze?

    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