Lesson 17 · Induction (istiqrāʾ) and analogy (tamthīl)

Source: Book pp. 71–74.

The syllogism gives certainty because it moves from a general rule to what falls under it. But where do general rules come from? And what about reasoning from one case to a similar one? These are the other two kinds of proof from Lesson 12.

1. Induction (istiqrāʾ)

Istiqrāʾ: the mind's move from particular cases to a general rule.

You examine many kinds of animal and find that each moves its lower jaw when it chews, and you conclude: "Every animal moves its lower jaw when it chews."

Kind What is examined Gives
Complete (tāmm) every case certainty
Incomplete (nāqiṣ) some cases only probability

The puzzle. Almost all our general rules (fire burns, every human dies, two is half of four) rest on incomplete induction, since nobody can examine every fire or every human. Yet we feel certain of them. Is that certainty unjustified?

The book's answer: it depends on what the induction rests on.

  1. Bare counting of cases. Weak: one counterexample destroys it. Most logicians set this kind aside.
  2. Counting plus finding the cause (taʿlīl). While examining the cases, you discover why the attribute is there. Then the rule holds wherever the cause holds, and certainty is reached. "Water flows from higher to lower ground" needs only a few observations once the cause is understood. The book calls this the method of inference, or the scientific method. (If the supposed cause turns out to be wrong, the law must be revised.)
  3. Axioms. "The whole is greater than its part" is known once its terms are understood. This is not really induction at all.
  4. Identical cases. Prove that one triangle's angles equal two right angles, and you have proved it for every triangle, because in the respect that matters all triangles are one and the same.

So it is unfair to say every incomplete induction gives only probability. Induction built on bare counting does; induction built on a discovered cause, or on identical cases, can give certainty.

ʿAqīda link. Induction is everywhere in the Islamic sciences:

2. Analogy (tamthīl)

Tamthīl: giving one thing the ruling of another because they are alike.

The jurists call this qiyās, which is where the confusion with the logician's qiyās (the syllogism) comes from: one Arabic word, two technical meanings in two sciences (a manqūl, Lesson 4).

Its four pillars (in the standard fiqh example)

Pillar Meaning Example
Aṣl (root) the known case, with a known ruling khamr (grape wine)
Farʿ (branch) the new case nabīdh (date liquor)
Jāmiʿ / ʿilla (common factor) what the two share intoxication
Ḥukm (ruling) what passes from root to branch forbidden

Without a known ruling on the root, or without a real common factor, there is no analogy.

How strong is it?

Nabīdh intoxicates. Every intoxicant is forbidden. ∴ Nabīdh is forbidden. (Figure 1)

Proving that a feature is the complete cause is the hard part. In the Sharīʿa, the book says, the cause can only be known from the Sharīʿa itself.

A note on the book's position. The author is a Shīʿī scholar, and his remark that juristic qiyās is "destructive to religion" reflects his school, which rejects it except where the cause is stated in the text. The Sunni schools of uṣūl accept qiyās as the fourth source of law (after the Qurʾān, the Sunna and ijmāʿ) and have detailed methods for establishing the ʿilla (masālik al-ʿilla); the Ẓāhirīs reject it. The logical point stands for everyone: an analogy is only as strong as the proof that its common factor is the real cause.

ʿAqīda link: reasoning about the unseen. Can we reason from the seen (al-shāhid) to the unseen (al-ghāʾib), for example from created knowers to Allah?

Either way, both sides reject a plain tamthīl that would make Allah like His creation.

Quiz 17

  1. Complete or incomplete induction? Certainty or probability?
    • a) A teacher checks every exam paper in the class and finds that all passed.
    • b) Someone sees a hundred white swans and concludes all swans are white.
  2. What is the crocodile's role in the book's argument?
  3. Of the four bases for induction, which ones can give certainty, and why?
  4. Name the four pillars of analogy in: "Rice is like wheat in being sold by measure of volume (kayl), so ribā applies to it as it applies to wheat."
  5. Why does analogy by itself give only probability? When can it give certainty?
  6. Turn this analogy into a syllogism: "Nabīdh is forbidden like khamr, because it intoxicates."
  7. What does "qiyās" mean to a logician, and what does it mean to a jurist?
  8. What is qiyās al-awlā, and which verse is it based on?
  9. Review: fill in the hidden premise: "No one who eats food is a god, and ʿĪsā ate food."
Show answers
  1. a) complete, certainty · b) incomplete, probability (black swans exist)
  2. It is the unexamined case that breaks an incomplete induction: every animal examined moves its lower jaw, yet the crocodile moves its upper jaw.
  3. Counting plus finding the cause (the rule follows the cause wherever it is), and identical cases (one case stands for all). Axioms give certainty too, but they are not really induction. Bare counting does not.
  4. Aṣl: wheat. Farʿ: rice. Jāmiʿ/ʿilla: being sold by volume (this is the Ḥanafī view of the ʿilla; other schools name food, or storable staple food, instead). Ḥukm: ribā applies.
  5. Because likeness in some features does not prove likeness in the ruling. It gives certainty only when the shared feature is proven to be the complete cause of the ruling and is present in the new case.
  6. "Nabīdh intoxicates; every intoxicant is forbidden; ∴ nabīdh is forbidden." (Figure 1, mood 1; the ʿilla is the middle term.)
  7. To the logician, qiyās is the syllogism (certain, if its premises are). To the jurist, qiyās is the extension of a ruling by a shared ʿilla, which the logician calls tamthīl.
  8. The a fortiori argument: any perfection, free of defect, found in a creature belongs to the Creator more fittingly. Based on "to Allah belongs the highest description" (al-Naḥl 16:60).
  9. Hidden conclusion: "ʿĪsā is not a god." ("ʿĪsā ate food; no one who eats food is a god": Figure 1, mood 2.)