Apps

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

Guilt by Association

Also Known As: Association Fallacy Bad Company Fallacy Reductio ad Hitlerum
Informal Fallacy ID: guilt_by_association

Definition

Guilt by association discredits a person or idea by linking it to something or someone already viewed negatively, without demonstrating a meaningful connection between the two. It exploits the psychological tendency to transfer judgments across associated items. The fallacy assumes that similarity or proximity in one dimension implies similarity in all relevant dimensions.

Examples

"You know who else was a vegetarian? Hitler. Maybe you should rethink your diet."

A political opponent attacks a candidate: 'Senator Mills once attended a fundraiser also attended by a controversial lobbyist. That tells you everything you need to know about whose interests she really serves.' No actual connection between their positions is demonstrated.

A product reviewer writes: 'I noticed this nutritional supplement brand is sold on the same websites that peddle conspiracy theory merchandise. I wouldn't trust anything they make.' The sales platform is used to discredit the product rather than examining its ingredients or clinical evidence.

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.

Associated(X, Y) AND Bad(Y) -> Bad(Claims(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

    Is a person's argument being rejected because of an association with a disliked entity?

    Type: binary
  2. 2

    Is the association relevant to the truth of the claim being made?

    Type: binary
  3. 3

    Is the actual argument being addressed on its merits?

    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