home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2032 < prev    next >
Encoding:
Text File  |  1992-11-13  |  1.1 KB  |  26 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!agate!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  3. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  4. Subject: Re: Are all crows black? => Logic as an essential
  5. Message-ID: <1992Nov14.032808.17103@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <1duqtpINNjl1@columbia.cs.ubc.ca> <1992Nov12.231756.17396@husc3.harvard.edu> <1e1cnoINN74a@columbia.cs.ubc.ca>
  9. Date: Sat, 14 Nov 1992 03:28:08 GMT
  10. Lines: 14
  11.  
  12. In article <1e1cnoINN74a@columbia.cs.ubc.ca> kean@cs.ubc.ca (Alex Kean) writes:
  13. >>>> ....
  14. >>>>too many people graduating as it is without knowing the difference
  15. >>>>between "All men are mortal/Socrates is a man -> Socrates is mortal" and
  16. >>>>"All men are mortal/Socrates is mortal -> Socrates is a man".
  17. >>
  18. >
  19. >... the first form of inference as we know is deduction,
  20. >and the second form is actually know as abduction.
  21.  
  22. All men are mortal/Madonna is mortal -> Madonna is a man.  Guess she
  23. was abducted.
  24. -- 
  25. Vaughan Pratt              A fallacy is worth a thousand steps.
  26.