The 4 Types of Logical Propositions: Al-Mahsurat al-Arba' in Mantiq

The Four Forms of Truth: Mastering Quantifiers (Al-Sur)

In our last post, we looked at the anatomy of a proposition: the Subject (Mawdu') and the Predicate (Mahmul). But to be a master of logic, you must be precise about how many individuals you are talking about. This is known as the study of Al-Sur (The Quantifiers).

In Ilm al-Mantiq, we categorize every categorical statement into one of four "Standard Forms," known as Al-Mahsurat al-Arba'. Understanding these is the secret to never being tricked by broad generalizations.

The Four Standard Forms

Type	The Quantifier (Al-Sur)	Example
Universal Affirmative (Kulliyyah Mujabah)	"All", "Every", "Each"	"All humans are mortal."
Universal Negative (Kulliyyah Salibah)	"No", "None"	"No human is a stone."
Particular Affirmative (Juz'iyyah Mujabah)	"Some", "Many", "A few"	"Some students are poets."
Particular Negative (Juz'iyyah Salibah)	"Some... are not"	"Some animals are not predators."

Why is this distinction so important?

Many errors in debate happen because someone takes a Particular truth and tries to claim it is Universal. Logic teaches us to be honest with our quantifiers:

• If you see one dishonest person, you cannot say "All people are dishonest." You can only say "Some people are dishonest."
• To disprove a Universal Affirmative ("All birds fly"), you only need one Particular Negative ("Some birds do not fly," like the ostrich).

Did you know? In traditional Arabic Mantiq, the word Sur literally means "a fence" or "a wall." Just as a wall defines the boundaries of a city, the quantifier defines the boundaries of your statement.

Next Up: The Square of Opposition (Al-Tanaqud)

Now that we have the four forms, how do they interact? If one is true, does the other have to be false? In our next post, we will explore the Square of Opposition—the ultimate map for identifying contradictions!

Which of the four types do you use most in your writing? Share an example below!

Tags: #Mantiq #LogicBasics #Philosophy #Education #CriticalThinking #CategoricalPropositions