Argument from Classification

Also Known As: Categorical Argument Argument from Category Membership

Discourse Mechanics ID: argument_from_classification

Definition

An argumentation scheme that attributes properties to an individual based on its membership in a category. The scheme relies on the correctness of the classification and the universality of the attributed property within the category. It is defeasible when the classification is contested or the property admits exceptions.

Examples

This substance is classified as a carcinogen. Carcinogens should be regulated. Therefore, this substance should be regulated.

This algorithm has been officially classified as a high-risk AI system under the relevant regulation. High-risk AI systems are required to undergo third-party audits before deployment. Therefore, this algorithm must undergo a third-party audit before deployment.

This employee's role has been classified as 'exempt' under labor law. Exempt employees are not entitled to overtime pay. Therefore, this employee is not entitled to overtime pay — though the critical question is whether the classification itself was applied correctly.

Formal Logic Pattern

FOL Pattern

The First-Order Logic formula representing this reasoning pattern's logical structure.

FOL (First-Order Logic) uses quantifiers (∀ = for all, ∃ = there exists), connectives (∧ = and, ∨ = or, ⇒ = implies, ¬ = not), and predicates to capture the essential form of a reasoning pattern. For example, the Ad Hominem fallacy: Person(x) ∧ HasFlaw(x) ⇒ Invalid(Claim(x)). These patterns allow automated verification of logical validity.

View in glossary →

InCategory(x, C) ∧ ∀y(InCategory(y, C) → P(y)) ⇒ P(x)

Formal Verification: Not formally decidable

Verification Steps

Verification Steps

Binary yes/no questions that an AI must answer to detect a reasoning pattern in a text.

Each of the 452 aspects has verification steps — simple yes/no questions designed to systematically detect whether a pattern appears in a text. For ad hominem: "Does the argument attack a person rather than their claim?" For false dichotomy: "Are only two options presented when more exist?" This ensures consistent, reproducible analysis.

View in glossary →

Binary (yes/no) questions an LLM must answer to identify this aspect:

1

Is something being classified into a specific category?
Type: binary
2

Are properties of the category being attributed to the classified item?
Type: binary
3

Is the classification itself justified rather than merely asserted?
Type: binary
4

Is the property genuinely universal to the category rather than merely typical?
Type: binary

Description

Why It Works

Classification is a fundamental cognitive operation that enables efficient reasoning. Once something is categorized, all category properties become available as inferences.

How to Counter

Challenge the classification itself or identify exceptions to the category-property link. Ask whether the individual is a typical or atypical member of the category.