Mastering the Syllogism: How to Build Logical Proofs in Mantiq

The Heart of Logic: Building Certainty with Al-Qiyās (The Syllogism)

Mastering Deductive Proofs, Middle Terms, and Figures of Reasoning in Classical Logic

We have arrived at the absolute pinnacle of classical Islamic logic (ʿIlm al-Manṭiq). In our previous posts, we learned how to isolate individual concepts (Tasawwur), formulate precise definitions (At-Taʿrīf), structure categorical propositions (Qadāyā), and perform logical conversion (ʿAks Mustawī). However, logic truly unlocks its full power when we combine individual propositions to derive brand-new truths that were previously hidden from us. This formal deductive engine is known in Arabic as Al-Qiyās (الـقِـيَـاس - The Syllogism).

What is a Syllogism (Al-Qiyās)?

In formal Manṭiq, a syllogism is defined as a discourse composed of two or more categorical propositions which, when accepted as true, inherently yield a necessary new conclusion (An-Natījah). It represents the most rigorous method for establishing demonstrative certainty (Yaqīn) across legal theory (Uṣūl al-Fiqh), philosophy (Falsafah), and theology (ʿIlm al-Kalām).

A classical categorical syllogism consists of three core components:

1. The Minor Premise (Al-Muqaddimah as-Ṣughrā): The initial premise containing the minor term (the specific subject under evaluation).
2. The Major Premise (Al-Muqaddimah al-Kubrā): The broader rule or universal statement containing the major term (the overarching predicate).
3. The Conclusion (An-Natījah): The inevitable result born from joining the subject of the minor premise with the predicate of the major premise.

The Anatomy of a Proof

To see how these premises synthesize into demonstrative proof, consider this classical example:

Minor Premise (Ṣughrā): Socrates is a human (Suqrāṭ Insān).

Major Premise (Kubrā): Every human is mortal (Kullu Insān Fān).

---

Conclusion (Natījah): Therefore, Socrates is mortal (Suqrāṭ Fān).

The Secret Ingredient: The Middle Term (Al-Ḥadd al-Awsaṭ)

How do two separate premises link together to form a brand-new truth? They rely on a crucial conceptual "bridge" called Al-Ḥadd al-Awsaṭ (The Middle Term). In our example above, the concept "human" (Insān) serves as this bridge.

Notice that the middle term appears in both premises—it acts as the predicate of the minor premise and the subject of the major premise—yet it completely disappears in the conclusion. Its entire job is to connect the minor subject ("Socrates") directly to the major predicate ("mortality"). Once that connection is forged, the middle term steps aside, leaving behind an airtight conclusion.

The Four Figures (Al-Ashkāl al-Arbaʿah) and Rules of Validity

The position of the Middle Term determines the structural Figure (Shakl) of the syllogism. Classical logicians mapped out four possible figures based on where the middle term sits:

• Figure 1 (Al-Shakl al-Awwal): Middle term is the predicate of the minor premise and the subject of the major premise. This is the most natural, intuitive, and perfectly productive figure.
• Figure 2 (Al-Shakl al-Thānī): Middle term is the predicate of both premises.
• Figure 3 (Al-Shakl al-Thālith): Middle term is the subject of both premises.
• Figure 4 (Al-Shakl al-Rābiʿ): Middle term is the subject of the minor premise and the predicate of the major premise.

Essential Conditions for Validity in Figure 1:

1. The Minor Premise must be Affirmative (Mūjibah). If it is negative, no connection can be made.
2. The Major Premise must be Universal (Kulliyyah). If both premises are particular (e.g., "Some A is B. Some B is C"), no valid conclusion can be drawn because the bridge is too weak to ensure overlap!

"A logical system without Al-Qiyās is like an automobile without an engine. You may possess all the finest parts, but without a deductive engine, you cannot generate new knowledge."

The Next Step: Avoiding Logical Fallacies (Al-Mughālaṭah)

Now that you understand how to build a valid syllogisms and establish sound deductive proofs, you must learn how to defend yourself against flawed arguments. In our upcoming post, we will explore Al-Mughālaṭah (Logical Fallacies)—the common traps, structural errors, and rhetorical tricks used to deceive people in debates.

Practice Challenge: Can you build a valid Figure 1 syllogism using the middle term "Planet" (Kawkab)? Share your minor premise, major premise, and conclusion in the comments below!

Tags: #Mantiq #Logic #Syllogism #Qiyas #CriticalThinking #IslamicPhilosophy #Education #DeductiveReasoning