Re: Are all crows black? => Logic as an essential subject?

Article View: sci.logic

Article #373

#373

From: Charles R. Martin
Date: Fri, 13 Nov 1992 19:32

23 lines
1736 bytes

In article <1duqtpINNjl1@columbia.cs.ubc.ca> kean@cs.ubc.ca (Alex Kean) writes:

   In article <MARTINC.92Nov12021908@hatteras.cs.unc.edu> martinc@hatteras.cs.unc.
   >
   >Let's not put Will off of syllogistic logic, though, please.  There are
   >too many people graduating as it is without knowing the difference
   >between "All men are mortal/Socrates is a man -> Socrates is mortal" and
   >"All men are mortal/Socrates is mortal -> Socrates is a man".
   >

   I have not graduated yet, what is the difference?

Please god, tell me he's kidding.

On the off chance you're not kidding, let's try another example: if I
say "all trees are green" and I look at a green shirt, can I conclude
that since it's green, it must be a tree?
--
		Charles R. Martin/(Charlie)/martinc@cs.unc.edu
     Dept. of Computer Science/CB #3175 UNC-CH/Chapel Hill, NC 27599-3175
	    3611 University Dr #13M/Durham, NC 27707/(919) 419 1754
     "Oh God, please help me be civil in tongue, pure in thought, and able
      to resist the temptation to laugh uncontrollably.  Amen." -- Rob T

Technical Details

Message-ID: <MARTINC.92Nov13143221@hatteras.cs.unc.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!concert!borg!news_server!martinc

References:

<BxGFw2.AJv@cck.coventry.ac.uk> <1992Nov11.225953.231@galois.mit.edu> <MARTINC.92Nov12021908@hatteras.cs.unc.edu> <1duqtpINNjl1@columbia.cs.ubc.ca>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!concert!borg!news_server!martinc
From: martinc@hatteras.cs.unc.edu (Charles R. Martin)
Newsgroups: sci.logic
Subject: Re: Are all crows black? => Logic as an essential subject?
Message-ID: <MARTINC.92Nov13143221@hatteras.cs.unc.edu>
Date: 13 Nov 92 19:32:21 GMT
References: <BxGFw2.AJv@cck.coventry.ac.uk> <1992Nov11.225953.231@galois.mit.edu>
 <MARTINC.92Nov12021908@hatteras.cs.unc.edu>
 <1duqtpINNjl1@columbia.cs.ubc.ca>
Sender: news@cs.unc.edu
Organization: UNC Department of Computer Science
Lines: 23
In-reply-to: kean@cs.ubc.ca's message of 12 Nov 92 23:55:37 GMT

Reply to Parent Message