Article View: sci.logic
Article #375Re: Are all crows black? => Logic as an essential
From: Vaughan R. Pratt
Date: Sat, 14 Nov 1992 03:28
Date: Sat, 14 Nov 1992 03:28
14 lines
1183 bytes
1183 bytes
In article <1e1cnoINN74a@columbia.cs.ubc.ca> kean@cs.ubc.ca (Alex Kean) writes: >>>> .... >>>>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". >> > >... the first form of inference as we know is deduction, >and the second form is actually know as abduction. All men are mortal/Madonna is mortal -> Madonna is a man. Guess she was abducted. -- Vaughan Pratt A fallacy is worth a thousand steps.
Technical Details
Message-ID:
<1992Nov14.032808.17103@CSD-NewsHost.Stanford.EDU>Path:
arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!ames!agate!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!prattReferences:
<1duqtpINNjl1@columbia.cs.ubc.ca> <1992Nov12.231756.17396@husc3.harvard.edu> <1e1cnoINN74a@columbia.cs.ubc.ca>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!ames!agate!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) Subject: Re: Are all crows black? => Logic as an essential Message-ID: <1992Nov14.032808.17103@CSD-NewsHost.Stanford.EDU> Sender: news@CSD-NewsHost.Stanford.EDU Organization: Computer Science Department, Stanford University. References: <1duqtpINNjl1@columbia.cs.ubc.ca> <1992Nov12.231756.17396@husc3.harvard.edu> <1e1cnoINN74a@columbia.cs.ubc.ca> Date: Sat, 14 Nov 1992 03:28:08 GMT Lines: 14