Re: A Proposal Regarding Logical Connectives in Vulcan I
Saul Epstein 
Thu, 11 Dec 1997 21:02:24 -0600

An excellent and overwhelming treatment which, as far as I can tell,
respects everything we already know. I have anly one question (at
least for now). You describe the relationship of material implication
as similar to that expressed by English "X only if Y" and material
equivalence as similar to "X if and only if Y." From the truth
tables, implication seems to mean that the first term's truth varies
somewhat indepently of the second's. That is, X --> Y is true if Y is
true or if both are false, and false otherwise. Equivalence seems to
mean that the two terms' truth is entirely dependent. That is, X <-->
Y is true if both terms are true or both terms are false, and false
otherwise.

If I have this right, did you mean to say that implication is similar
to "X if Y" while equivalence is similar to "X if and only if Y?"
Because I don't see the difference between "only if" and "if and only
if." Just curious.

From: Rob Zook <rzook*informix,com>
Date: Wednesday, December 10, 1997 6:17 PM

> Next post I'll talk about a proposal concerning prepositional 
> connectives.

I look forward to hearing what you mean by prepositional connectives.
The kinds of things typically called prepositions in English would
seem to have a reduced role in Vulcan because of its inflected cases.

--
from Saul Epstein
liberty*uit,net
www,johnco,cc,ks,us/~sepstein
"Surak ow'phaaper thes'hi thes'tca'; thes'phaadjar thes'hi
suraketca'."
							-- K'dvarin Urswhl'at