ONT Re: Logic Of Relatives
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
LOR. Discussion Note 27
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
HC = Howard Callaway
HC: For, if I make an assertion A&B, then I am not asserting
that the statement A stands in a relation to a statement B.
Instead, I am asserting the conjunction A&B (which logically
implies both the conjuncts in view of the definition of "&").
Please try to remember where we came in. This whole play of
animadversions about 3-adicity and 3-identity is set against
the backdrop of a single point, over the issue as to whether
3-adic relations are wholly dispensable or somehow essential
to logic, mathematics, and indeed to argument, communication,
and reasoning in general. Some folks clamor "Off with their
unnecessary heads!" -- other people, who are forced by their
occupations to pay close attention to the ongoing complexity
of the processes at stake, know that, far from finding 3-ads
in this or that isolated corner of the realm, one can hardly
do anything at all in the ways of logging or mathing without
running smack dab into veritable hosts of them.
I have just shown that "a=b & b=c" involves a 3-adic relation.
Some people would consider this particular 3-adic relation to
be more complex than the 3-identity relation, but that may be
a question of taste. At any rate, the 3-adic aspect persists.
HC: If "&" counts as a triadic relation, simply because it serves
to conjoin two statements into a third, then it would seem that
any binary relation 'R' will count as triadic, simply because
it places two things into a relation, which is a "third" thing.
By the same kind of reasoning a triadic relation, as ordinarily
understood would be really 4-adic.
The rest of your comments are just confused,
and do not use the terms as they are defined.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o