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

Auch bekannt als: Fallacy of Composition Kompositionsfehlschluss
Informal Fallacy ID: composition

Definition

Der Fehlschluss der Komposition geht davon aus, dass das, was für die Teile wahr ist, auch für das Ganze wahr sein muss. Er überträgt fälschlicherweise Eigenschaften von einzelnen Komponenten auf das Aggregat und ignoriert emergente Eigenschaften und Interaktionen. Nur weil jeder Spieler einer Mannschaft individuell hervorragend ist, bedeutet das nicht, dass die Mannschaft hervorragend sein wird, da Teamwork neue Dynamiken einführt, die auf individueller Ebene nicht vorhanden sind.

Beispiele

"Jede Komponente in diesem Computer ist die schnellste verfügbare, also muss dies der schnellste Computer sein, der je gebaut wurde." (Ignoriert Engpässe, Kompatibilität und Systemarchitektur).

Ein Fußballfan argumentiert: 'Unsere Mannschaft besteht ausschließlich aus den besten Spielern der Liga – also werden wir definitiv die Meisterschaft gewinnen.' Er übersieht dabei, dass Teamchemie und Taktik entscheidend sind.

In einer Werbekampagne heißt es: 'Jede einzelne Zutat in unserem Smoothie ist gesund, also ist unser Smoothie das gesündeste Getränk, das es gibt.' Die Wechselwirkungen und Mengen der Zutaten bleiben unberücksichtigt.

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(part_of(X)) -> Property(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 einzelner Teile dem Ganzen zu?

    Typ: binary
  2. 2

    Gibt es einen stichhaltigen Grund zu der Annahme, dass die Eigenschaft von den Teilen auf das Ganze übertragbar ist?

    Typ: binary
  3. 3

    Könnte das Ganze andere Eigenschaften haben als seine einzelnen Komponenten?

    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