12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Information = Comprehension × Extension (view source)
Revision as of 17:50, 30 March 2009
, 17:50, 30 March 2009→Discussion
Figure 2 depicts the situation that we have before us.
Figure 2 depicts the situation that we have before us.
{| align="center" cellspacing="6" width="90%"
| align="center" |
<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 2. Disjunctive Term u, Taken as Subject
Figure 2. Disjunctive Term u, Taken as Subject
</pre></center><br>
</pre>
|}
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.
