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 Minor (Illicit Minor)

Auch bekannt als: Illicit Process of the Minor Term
Formal Fallacy ID: illicit_minor

Definition

Der unerlaubte Minor ist ein formaler Fehlschluss in kategorischen Syllogismen, bei dem der Unterbegriff (das Subjekt der Konklusion) in der Konklusion distribuiert ist, aber nicht im Untersatz. Das bedeutet, die Konklusion stellt eine Behauptung über alle Mitglieder einer Kategorie auf, obwohl die Prämissen nur etwas über einige Mitglieder etabliert haben. Es ist das Gegenstück zum unerlaubten Major und betrifft das andere Ende des Syllogismus.

Beispiele

"Alle Rosen sind Blumen. Alle Rosen sind Pflanzen. Deshalb sind alle Pflanzen Blumen." (Der Unterbegriff 'Pflanzen' ist in der Konklusion distribuiert, im Untersatz, in dem nur von einigen Pflanzen – Rosen – die Rede ist, jedoch unverteilt).

Alle Äpfel sind Früchte. Alle Äpfel sind süß. Also sind alle süßen Dinge Früchte. (Der Unterbegriff 'süße Dinge' ist in der Konklusion distribuiert, im Untersatz jedoch wird nur über einen Teil der süßen Dinge – nämlich Äpfel – gesprochen.)

Alle Journalisten recherchieren Fakten. Alle Journalisten schreiben Artikel. Also recherchieren alle, die Artikel schreiben, Fakten. (Der Unterbegriff 'Artikel schreiben' wird in der Konklusion auf alle Artikelschreiber ausgeweitet, obwohl im Untersatz nur von Journalisten die Rede ist.)

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; All M are S; therefore All S are P [S 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 Unterbegriff (Minor) in der Konklusion distribuiert?

    Typ: binary
  2. 2

    Ist der Unterbegriff auch im Untersatz (Minor-Prämisse) distribuiert?

    Typ: binary
  3. 3

    Stimmt die Distribution des Unterbegriffs 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