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!

Argument aus der Klassifizierung (Argument from Classification)

Auch bekannt als: kategoriales Argument Argument aus der Kategorienmitgliedschaft Categorical Argument Argument from Category Membership
Discourse Mechanics ID: argument_from_classification

Definition

Ein Argumentationsschema, das einem Individuum Eigenschaften aufgrund seiner Mitgliedschaft in einer Kategorie zuschreibt. Das Schema beruht auf der Korrektheit der Klassifizierung und der Universalität der zugeschriebenen Eigenschaft innerhalb der Kategorie. Es ist anfechtbar, wenn die Klassifizierung bestritten wird oder die Eigenschaft Ausnahmen zulässt.

Beispiele

Diese Substanz ist als krebserzeugend eingestuft. Krebserzeugende Stoffe sollten reguliert werden. Daher sollte diese Substanz reguliert werden.

Max wurde als hochbegabt eingestuft. Hochbegabte Kinder brauchen besondere Förderung. Also muss Max besonders gefördert werden.

Dieses Produkt trägt das Bio-Siegel. Bio-Produkte sind frei von synthetischen Pestiziden. Also enthält dieses Produkt keine synthetischen Pestizide.

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.

InCategory(x, C) ∧ ∀y(InCategory(y, C) → P(y)) ⇒ P(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

    Wird etwas in eine bestimmte Kategorie eingeordnet?

    Typ: binary
  2. 2

    Werden Eigenschaften der Kategorie dem klassifizierten Gegenstand zugeschrieben?

    Typ: binary
  3. 3

    Ist die Klassifizierung selbst gerechtfertigt statt bloß behauptet?

    Typ: binary
  4. 4

    Ist die Eigenschaft für die Kategorie wirklich universell statt nur typisch?

    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