Argument from Sign

Also Known As: Abductive Reasoning from Signs Argument from Indication

Discourse Mechanics ID: argument_from_sign

Definition

An argumentation scheme that infers the existence of an unobservable condition from an observable sign that typically correlates with it. The strength of the argument depends on the reliability of the sign-condition correlation and the absence of alternative explanations for the sign.

Examples

The ground is wet (sign), so it must have rained (condition). Smoke is visible (sign), so there must be a fire (condition).

A doctor notices a patient has a high fever, swollen lymph nodes, and fatigue, and infers the patient likely has a bacterial or viral infection. Each symptom serves as a sign pointing toward an underlying condition that cannot be directly observed without further testing.

A financial analyst sees a sudden spike in insider stock purchases at a company and infers that executives likely have non-public knowledge of positive upcoming earnings. The trading pattern is a sign used to infer an unobservable internal condition.

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 →

Sign(S) ∧ Generally(S → C) ⇒ C

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 an observable indicator or sign being cited?
Type: binary
2

Is a conclusion about an unobserved state or condition drawn from this sign?
Type: binary
3

Is the connection between the sign and the conclusion based on a generally reliable correlation?
Type: binary
4

Are alternative explanations for the sign adequately considered?
Type: binary

Description

Why It Works

Signs serve as legitimate evidential shortcuts in everyday reasoning. We routinely and successfully infer unobserved causes from observed effects.

How to Counter

Ask whether the sign could have alternative causes. Check the reliability of the sign-condition correlation. Look for additional confirming or disconfirming signs.