Categorical Propositions: Singular, Natural, Quantified and Indefinite Forms

1. The scope of a proposition’s subject

The previous lesson established that a categorical proposition affirms or denies a predicate of a subject. Now ask a further question: to what, and to how many instances of it, does the judgment apply?

“Zayd is learned” concerns one particular person. “Every student is human” covers every member of a class. “Some students are present” concerns only part of that class.

This difference leads to singular, natural, quantified and indefinite categorical propositions. The concern is not just the subject word but whether the judgment is about a particular thing, a nature or a set of instances.

2. The basic subject-based classification

«وقد تقسم القضية باعتبار الموضوع»
A proposition may also be divided according to its subject.

When the subject is a true particular, the proposition is singular. With a universal subject, ask whether the judgment concerns the nature itself or its instances. A judgment about the nature is natural; a judgment about its instances is quantified or indefinite depending on whether their quantity is specified.

Particular identity, conceptual nature and the quantity of instances are distinct issues. The grammatical presence of a definite article alone does not determine the type.

3. The singular proposition

«سميت القضية شخصية ومخصوصة»
It is called a singular or particularized proposition.

A singular proposition has a determinate individual as subject, such as Zayd or this particular book. The judgment concerns that individual, not every human or every book.

“Zayd is standing” — the claim concerns Zayd.
“This book is useful” — the claim concerns one specified book.

The subject itself fixes the range of application; words such as “every” and “some” are unnecessary.

4. Singular is not the same as particular-quantified

“Zayd is writing” is about a specified individual, hence singular. “Some humans are writing” refers to some instances of a universal subject, hence a particular-quantified proposition.

Singular: a determinate individual — “This teacher is present.”
Particular-quantified: some members of a class — “Some teachers are present.”

Neither ranges over all members of a class, but they differ in kind. Singularity fixes an individual; particular quantification specifies a portion without identifying the individuals.

5. What is a natural proposition?

«القضية الطبيعية»
A natural proposition makes a judgment about a universal nature itself.

«الإنسان نوع»
Human is a species.

Here being a “species” is predicated of the universal concept and nature of human. It does not mean that Zayd or Amr as an individual is himself the logical universal “species.” Specieshood belongs to the nature considered universally.

Likewise, “Animal is a genus” predicates genushood of the universal animal concept, not of each individual animal as such.

6. Why a natural judgment concerns the nature

“Human is a species” and “Every human is an animal” both feature the term human, but their judgments differ in target.

Human is a species: a logical classification of human nature as universal.
Every human is an animal: predication of animality of every human individual.

If the first were applied to individuals, “Zayd is a species” would follow, which is not intended. The second applies to every individual such as Zayd and Amr. That is the distinction between a nature considered in itself and the instances of that nature.

7. The quantified proposition

When the subject is universal, the judgment concerns its instances, and the statement explicitly specifies all instances or some instances, the proposition is quantified (mahsurah).

«كل إنسان حيوان»
Every human is an animal.

The quantifier “every” includes all human instances.
“Some students are present” uses “some” to restrict the judgment to a portion of the subject class.

Such a proposition is called quantified because it states the quantity or range of the judgment over the subject's instances.

8. The indefinite proposition

«وإن لم يبين تسمى القضية مهملة»
If the quantity of individuals is not specified, the proposition is called indefinite.

«الإنسان في خسر»
Humanity is in loss.

The subject “human” is universal and the judgment concerns its instances, but the expression does not explicitly use a quantifier like “every” or “some.” It is therefore indefinite (muhmalah) in this classification.

An indefinite proposition is not meaningless or false for that reason. It contains an assertion but leaves the quantity unexpressed.

9. Do not confuse indefinite and natural propositions

“Human is a species” is natural because the assertion concerns the universal nature. “Humanity is in loss” is indefinite because the assertion relates to humans but leaves the scope of its individuals unstated.

Natural: a claim about the nature itself.
Indefinite: a claim about the nature's instances with no expressed quantity.

The distinction is not determined by the word “human” or its definite article. What matters is what the judgment is predicated of.

10. Comparing all four types

Compare expressions involving the same general subject but different targets of judgment.

Singular: “Zayd is human” — one determinate person.
Natural: “Human is a species” — the universal nature itself.
Quantified: “Every human is an animal” — explicitly every instance.
Indefinite: “Humans err” — a judgment about individuals but no stated quantifier.

Both quantified and indefinite forms can have a universal subject and concern its instances. In quantified propositions the range is explicit; in indefinite ones it is not stated in the form.

11. The four quantified categorical forms

«المحصورات أربع»
Quantified propositions are four in number.

1. Universal affirmative: the predicate is affirmed of every subject instance.
2. Particular affirmative: the predicate is affirmed of some instances.
3. Universal negative: the predicate is denied of every instance.
4. Particular negative: the predicate is denied of some instances.

The four forms arise from two independent distinctions: affirmation versus negation, and all versus some. These are called the quality and quantity of the proposition.

12. Universal affirmative: every S is P

«كل إنسان حيوان»
Every human is an animal.

“Human” is the subject, “animal” the predicate, and “every” marks affirmation across all subject instances. The proposition is therefore a universal affirmative.

Another example is “Every square is a four-sided figure.” The predicate is asserted of each square.

The word “every” does not simply imply a large number; it says the judgment applies without excluding any instance of the subject.

13. Particular affirmative: some S are P

«بعض الحيوان أسود»
Some animals are black.

“Some” designates part of the animal class, and blackness is affirmed of those instances. This is a particular affirmative.

“Some students have memorized the Qur’an” asserts that at least some students have that property. It does not entail that all remaining students lack it; the claim simply makes no commitment about them.

Thus logical “some” should not be confused with a conversational suggestion that the remaining members must be excluded.

14. Universal negative: no S is P

«لا شيء»
No thing / nothing.

When this expression denies a predicate of every subject instance in a quantified categorical proposition, it produces a universal negative. For example, “No triangle is a circle” denies circularity of every triangle.

Denial for every member differs from denial for just some members. “No triangle is a circle” has the first form; “Some figures are not circles” has the second.

15. Particular negative: some S are not P

«بعض الإنسان ليس بأسود»
Some humans are not black.

“Some” makes the quantity particular, while “is not” makes the judgment negative. It is therefore a particular negative. It does not say that no humans are black; it denies blackness only of part of the class.

A non-personal example is “Some numbers are not even”: there exist numbers not falling under the predicate even. This too is particular negation.

16. All four forms with one subject

Let the subject be “bird” and the predicate “flies.” Four combinations illustrate logical form; they are not offered as four simultaneously true claims.

Universal affirmative: Every bird flies.
Particular affirmative: Some birds fly.
Universal negative: No bird flies.
Particular negative: Some birds do not fly.

We first identify each proposition’s form, then assess its truth against the facts. Even a false statement retains its logical form.

17. Quantity and quality are separate dimensions

Quantity states whether the judgment covers all or some instances. Quality states whether the predicate is affirmed or denied.

“Every student is human” is universal and affirmative.
In ordinary languages “Not every student is present” and “Every student is not present” may be confused, although their scopes differ.

Use unambiguous logical forms:
“No students are present” — universal negative.
“Some students are not present” — particular negative.

Word order matters because the scope of negation changes the content of a proposition.

18. What is a quantifier (sūr)?

«الذي يبين به كمية الأفراد من الكلية والبعضية يسمى سوراً»
The expression that specifies the quantity of individuals is called a sūr (quantifier).

A quantifier is a term specifying the range of individuals to which a quantified proposition applies. The range may be universal or particular and may combine with an affirmative or negative assertion.

For example, “every” and “some” specify ranges, while “no” denies a predicate throughout the class.

Here sūr is a technical marker that delimits the judgment’s scope, not an ordinary word for a wall.

19. Markers of the universal affirmative

«كل»
Every, all.

«لام الاستغراق»
The definite article used to include all members of a class.

The text identifies both as markers of the universal affirmative. “Every human is an animal” uses an explicit “every”; in an appropriate context a generic definite expression may also be intended comprehensively.

But not every definite article indicates totality. Sometimes it denotes a particular referent or a nature. Context and intended reference must be considered before classifying a definite phrase as universally quantified.

20. Markers of the particular affirmative

«بعض»
Some members.

«واحد من»
One of the members.

These can mark a particular affirmative by asserting a predicate of part of a class.
“Some birds are aquatic” affirms aquatic character of some birds.
“One body is inanimate” affirms the predicate of one body.

To establish a single instance is to establish at least one, which falls within particular affirmation in this traditional classification.

21. Markers of the universal negative

«لا شيء»
No thing at all.

«ولا واحد»
Not even one member.

«ولا واحد من النار ببارد»
Not a single instance of fire is cold.

Here the predicate is denied not of a single selected individual but of the entire subject class. The proposition is a universal negative.

“No triangle has four sides” has the same logical form. Interpreting “none” as merely “some do not” would incorrectly change the proposition’s quantity.

22. Markers of the particular negative

«ليس بعض»
Not all members satisfy the predicate.

«بعض ليس»
Some members do not satisfy the predicate.

Both are discussed in connection with particular negatives, but the commentary distinguishes their direct meaning from what follows by implication.

“Some students are not present” directly asserts particular negation. “It is not the case that every student is present” directly denies a universal affirmative; in the traditional square of opposition, under its standard assumptions, particular negation follows.

23. Why the order of negation matters

The commentary explains that ليس بعض primarily negates a universal affirmative, while «بعض ليس» directly states a particular negative. Treating their forms as identical can obscure the logical scope of negation.

Compare:
“Not every bird flies” — denial of universal affirmation.
“Some birds do not fly” — particular negative predication.

Under familiar logical assumptions their outcomes are closely connected, yet what is expressed directly differs. That is the central distinction discussed in the source notes.

24. Indefinite terms in negative contexts

«ما من ماء إلا وهو رطب»
There is no water except that it is moist.

This expression contains a negative construction together with an exception introduced by “except.” The resulting sense affirms moisture of all water. Seeing an isolated negative particle is therefore not enough to call the whole statement universally negative.

The principle is to determine quantity and quality from the complete expression. Negation, exception, word order and context must be read together.

25. Do not infer quantity from polarity alone

“Zayd is not present” is negative but concerns a determinate individual; it is a negative singular proposition, not a universal negative.

“Some people are travelling” is affirmative but applies only to some; it is a particular affirmative, not a universal affirmative.

“No teacher is absent” denies absence of all teachers. Where negation and a negative-sounding predicate interact, first identify the predicate and the exact scope of the denial.

Evaluating quantity and quality separately makes the classification of the four quantified forms more reliable.

26. Worked classification: subject-based types

Classify these by the relation between subject and judgment:

“This tree bears fruit” — singular: one determinate tree.
“Human is a species” — natural: specieshood is attributed to the universal nature.
“Some trees bear fruit” — quantified: a specified portion of the class.
“Trees bear fruit” — indefinite: a claim about trees with no expressed quantifier.

Sentence length or word count is irrelevant. The key is whether the judgment concerns an individual, a nature, a stated range of individuals or an unstated range.

27. Worked classification: quantity and quality

Now determine the quantity and quality of quantified propositions:

“Every square is a figure” — universal affirmative: every square is affirmed to be a figure.
“Some flowers are fragrant” — particular affirmative: fragrance is affirmed of some flowers.
“No square is a circle” — universal negative: circularity is denied of all squares.
“Some flowers are not fragrant” — particular negative: fragrance is denied of some flowers.

First locate “every,” “some” or “none”; then decide whether the predicate is affirmed or denied.

28. Consolidation: kinds and quantifiers

Four subject-based types: singular (one specified individual), natural (a nature itself), quantified (an explicit range of instances), and indefinite (instances with no explicit range).

Four quantified forms: universal affirmative, particular affirmative, universal negative and particular negative. Their classification combines quantity and quality.

Quantifiers: expressions specifying the range of instances, including “every,” “some,” “none” and “not a single one.” Their exact scope must be determined from the whole statement.

The next section develops the meaning and kinds of predication: conceptual difference and unity in existence between subject and predicate.