Apps

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

Gender Stereotypes

Also Known As: Sexism Benevolent Sexism Gender Essentialism Gender Role Enforcement
Manipulation & Propaganda 🎯 Discrimination Detection ID: gender_stereotypes

Definition

Gender stereotypes assign fixed traits, roles, or expectations to people based on their gender. They operate on a spectrum from overtly hostile sexism ('women can't lead') to benevolent sexism ('women are naturally more nurturing'), which appears positive but still restricts agency by defining what someone should be based on gender rather than individual choice. Both forms reinforce rigid gender roles and limit human potential. Context matters: discussing statistical trends in research differs from applying group trends prescriptively to individuals.

Examples

A manager explains: 'We gave the client presentation to Mark because women tend to be less assertive in negotiations — it's just biology.'

A relative says: 'It's so wonderful that you're such a caring mother — women are naturally better at nurturing.' While framed as a compliment, this benevolent sexism reinforces the expectation that caregiving is primarily women's responsibility.

A teacher tells a boy who is crying: 'Come on, boys don't cry — toughen up.' This enforces a masculine stereotype that restricts emotional expression and has measurable effects on mental health.

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∃p(Gender(g) ∧ Property(p) ∧ ∀x(HasGender(x,g) → Expected(x,p)) ∧ Restricts(Expected(x,p), Agency(x)))
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 statement attribute specific roles, abilities, or characteristics based on gender?

    Type: binary
  2. 2

    Are these attributes presented as natural or inevitable rather than socially constructed?

    Type: binary
  3. 3

    Does the framing restrict what people of a certain gender should do, feel, or aspire to?

    Type: binary
  4. 4

    Does the statement apply even if it appears positive (benevolent sexism)?

    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.