home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2018 < prev    next >
Encoding:
Internet Message Format  |  1992-11-12  |  1.1 KB
  1. Path: sparky!uunet!destroyer!cs.ubc.ca!columbia.cs.ubc.ca!not-for-mail
  2. From: kean@cs.ubc.ca (Alex Kean)
  3. Newsgroups: sci.logic
  4. Subject: Re: Are all crows black? => Logic as an essential subject?
  5. Date: 12 Nov 1992 15:55:37 -0800
  6. Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
  7. Lines: 24
  8. Message-ID: <1duqtpINNjl1@columbia.cs.ubc.ca>
  9. References: <BxGFw2.AJv@cck.coventry.ac.uk> <1992Nov11.225953.231@galois.mit.edu> <MARTINC.92Nov12021908@hatteras.cs.unc.edu>
  10. NNTP-Posting-Host: columbia.cs.ubc.ca
  11.  
  12. In article <MARTINC.92Nov12021908@hatteras.cs.unc.edu> martinc@hatteras.cs.unc.
  13. >
  14. >Let's not put Will off of syllogistic logic, though, please.  There are
  15. >too many people graduating as it is without knowing the difference
  16. >between "All men are mortal/Socrates is a man -> Socrates is mortal" and
  17. >"All men are mortal/Socrates is mortal -> Socrates is a man".
  18. >
  19.  
  20. I have not graduated yet, what is the difference?
  21.  
  22. Best Regards,
  23.  
  24. Alex Kean <kean@cs.ubc.ca>
  25.  
  26. Department of Computer Science           
  27. University of British Columbia
  28. 6356 Agricultural Road,
  29. Vancouver, British Columbia
  30. Canada V6T 1Z2
  31.  
  32. Tel: +1 (604)-822-3061
  33. Fax: +1 (604)-822-5485
  34.  
  35.  
  36.