flowchart TB
R{Types of<br/>Reasoning} --> D[Deductive<br/>General → Particular]
R --> I[Inductive<br/>Particular → General]
R --> AB[Abductive<br/>Best explanation]
R --> AN[Analogical<br/>Similarity-based]
R --> CR[Critical<br/>Evaluative]
classDef default fill:#003366,color:#ffffff,stroke:#ffcc00,stroke-width:3px,rx:10px,ry:10px;
19 Types of reasoning
19.1 What the Syllabus Covers
The syllabus names “Types of Reasoning”. The candidate must distinguish the five main types — deductive, inductive, abductive, analogical, and critical — and recognise their sub-types. Reasoning questions in NTA Paper-I typically appear as sequence series, syllogisms, analogies, blood relations, coding-decoding, direction sense, statement-conclusion, statement-assumption and statement-argument items.
Most-repeated PYQ patterns: (a) identify the reasoning type of a worked example, (b) distinguish deduction vs induction, (c) complete an analogy, and (d) draw the correct conclusion from given premises.
19.2 What Reasoning Is
Reasoning is the process of drawing conclusions from premises. Reasoning has two structural questions:
TipThe Two Questions Reasoning Faces
- Direction — does the argument move from the general to the particular (deductive) or from the particular to the general (inductive)?
- Certainty — does the conclusion follow necessarily (valid deduction) or only probably (strong induction)?
A reasoner can use multiple types within one argument; they are not mutually exclusive.
19.3 The Five Major Types
TipFive Major Types of Reasoning
| Type | Direction | Certainty | One-line summary |
|---|---|---|---|
| Deductive | General → Particular | Conclusion certain if premises true | “If A then B; A; therefore B” |
| Inductive | Particular → General | Probable, never certain | “Every observed swan is white; therefore all swans are white” |
| Abductive | Observation → Best explanation | Probabilistic; “inference to the best explanation” | “The lawn is wet; the best explanation is rain” |
| Analogical | A is like B; what holds in A may hold in B | Probable | “Heart is to body as engine is to car” |
| Critical | Evaluative stance | Examines validity & soundness | Detects fallacies, biases, missing assumptions |
19.4 Deductive Reasoning
Deductive reasoning derives a particular conclusion from a general principle. If the premises are true and the form is valid, the conclusion is necessarily true.
19.4.1 The Classical Syllogism (Aristotle)
Aristotle (4th c. BCE) — the syllogism is a three-line argument: two premises + one conclusion.
TipClassical Categorical Syllogism
Major premise: All humans are mortal. Minor premise: Socrates is a human. Conclusion: Socrates is mortal.
19.4.2 Four Categorical Propositions (A, E, I, O)
TipThe Four Categorical Propositions
| Code | Form | Quantity | Quality |
|---|---|---|---|
| A | All S are P | Universal | Affirmative |
| E | No S are P | Universal | Negative |
| I | Some S are P | Particular | Affirmative |
| O | Some S are not P | Particular | Negative |
The codes A, I come from Latin affirmo (I affirm); E, O from nego (I deny).
19.4.3 The Square of Opposition
A diagram showing logical relations among A, E, I, O propositions: contradictories (A↔︎O, E↔︎I), contraries (A↔︎E), subcontraries (I↔︎O), subalterns (A→I, E→O).
19.4.4 Valid Argument Forms
TipFive Classical Valid Forms
- Modus Ponens — If P then Q; P; therefore Q.
- Modus Tollens — If P then Q; not Q; therefore not P.
- Hypothetical Syllogism — If P then Q; if Q then R; therefore if P then R.
- Disjunctive Syllogism — Either P or Q; not P; therefore Q.
- Constructive Dilemma — (If P then Q) and (If R then S); P or R; therefore Q or S.
19.4.5 Common Deductive Fallacies
TipThree Classic Formal Fallacies
- Affirming the Consequent — If P then Q; Q; therefore P. ✗ INVALID.
- Denying the Antecedent — If P then Q; not P; therefore not Q. ✗ INVALID.
- Undistributed Middle — All A are B; some B are C; therefore some A are C. ✗ INVALID.
19.5 Inductive Reasoning
Inductive reasoning moves from specific observations to general conclusions. The conclusion is probable, never certain. Even one counter-example refutes it.
19.5.1 Types of Induction
TipSub-types of Induction
- Generalisation / Enumerative — “Every observed X is Y; therefore all X are Y.”
- Causal inference — “X is regularly followed by Y; therefore X causes Y.”
- Statistical induction — Sample → population estimate.
- Inductive analogy — A and B share many features; A has property P; therefore B probably has P.
- Predictive induction — past patterns will repeat.
19.5.2 Bacon vs Mill — Two Indian-Exam-Famous Names
Francis Bacon (Novum Organum, 1620) — founder of modern inductive/empirical method. Three “tables”: of agreement, of difference, of degrees.
John Stuart Mill (A System of Logic, 1843) — Five canons / methods of inductive inquiry:
TipMill’s Five Methods
- Method of Agreement — If two or more instances of a phenomenon have only one circumstance in common, that circumstance is the cause.
- Method of Difference — If a case where the phenomenon occurs and a case where it does not differ in only one circumstance, that circumstance is the cause.
- Joint Method of Agreement and Difference.
- Method of Residues — Subtract known causes; the residue is the cause of the remaining effect.
- Method of Concomitant Variation — When one variable changes systematically with another, they are causally linked.
19.5.3 The Problem of Induction (Hume)
David Hume — induction can never produce certainty because it assumes the future will resemble the past. Karl Popper later replaced inductivism with falsificationism (Topic 7).
19.6 Abductive Reasoning
Charles Sanders Peirce named the third type — abduction — “inference to the best explanation”. Given an observation, the reasoner proposes the most plausible hypothesis.
TipAbduction in Practice
- Sherlock Holmes-style detective reasoning — observed clues + hypothesis that best fits.
- Medical diagnosis — symptoms + most-likely cause.
- Scientific hypothesis generation — from anomaly to candidate explanation.
Modern AI / machine-learning often uses abduction implicitly when proposing the most-probable cause from observed data.
19.7 Analogical Reasoning
Analogical reasoning argues that two things alike in many respects are likely alike in one more. PYQs use analogies in three forms:
TipThree PYQ Analogy Forms
- Word analogies — Doctor : Patient :: Teacher : ?
- Number analogies — 2 : 8 :: 3 : ? (cube)
- Figure / pattern analogies — visual rotation, reflection, addition.
The strength of an analogy depends on (a) number of shared features, (b) their relevance to the conclusion, (c) absence of disqualifying differences. (Detailed coverage in Topic 23.)
19.8 Critical Reasoning
Critical reasoning is the evaluation of reasoning — distinguishing valid from invalid arguments, sound from unsound, free of fallacies vs not.
19.8.1 Components
TipSix Components of Critical Reasoning
- Identify the conclusion.
- Identify the premises.
- Test the inference — does the conclusion follow?
- Test the premises — are they true / well-evidenced?
- Spot assumptions.
- Spot fallacies and biases.
19.8.2 Major Informal Fallacies (PYQ-frequent)
TipCommon Informal Fallacies
| Fallacy | What it does |
|---|---|
| Ad hominem | Attacks the person, not the argument |
| Appeal to authority (argumentum ad verecundiam) | Cites authority outside their expertise |
| Appeal to emotion | Replaces evidence with emotion |
| Appeal to ignorance | “No proof against, so it must be true” |
| Appeal to majority / popularity (ad populum) | “Many people believe it, so it’s true” |
| Straw man | Misrepresents opponent’s view, then refutes |
| Red herring | Diverts to an irrelevant point |
| False dilemma | Presents only two options when more exist |
| Slippery slope | “If A, then eventually catastrophic Z” |
| Begging the question (petitio principii) | Assumes the conclusion as a premise |
| Hasty generalisation | Generalises from too few cases |
| Post hoc, ergo propter hoc | After this, therefore because of this |
| Composition / Division | Whole has property → parts do (or reverse) |
| Equivocation | Same word, two meanings in one argument |
| Circular reasoning | Conclusion = premise restated |
19.8.3 Cognitive Biases (Kahneman-Tversky)
Daniel Kahneman & Amos Tversky — biases that distort everyday reasoning:
TipCommon Cognitive Biases
- Confirmation bias — seeking only confirming evidence.
- Anchoring — over-relying on first piece of information.
- Availability heuristic — judging frequency by ease of recall.
- Representativeness — judging by stereotype.
- Framing effect — same fact, different decision depending on wording.
- Hindsight bias — “I knew it all along.”
- Sunk-cost fallacy — continuing because of past investment.
- Loss aversion — losses hurt more than equivalent gains.
19.9 Other Reasoning Sub-types Worth Knowing
TipOther Reasoning Sub-types
- Sequential reasoning — number series, letter series (Topic 19).
- Spatial reasoning — mental rotation, mirror images, paper-folding.
- Numerical reasoning — arithmetic, ratios (Topic 20).
- Verbal reasoning — synonyms, antonyms, sentence completion, comprehension.
- Diagrammatic reasoning — Venn diagrams (Topic 24).
- Coding-decoding — letter-to-number substitution; word transformations.
- Direction sense — left/right/north/south spatial puzzles.
- Blood relations — kinship logic.
- Statement-conclusion / Statement-assumption / Statement-argument.
19.10 Reasoning in the Indian Tradition
Indian schools of logic developed a distinct framework — Nyāya, Buddhist Pramāṇavāda, Jain Anekāntavāda (Topics 25–27). Key parallels:
TipIndian-Tradition Reasoning
- Nyāya syllogism (Pancāvayava) — five-step inference: Pratijñā (proposition), Hetu (reason), Udāharaṇa (example), Upanaya (application), Nigamana (conclusion).
- Anumāna (inference) — Indian counterpart of deductive/inductive reasoning.
- Pramāṇa — sources of valid knowledge.
- Hetvābhāsa — fallacies in inference (Topic 27).
19.11 Worked Examples
19.11.1 Deductive Example
Premise 1: All students of this college play sports. Premise 2: Riya is a student of this college. Conclusion: Riya plays sports.
Type: Deductive — valid; conclusion certain if premises true.
19.11.2 Inductive Example
Every Monday for the past 10 years, this market has been crowded. Therefore the market will be crowded next Monday.
Type: Inductive (predictive / enumerative). Strong but not certain.
19.11.3 Abductive Example
The library lights are on after midnight on a Sunday. Best explanation: Exam season — students studying late.
Type: Abductive — best explanation among competing hypotheses.
19.11.4 Analogical Example
A leader is to followers as a captain is to a team.
Type: Analogical — based on structural similarity of roles.
19.11.5 Critical Evaluation Example
“He must be a good doctor because his clinic is always crowded.”
Critique: Appeal to popularity; crowd ≠ quality.
19.12 Theory Anchors at a Glance
TipPersons, Years and Key Ideas
| Person | Year | Contribution | PYQ hook |
|---|---|---|---|
| Aristotle | 4th c. BCE | Syllogism; four propositions A, E, I, O | Father of formal logic |
| Francis Bacon | 1620 | Novum Organum; inductive method | Three tables |
| John Stuart Mill | 1843 | Five methods of induction | Agreement, Difference, Joint, Residues, Concomitant variation |
| David Hume | 1748 | Problem of induction | “Uniformity of nature” assumption |
| C.S. Peirce | 19th c. | Abduction — inference to best explanation | Trichotomy of reasoning |
| Karl Popper | 1959 | Falsificationism replaces induction | Topic 7 |
| Daniel Kahneman & Amos Tversky | 1974, 2011 | Cognitive biases; System 1 / System 2 | Heuristics & biases |
| Aristotle (Indian: Gautama) | ~2nd c. CE | Nyāya pancāvayava — 5-step Indian syllogism | Topic 25 |
| George Boole | 1847 | Boolean algebra; symbolic logic | Foundation of digital logic |
| Gottlob Frege | 1879 | Predicate logic | Modern formal logic |
19.13 Practice Questions
Q 01
Direction
Easy
Reasoning that moves from a general principle to a particular conclusion is called:
View solution
Correct Option: B
Deductive — general → particular; conclusion necessarily true if premises are.
Q 02
Direction
Easy
Reasoning that moves from specific observations to a general conclusion is called:
View solution
Correct Option: A
Inductive — particular → general; conclusion only probable.
Q 03
Worked Example
Medium
"All birds have wings. Sparrow is a bird. Therefore sparrow has wings." This is an example of:
View solution
Correct Option: B
Classical syllogism — general rule applied to a particular case.
Q 04
Worked Example
Medium
"All observed crows are black. Therefore all crows are black." This is:
View solution
Correct Option: B
From sample observations to a universal claim = enumerative induction. Hume's classic example.
Q 05
Abductive
Medium
"Inference to the best explanation" — the third type of reasoning beyond deduction and induction — was named by:
View solution
Correct Option: C
Charles Sanders Peirce — "abduction" as inference to the best explanation.
Q 06
Mill
Hard
John Stuart Mill's five "methods" or "canons" of induction were given in his 1843 work:
View solution
Correct Option: A
A System of Logic, J.S. Mill, 1843. Novum Organum is Francis Bacon (1620).
Q 07
Mill
Hard
Which of the following is NOT one of Mill's five methods of induction?
View solution
Correct Option: C
Mill's 5 methods: Agreement, Difference, Joint, Residues, Concomitant Variation. "Reduction" is not one.
Q 08
Categorical
Medium
The categorical proposition "Some students are not engineers" is of which form?
View solution
Correct Option: D
"Some S are not P" = particular negative = O.
Q 09
Modus Ponens
Medium
"If it rains, the streets get wet. It is raining. Therefore the streets are wet." This is:
View solution
Correct Option: A
Modus Ponens: If P then Q; P; therefore Q. Valid.
Q 10
Fallacy
Hard
"If it rains, the streets get wet. The streets are wet. Therefore it must have rained." This is the fallacy of:
View solution
Correct Option: A
If P→Q, Q, therefore P. The streets could be wet for other reasons (street cleaning, burst pipe). Formal fallacy.
Q 11
Bacon
Medium
The book *Novum Organum* (1620), which is foundational for inductive method, was written by:
View solution
Correct Option: B
Francis Bacon, Novum Organum, 1620. Three "tables" of induction.
Q 12
Fallacy
Medium
"You can't trust her economic argument — she has been divorced twice." This is the fallacy of:
View solution
Correct Option: B
Ad hominem — attacks the person, not the argument.
Q 13
Fallacy
Hard
"Either you support the bill or you are an enemy of progress." This is the fallacy of:
View solution
Correct Option: A
Only two options presented when others exist = false dilemma.
Q 14
Worked
Medium
A doctor sees a patient's symptoms and concludes that the most likely cause is bacterial pneumonia. This is:
View solution
Correct Option: C
Inference to the best explanation = abductive. Classic in medical diagnosis.
Q 15
Analogy
Medium
"Teacher is to student as doctor is to patient." This argument is based on:
View solution
Correct Option: A
Analogical — based on structural similarity (each has a guide/professional and a recipient/dependent).
Q 16
Mill Method
Hard
A researcher finds that all five villages where a disease occurred had a common contaminated well. She concludes the well is the cause. This is Mill's:
View solution
Correct Option: A
Common factor across cases where the phenomenon occurs = Method of Agreement.
Q 17
Mill Method
Hard
As fertiliser use increases, crop yield increases proportionally. The researcher concludes fertiliser causes yield. This is Mill's:
View solution
Correct Option: D
One variable changes systematically with another = Concomitant Variation.
Q 18
Hume
Hard
"The problem of induction" — that induction cannot logically guarantee its conclusions — is associated with:
View solution
Correct Option: A
David Hume (1748). Karl Popper later proposed falsificationism as the alternative.
Q 19
Aristotle
Medium
The four categorical propositions — A, E, I, O — were classified by:
View solution
Correct Option: A
Aristotle. A & I from Latin affirmo (I affirm); E & O from nego (I deny).
Q 20
Match
Medium
Match each reasoning type with its description:
| (i) | Deductive | (a) | Particular → General; probable |
| (ii) | Inductive | (b) | Best explanation for observation |
| (iii) | Abductive | (c) | Similarity-based |
| (iv) | Analogical | (d) | General → Particular; necessary |
View solution
Correct Option: A
Deductive → necessary general-to-particular; Inductive → probable particular-to-general; Abductive → best explanation; Analogical → similarity.
19.14 Quick Recall
ImportantQuick recall
- Reasoning = drawing conclusions from premises; two questions — direction & certainty.
- 5 main types: Deductive · Inductive · Abductive · Analogical · Critical.
- Deductive (Aristotle): general → particular; necessary if valid + true premises. Syllogism = 2 premises + conclusion.
- 4 categorical propositions: A (All S are P, universal affirmative) · E (No S are P) · I (Some S are P) · O (Some S are not P). From Latin affirmo / nego.
- Square of opposition: Contradictories (A↔︎O, E↔︎I) · Contraries (A↔︎E) · Subcontraries (I↔︎O) · Subalterns (A→I, E→O).
- 5 valid forms: Modus Ponens · Modus Tollens · Hypothetical Syllogism · Disjunctive Syllogism · Constructive Dilemma.
- 3 classic formal fallacies: Affirming the Consequent · Denying the Antecedent · Undistributed Middle.
- Inductive (Bacon 1620, Mill 1843): particular → general; probable. Sub-types: enumerative, causal, statistical, inductive analogy, predictive.
- Bacon (Novum Organum, 1620): 3 tables (agreement, difference, degrees).
- Mill (System of Logic, 1843) — 5 methods: Agreement · Difference · Joint · Residues · Concomitant Variation.
- Hume: problem of induction. Popper: falsificationism replaces inductivism.
- Abductive (Peirce): inference to best explanation. Used in detective, medical, scientific hypothesising.
- Analogical: A like B; A has P; therefore B probably has P. (Topic 23.)
- Critical: evaluative. 15+ informal fallacies — ad hominem · authority · emotion · ignorance · ad populum · straw man · red herring · false dilemma · slippery slope · petitio principii · hasty generalisation · post hoc · composition/division · equivocation · circular.
- Cognitive biases (Kahneman-Tversky): confirmation · anchoring · availability · representativeness · framing · hindsight · sunk-cost · loss aversion.
- Indian tradition: Nyāya pancāvayava — Pratijñā · Hetu · Udāharaṇa · Upanaya · Nigamana (Topic 25).
- Other reasoning sub-types: sequential, spatial, numerical, verbal, diagrammatic, coding-decoding, direction sense, blood relations, statement-conclusion/assumption/argument.