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!

Unzulässige Konversion (Illicit Conversion)

Auch bekannt als: Converse Error of Categorical Propositions Simple Conversion Error
Formal Fallacy ID: illicit_conversion

Definition

Die unzulässige Konversion ist ein formaler Fehlschluss, der die ungültige Umwandlung einer kategorischen Aussage durch Vertauschen von Subjekt und Prädikat beinhaltet. Während sich 'Keine A sind B' gültig in 'Keine B sind A' umwandeln lässt und 'Einige A sind B' in 'Einige B sind A', lässt sich die Aussage 'Alle A sind B' nicht gültig in 'Alle B sind A' umwandeln. Diese Asymmetrie wird im alltäglichen Denken häufig übersehen.

Beispiele

"Alle Terroristen sind Extremisten. Daher sind alle Extremisten Terroristen." (Ein Terrorist zu sein, impliziert ein Extremist zu sein, aber ein Extremist zu sein, impliziert nicht, ein Terrorist zu sein.)

Alle veganen Lebensmittel sind pflanzlich. Also sind alle pflanzlichen Lebensmittel vegan. (Dass ein Produkt pflanzlich ist, bedeutet nicht automatisch, dass es vegan ist – es könnten trotzdem tierische Zusatzstoffe enthalten sein.)

Alle Profi-Fußballer trainieren täglich. Also trainieren alle, die täglich trainieren, als Profi-Fußballer. (Tägliches Training ist eine Eigenschaft von Profi-Fußballern, aber nicht jeder, der täglich trainiert, ist deshalb ein Profi-Fußballer.)

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 x: A(x) -> B(x); therefore ALL x: B(x) -> A(x) [invalid]
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

    Wurden Subjekt und Prädikat einer kategorischen Aussage vertauscht?

    Typ: binary
  2. 2

    Ist die ursprüngliche Aussage eine universelle Affirmation (Alle A sind B)?

    Typ: binary
  3. 3

    Bewahrt die Umwandlung die logische Gültigkeit der ursprünglichen Proposition?

    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