| Figure 2. Disjunctive Term u, Taken as Subject | | Figure 2. Disjunctive Term u, Taken as Subject |
− | In a similar but dual fashion to the preceding consideration, there is a gap between the the logical disjunction <math>u,\!</math> in lattice terminology, the ''least upper bound'' (''lub'') of the disjoined terms, <math>u = \operatorname{lub} ( \{ s_j : j = 1 ~\text{to}~ 4 \}),</math> and what we might regard as the ''natural disjunction'' or the ''natural lub'', namely, <math>v := \text{cloven-hoofed}.\!</math> | + | In a similar but dual fashion to the preceding consideration, there is a gap between the the logical disjunction <math>u,\!</math> in lattice terminology, the ''least upper bound'' (''lub'') of the disjoined terms, <math>u = \operatorname{lub} \{ s_1, s_2, s_3, s_4 \},</math> and what we might regard as the ''natural disjunction'' or the ''natural lub'', namely, <math>v := \text{cloven-hoofed}.\!</math> |
| Once again, the sheer implausibility of imagining that the disjunctive term <math>u\!</math> would ever be embedded exactly as such in a lattice of natural kinds, leads to the evident ''naturalness'' of the induction to <math>v \Rightarrow w,</math> namely, the rule that cloven-hoofed animals are herbivorous. | | Once again, the sheer implausibility of imagining that the disjunctive term <math>u\!</math> would ever be embedded exactly as such in a lattice of natural kinds, leads to the evident ''naturalness'' of the induction to <math>v \Rightarrow w,</math> namely, the rule that cloven-hoofed animals are herbivorous. |