The Two Sides of Conditionals: Composite Antecedents and Consequents

1. Two components and a new question

Earlier lessons explained connected and disjunctive conditionals, their quantifiers, and their quantity. The next issue is the internal structure of the antecedent and consequent: what kinds of proposition can occupy these positions?

“If Zayd is present, Amr is pleased” contains two categorical clauses. “If Zayd is present, then if Amr comes, Khalid will be pleased” has a categorical antecedent but a conditional consequent.

Both wholes are connected conditionals. The difference lies in the types of their internal components, not in the overall class of the sentence.

2. The source statement on conditional components

«طرفا الشرطية - أعني المقدم والتالي - لا حكم فيهما حين كونهما طرفين»
The two sides of a conditional, namely its antecedent and consequent, are not independently judged while they function as its two components.

This does not make those clauses meaningless or intrinsically incapable of forming assertions. The judgment made by the whole conditional concerns the specified relation between the sides; it does not necessarily assert each side as an actual fact.

“If it rains, the road will be wet” does not by itself assert that it is raining now or that the road is presently wet.

3. Independent judgment after analysis

«وبعد التحليل يمكن أن يعتبر فيهما حكم»
After analysis, a judgment may be considered in each of the two sides.

In “If the sun rises, daylight exists,” the overall statement is conditional. Extract “The sun is rising” and “Daylight exists” as independent declarative propositions and each can be evaluated separately for truth or falsity.

The claim that the components are not independently asserted within the whole therefore differs from the claim that they can be assessed once extracted. These two perspectives do not conflict.

4. Supposition does not equal affirmation

Supposing the antecedent and asserting its actual occurrence are different acts. “If Zayd travels, his house will remain locked” treats travel as a condition; it does not necessarily tell us that he is travelling now.

Likewise, the conditional does not automatically affirm the consequent as an independent present fact. It asserts a particular connection between the supposed antecedent and the consequent.

If we ignore this distinction, we may wrongly treat a conditional as two independently established assertions and distort its logical content.

5. Similar and different component-types

«فطرفاها إما شبيهان بحمليتين، أو متصلتين، أو منفصلتين، أو مختلفتين»
The two sides may be similar to two categorical propositions, two connected conditionals, two disjunctive conditionals, or may differ in kind.

Similar means that both sides have the same logical form, not identical wording or subject matter. Different means that the sides belong to different structural classes, such as a categorical and a connected conditional.

This simple division leads to the commentary's nine connected-conditional patterns and six disjunctive-conditional patterns.

6. The three elementary component types

Three basic proposition-types can occupy either position:
Categorical: “Zayd is present” predicates presence of a subject.
Connected conditional: “If Zayd comes, Amr leaves” relates antecedent and consequent.
Disjunctive: “The number is even or odd” presents alternatives.

A complete instance of any of these can itself occupy a component position within a larger conditional. Hence recognizing a few instances of “if” or “or” is not sufficient: identify which connective determines the outer structure of the whole.

7. Connected type 1: two categoricals

«كلما كان الشيء إنسانا فهو حيوان»
Whenever something is human, it is an animal.

The antecedent is “the thing is human” and the consequent is “it is an animal.” Each is categorical in form. The word “whenever” joins them within a universal connected conditional.

Do not mistake the isolated nouns “human” and “animal” for the two components. Each side contains a complete propositional content, and the two are linked by the outer conditional.

8. Connected type 2: two connected conditionals

The source's example first takes the connection “If something is human, it is an animal”, and then connects it to “If it is not an animal, it is not human.”

The full structure is “If the first conditional connection holds, the second conditional connection holds.” Thus the outer proposition is connected, while its antecedent is connected and its consequent is also connected.

One conditional can be a component of another. The inner “if” and the outer “if” perform different structural roles.

9. Connected type 3: two disjunctions

The source uses numerical alternatives: on one side, “the number is even or odd”, and on the other, whether it is divisible into equal parts or not.

Make the first entire disjunction the antecedent and the second entire disjunction the consequent of a new connection. The result is a connected conditional composed of two disjunctions.

“Even” and “odd” are alternatives within the inner antecedent. They are not themselves the two components of the outer conditional; each complete “or” statement forms one outer component.

10. Connected type 4: categorical then conditional

The source's first component states: «طلوع الشمس علة لوجود النهار»
The sun's rising is a cause of the existence of daylight.

The other component is itself a connected conditional: “Whenever the sun rises, daylight exists.” Structurally:
Antecedent: Sunrise is a cause of daylight — categorical.
Consequent: If sunrise occurs, daylight exists — connected conditional.

The outer “if … then …” therefore gives a categorical → connected construction.

11. Connected type 5: conditional then categorical

Reverse the arrangement. Let “If the sun rises, daylight exists” be the entire antecedent and “Sunrise is a condition for daylight” the categorical consequent.

Antecedent: a connected conditional.
Consequent: a categorical proposition.

The pair contains the same two component-types as the preceding slide but their conditional roles have been exchanged. Because antecedent and consequent play different roles in a connected conditional, this counts as another structural pattern.

12. Connected type 6: categorical then disjunctive

The source's numerical pattern takes “This is a number” as a condition and presents “It is even or odd” as the consequent.

Antecedent: “This is a number” — categorical.
Consequent: “It is even or odd” — disjunctive.

The “or” within the consequent makes that component disjunctive. But the whole statement remains a connected conditional because of its outer “if … then …” relation.

Analysis requires identifying complete clauses, not merely picking out the individual terms “number,” “even,” and “odd.”

13. Connected type 7: disjunctive then categorical

Reverse the earlier arrangement: “If the number is even or odd, it is a number.”

Antecedent: “It is even or odd” — disjunctive.
Consequent: “It is a number” — categorical.

An entire “or” proposition now serves as the supposed condition and a categorical assertion as the consequent. This is the disjunctive → categorical structural pattern.

Reversing the sides need not preserve truth; the present task is to recognize their form and placement, not to assume that all reversals yield valid inferences.

14. Connected type 8: connected then disjunctive

A connected conditional may be the entire antecedent of a larger conditional: “If the sun rises, daylight exists.” Its consequent may be a disjunction such as “Either the sun is rising or there is no daylight.”

Antecedent: an inner “if … then …” — connected.
Consequent: an inner “either … or …” — disjunctive.

The marginal commentary offers such constructions as structural examples. Their formal classification does not by itself establish that the outer implication is true or logically valid; that requires separate evaluation.

The point is that two distinct conditional forms can occupy the two sides of another connected conditional.

15. Connected type 9: disjunctive then connected

The last mixed pattern reverses those roles. The antecedent is a complete disjunction, such as “Either the sun is rising or daylight is absent,” while the consequent is a connected conditional, such as “If the sun rises, daylight exists.”

The two component-types remain the same, but the pattern differs in which serves as antecedent and which as consequent.

Together, this slide and the preceding one complete the two orders of the connected/disjunctive mixed pair in the source's structural enumeration.

16. Why order matters in connected conditionals

For a connected conditional, “If A then B” and “If B then A” ordinarily express different claims:
“If something is human, it is an animal” is universally correct.
“If something is an animal, it is human” is not universally correct; a horse is an animal.

The same predicates occur, but their order as antecedent and consequent changes the meaning. That is why categorical–connected and connected–categorical mixtures are separate connected patterns.

It does not follow that every reversal is false; only that reversal is not automatically equivalent.

17. Counting all nine connected patterns

The marginal note yields three same-type patterns plus three different-type pairs in two orders each.

Same-type:
1. Categorical / categorical
2. Connected / connected
3. Disjunctive / disjunctive
Mixed:
4. Categorical / connected
5. Connected / categorical
6. Categorical / disjunctive
7. Disjunctive / categorical
8. Connected / disjunctive
9. Disjunctive / connected

Thus 3 + (3 × 2) = 9. This counts internal component configurations, not modalities or quantifiers.

18. Order of alternatives in disjunction

The note explains that the antecedent of a connected conditional differs in its logical role from the consequent. The two alternatives of a disjunction are not distinguished in the same way.

“An integer is even or odd” and “An integer is odd or even” preserve the same basic alternatives. Reversing their verbal order does not generate a new disjunctive relation.

Therefore, for the mixed components of an outer disjunction, a categorical–connected pair and a connected–categorical pair are not counted as separate structural kinds.

19. Counting six disjunctive patterns

Either component of an outer disjunction may also be categorical, connected, or disjunctive. But reversing the verbal order of its two alternatives does not produce another basic structural class. Hence the total is six.

Same-type:
1. Categorical + categorical
2. Connected + connected
3. Disjunctive + disjunctive
Mixed:
4. Categorical + connected
5. Categorical + disjunctive
6. Connected + disjunctive

Thus 3 same-type + 3 mixed = 6. The connected total was nine because its two component positions have different roles.

20. Disjunction type 1: two categorical claims

«إما أن يكون العدد زوجا أو فردا»
Either the number is even or it is odd.

The first alternative, “The number is even,” is categorical, and so is the second, “The number is odd.” The disjunctive connector either … or relates these two complete claims.

Identifying just the nouns “even” and “odd” does not fully explain the structure. Each side is a proposition about the number, and the whole forms the first type of composite disjunction.

21. Disjunction type 2: two connected claims

One alternative of a larger disjunction may be “If the sun rises, daylight exists.” The other may be “If the sun rises, daylight does not exist.”

First alternative: a connected conditional, with its own antecedent and consequent.
Second alternative: another connected conditional.

The outer “or” joins these complete conditionals to form a disjunction of two connected conditionals. The outer statement is disjunctive even though each internal component is connected.

22. Disjunction type 3: two disjunctions

In the source's numerical illustration, one alternative is that the number is even or odd, while the other denies both alternatives within another disjunctive formulation.

The larger form is “Either the first disjunction, or the second disjunction.” Each of its two sides is itself a complete “or” structure. Hence this is a disjunction formed from two disjunctions.

The structural type of a sample and its actual truth are separate issues. We identify the full propositions under the outer disjunction before evaluating their truth.

23. Disjunction type 4: categorical plus connected

Consider: “Either Zayd is present, or if Amr comes, Khalid departs.”

First alternative: “Zayd is present” — categorical.
Second alternative: “If Amr comes, Khalid departs” — connected conditional.

The outer “either … or” joins these distinct component-types. Reversing the order leaves the same categorical/connected pair in the disjunction.

The example is meant to display the component pattern, not to establish the truth or inferential correctness of its two alternatives.

24. Disjunction type 5: categorical plus disjunctive

Example: “Either this sign is red, or this number is even or odd.”

At the outer level, “either … or” connects two components. The first, “This sign is red,” is categorical. The second, “This number is even or odd,” is itself disjunctive.

Unless we distinguish the inner and outer occurrences of “or,” we may incorrectly count three alternatives at the same level. At the outer level the entire inner disjunction functions as one component.

25. Disjunction type 6: connected plus disjunctive

Example: “Either if the sun rises, daylight exists; or the sun is rising or daylight is absent.”

First alternative: “If the sun rises, daylight exists” — connected.
Second alternative: “The sun is rising or daylight is absent” — disjunctive.

The outer form is a disjunction of a connected and a disjunctive conditional. The first side has an inner connection; the second has an inner separation.

The presence of both “if” and “or” in a passage is not enough for classification: determine the outermost connector first.

26. A reliable method for nested conditionals

Analyze a long nested conditional in this order:
1. Find the connective governing the whole: an outer “if … then” or an outer “either … or.”
2. Separate the two complete components of that outer connective.
3. Classify each component as categorical, connected, or disjunctive.
4. Record antecedent/consequent order for a connected whole, but do not count a mere reversal of disjunctive alternatives as a new type.

“If this is a number, then it is even or odd” is externally connected with a categorical antecedent and a disjunctive consequent. We cannot infer this structure from sentence length or word-count.

27. Structural recognition is not a proof

Knowing that an expression has a categorical antecedent and disjunctive consequent is a structural observation. It does not establish that the whole conditional is true, necessary, or proved by an argument.

For example, “If Zayd is present, the number will be even or odd” has an identifiable component pattern, yet the asserted relation still requires its own evaluation.

Keep logical form, truth, and inferential support distinct. That discipline matters when the text proceeds to relationships and rules governing propositions.

28. Summary and the next textual section

The components of a conditional are the two propositions related by its outer structure. Functioning as its sides does not itself independently affirm their contents, though an extracted declarative component can be evaluated on its own.

Each component can be categorical, connected, or disjunctive. For connected conditionals, three same-type plus six ordered mixed patterns give nine. For disjunctions, three same-type plus three unordered mixed pairs give six.

The method depends on complete component types and the outer connector, not just counting occurrences of “if” and “or.” The next textual section begins the separate study of contradiction and conversion.