Apps

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

Dehumanizing Language

Also Known As: Dehumanization Infrahumanization Animalization Vermin Rhetoric
Manipulation & Propaganda 🎯 Discrimination Detection ID: dehumanizing_language

Definition

Dehumanizing language strips targeted individuals or groups of their humanity by comparing them to animals, insects, diseases, infestations, or objects. This is among the most dangerous forms of discriminatory language because it directly erodes the moral consideration afforded to the targeted group. Historically, dehumanization in language has preceded and accompanied the worst atrocities — genocide researchers consistently identify it as an early warning sign. The pattern ranges from overt comparisons ('they breed like rats') to subtler forms (using 'it' instead of gendered pronouns, referring to groups as 'floods' or 'waves').

Examples

A media commentator describes refugees as 'a swarm descending on our borders, infesting our cities.'

A political leader refers to undocumented immigrants as 'animals who are poisoning the blood of our country,' combining animalization with disease metaphors.

An online comment thread describes a religious minority as 'a cancer that needs to be cut out of society,' using medical metaphors to frame a human group as pathology.

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.

∃g∃m(Group(g) ∧ Human(g) ∧ Metaphor(m) ∧ NonHuman(m) ∧ AppliedTo(m,g) ∧ Reduces(m, MoralStatus(g)))
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 compare people or groups to animals, insects, diseases, or objects?

    Type: binary
  2. 2

    Does the framing strip individuals of human qualities like agency, dignity, or individuality?

    Type: binary
  3. 3

    Could this language reduce empathy or moral concern for the targeted group?

    Type: binary
  4. 4

    Has similar language historically preceded or accompanied violence against such groups?

    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.