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!

Unerlaubter Major (Illicit Major)

Auch bekannt als: Illicit Process of the Major Term
Formal Fallacy ID: illicit_major

Definition

Der unerlaubte Major ist ein formaler Fehlschluss in kategorischen Syllogismen, bei dem der Oberbegriff (das Prädikat der Konklusion) in der Konklusion, aber nicht im Obersatz distribuiert ist. Ein Begriff ist 'distribuiert', wenn die Prämisse eine Behauptung über alle Mitglieder dieser Kategorie aufstellt. Dies verstößt gegen die Regel, dass ein Begriff nicht in der Konklusion distribuiert sein darf, wenn er in den Prämissen nicht distribuiert war.

Beispiele

"Alle Hunde sind Tiere. Keine Katzen sind Hunde. Deshalb sind keine Katzen Tiere." (Der Oberbegriff 'Tiere' ist in der Konklusion distribuiert, aber nicht im Obersatz, in dem nur von einigen Tieren – nämlich Hunden – die Rede ist).

Alle Politiker lügen. Dieser Mann ist kein Politiker. Also lügt dieser Mann nicht. (Der Oberbegriff 'lügen' ist in der Konklusion distribuiert, aber im Obersatz wird nur über Politiker ausgesagt, dass sie lügen – nicht über alle Menschen im Allgemeinen.)

Alle Profisportler trainieren täglich. Mein Nachbar ist kein Profisportler. Also trainiert mein Nachbar nicht täglich. (Der Oberbegriff 'täglich trainieren' gilt im Obersatz nur für Profisportler, wird aber in der Konklusion unzulässig auf alle Nicht-Profisportler ausgeweitet.)

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.

All M are P; Some S are not M; therefore Some S are not P [P undistributed in premise but distributed in conclusion]
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

    Ist der Oberbegriff (Major) in der Konklusion distribuiert?

    Typ: binary
  2. 2

    Ist der Oberbegriff auch im Obersatz (Major-Prämisse) distribuiert?

    Typ: binary
  3. 3

    Stimmt die Distribution des Oberbegriffs zwischen Prämisse und Konklusion überein?

    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