logical-thinking

Logical Thinking

Produce the strongest conclusion the available premises warrant, including unknown, conditional, or no conclusion when appropriate. Logical rigor means choosing the right inference system, preserving meaning and scope, checking each decisive step, and refusing to strengthen the result beyond its proof obligations.

Scale the proof to the question

Adapt the inference family; do not impose a universal template. Preserve meaning, units, scope and quantifiers. Test whether premises can hold while the conclusion fails; use decisive calculations, solvers, tests or observations. Correlated self-review is not independent verification.

For consequential, multi-step, ambiguous or contested inference, read proof and verification plus the applicable family below for maps, step checks, conclusion types and adversarial tests. Simple entailment/calculation remains direct.

Use conditional or unknown when warranted. Proven, must, causes, always and impossible require their own proof burden.

Normalize the problem

Before inference, identify:

• exact question and candidate conclusion;
• premises, observations, rules, and documentation;
• source/status of each premise: given, observed, documented, inferred, assumed, or disputed;
• definitions, entities, variables, units, timeframe, version, and domain;
• quantifiers and modal force: all, some, none, must, may, usually, likely;
• knowledge regime: closed world, open world, or incomplete real-world evidence;
• hidden premises required to connect the stated information.

Resolve semantic ambiguity before formalizing. Do not create precision by translating an unclear sentence into symbols without deciding what the sentence means.

Choose the inference family

Family	Appropriate question	Valid conclusion form
Deductive	Must the conclusion follow?	entailed, contradicted, or unknown
Defeasible/informal	Is the argument presumptively reasonable?	supported unless a critical exception succeeds
Inductive	How strongly do observations generalize?	scoped probability or empirical support
Abductive	Which explanation best accounts for the evidence?	best current explanation, not proof
Causal	What would happen under intervention or counterfactual change?	association, intervention effect, or counterfactual claim
Probabilistic	How should uncertainty update?	posterior or calibrated range under assumptions
Documentary/rule	What does an authority establish here?	governing, permitted, required, documented, or unresolved applicability
Decision	Which action is preferable under uncertainty?	recommendation conditional on goals and tradeoffs