كلما كان ب ج، فكل ج أ، وكل أ د
Whenever B is C, every C is A; and every A is D.
The first whole premise is connected: its consequent contains the categorical “Every C is A.” The other premise, “Every A is D,” is categorical in its own right.
We must distinguish the whole conditional from the categorical proposition embedded inside it. The common term A lets the categorical conclusions be chained under the condition.
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
كلما كان ب ج، فكل ج أ، وكل أ د
Whenever B is C, every C is A; and every A is D.
The first whole premise is connected: its consequent contains the categorical “Every C is A.” The other premise, “Every A is D,” is categorical in its own right.
We must distinguish the whole conditional from the categorical proposition embedded inside it. The common term A lets the categorical conclusions be chained under the condition.