الأربعة زوج
Four is an even number.
The immediate middle term is the criterion of being divisible into two equal integers. Four divides into two and two, so it is even.
The inference can be unfolded:
1. An integer divisible into two equal integers is even.
2. Four satisfies that condition.
3. Therefore four is even.
The explanatory middle term is ready to hand. That is why the textbook treats this as a fiṭrī proposition rather than an inference-free first principle.
Opening interactive controls...
Demonstration and the Six Kinds of Certain Premises
الأربعة زوج
Four is an even number.
The immediate middle term is the criterion of being divisible into two equal integers. Four divides into two and two, so it is even.
The inference can be unfolded:
1. An integer divisible into two equal integers is even.
2. Four satisfies that condition.
3. Therefore four is even.
The explanatory middle term is ready to hand. That is why the textbook treats this as a fiṭrī proposition rather than an inference-free first principle.