Apps

🧪 This platform is in early beta. Features may change and you might encounter bugs. We appreciate your patience!

Ableist Language

Also Known As: Disability-Based Language Bias Ableism in Language Disablist Language
Discourse Mechanics 🎯 Discrimination Detection ID: ableist_language

Definition

Ableist language uses disability-related terms as metaphors for negative qualities, thereby reinforcing the idea that disability equals deficiency. It ranges from overtly derogatory slurs to deeply embedded everyday expressions like 'that's so lame,' 'blind to the facts,' or 'falling on deaf ears.' Many of these expressions are so normalized that speakers are unaware of their origins or impact. This is a nuanced area: some disabled people reclaim certain terms, and many idioms have become so detached from their origins that their ableist charge is debatable. The goal is awareness, not rigid policing of language.

Examples

A project review states: 'The team was blind to the obvious flaws in the design and deaf to user feedback.' Using blindness and deafness as metaphors for incompetence.

A politician dismisses an opponent's proposal as 'completely insane' and their supporters as 'having lost their minds,' using mental health conditions as shorthand for irrationality.

A social media post says: 'That policy is so lame — only someone who's mentally crippled would support it.' This stacks multiple ableist metaphors, equating disability with poor judgment.

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.

∃t∃d(Term(t) ∧ Disability(d) ∧ (Metaphor(t,d) ∨ Derogatory(t,d)) ∧ Implies(t, Inferior(d)))
Formal Verification:
Formal Verification
Checks whether a reasoning pattern is logically valid or invalid using an automated theorem prover.
Formal verification uses an SMT (Satisfiability Modulo Theories) solver — specifically Z3 — to mathematically check whether an argument's logical structure is valid. Each reasoning pattern is translated into First-Order Logic and tested: Can the premises be true while the conclusion is false? If yes, it's formally invalid. If no, it's formally valid. Many real-world patterns (analogies, heuristics) cannot be fully captured in formal logic — these are marked as not formally decidable, which doesn't mean they're wrong.
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.

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

  1. 1

    Does the language use disability-related terms as metaphors for negative qualities?

    Type: binary
  2. 2

    Does the expression equate disability with inadequacy, failure, or inferiority?

    Type: binary
  3. 3

    Could the language marginalize or demean people with the referenced disability?

    Type: binary
Deep Dive
The expandable detail section on each aspect page with examples, psychology, and counter-strategies.
The Deep Dive section provides in-depth information about each aspect: a real-world example showing the pattern in action, an explanation of why it works psychologically, practical advice on how to counter it, alternative names, and links to related aspects.

Hierarchical Context