home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2034 < prev    next >
Encoding:
Internet Message Format  |  1992-11-13  |  1.8 KB
  1. Path: sparky!uunet!gumby!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
  5. Date: 13 Nov 1992 15:11:52 -0800
  6. Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
  7. Lines: 44
  8. Message-ID: <1e1cnoINN74a@columbia.cs.ubc.ca>
  9. References: <MARTINC.92Nov12021908@hatteras.cs.unc.edu> <1duqtpINNjl1@columbia.cs.ubc.ca> <1992Nov12.231756.17396@husc3.harvard.edu>
  10. NNTP-Posting-Host: columbia.cs.ubc.ca
  11.  
  12. In article <1992Nov12.231756.17396@husc3.harvard.edu> zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  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. >AK:
  20. >>I have not graduated yet, what is the difference?
  21. >
  22. >Validity.  (This is truly depressing.)
  23. >
  24.  
  25. Very true. In fact, the first form of inference as we know is deduction,
  26. and the second form is actually know as abduction. It is correct that
  27. abduction is not truth preserving, nevertheless, it is a form of inference
  28. used widely in our everyday life. My curiosity for posting stamps from 
  29. my interest on abduction, the non-truth preserving inference, but is used
  30. commonly enough *as if it is truth preserving*.
  31.  
  32.  
  33. >AK:
  34. >>Best Regards,
  35. >
  36. >Have you considered a career in feminist computer science?
  37. >
  38.  
  39. I have not graduated yet, what is feminist computer science?
  40.  
  41. Best Regards,
  42.  
  43. Alex Kean <kean@cs.ubc.ca>
  44.  
  45. Department of Computer Science           
  46. University of British Columbia
  47. 6356 Agricultural Road,
  48. Vancouver, British Columbia
  49. Canada V6T 1Z2
  50.  
  51. Tel: +1 (604)-822-3061
  52. Fax: +1 (604)-822-5485
  53.  
  54.  
  55.  
  56.