* Ron Isaacson <Ron.Isaacson-/PgpppG8B+R7qynMiXIxWgC/G2K4zDHf@xxxxxxxxxxxxxxxx>
[July 02 2004, 03:01]:
> Roger Burton West wrote:
> > On Thu, Jul 01, 2004 at 06:18:51PM -0400, Ron Isaacson wrote:
> > >Or is the "No X are Y" form assumed to be symmetric?
> > Well, if no X is a Y, then no Y can be an X - otherwise that X would be
> > a Y.
>
> Hmm. I guess you need to assume that the facts all relate to physical
> things, for which equality relationships are always symmetric.
> (Certainly not true of formal logic...)
The whole task is sorta about Aristotle syllogisms, which are a
simple case of formal logic with certain assumptions. Wikipedia has
much information on the subject.
--
Alex Kapranoff.
|
