home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2056 < prev    next >
Encoding:
Internet Message Format  |  1992-11-16  |  2.4 KB
  1. Xref: sparky sci.logic:2056 alt.uu.future:274
  2. Newsgroups: sci.logic,alt.uu.future
  3. Path: sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm
  4. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  5. Subject: Re: Are all crows black? => Logic as an essential subject?
  6. Originator: sasghm@theseus.unx.sas.com
  7. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  8. Message-ID: <BxtBFp.L9z@unx.sas.com>
  9. Date: Mon, 16 Nov 1992 14:11:48 GMT
  10. References: <1992Nov8.072149.18855@CSD-NewsHost.Stanford.EDU> <1992Nov8.193612.16707@lclark.edu> <BxG27n.2Cs@cck.coventry.ac.uk> <1992Nov9.153536.3892@ariel.ec.usf.edu>
  11. Nntp-Posting-Host: theseus.unx.sas.com
  12. Organization: SAS Institute Inc.
  13. Lines: 38
  14.  
  15.  
  16. In article <1992Nov9.153536.3892@ariel.ec.usf.edu>, mccolm@darwin.math.usf.edu. (Gregory McColm) writes:
  17.  
  18. |> "Proof theory", which is based on the idea of having some 
  19. |> hypotheses and using rules of inference to generate 
  20. |> conclusions, all within some artificial language, has 
  21. |> Aristotle's syllogisms as the oldest example.  200 yrs ago, 
  22. |> Kant said that Logic had not progressed since Aristotle, 
  23.  
  24. This is, of course, incorrect (gasp!  Kant wrong?).  A look at
  25. the late medievals suffices to show some significant differences
  26. to Aristotle.  Even before that there were some improvements.
  27. Note, for instance, that the common example (also given in this
  28. thread) of
  29.  
  30.     All men are mortal.
  31.     Socrates is a man.
  32.     Therefore, Socrates is mortal.
  33.  
  34. is not in fact an *Aristotlean* syllogism, but a Galenic syllogism.
  35. (It is the presence of the *particular* term 'Socrates' that is
  36. at issue here.)
  37.  
  38. |> and it wasn't until Boole, DeMorgan, & co., that Logic 
  39. |> began its modern adventure:  what happened was the appearance 
  40. |> of abstract algebra.  A lot of sci.logic is on the modern 
  41. |> systems (eg, Peano's Predicate Calculus under Goedel's rules 
  42. |> of inference) which are still quite Aristotilean.
  43.  
  44. The late medievals knew (and argued at some length) that Aristotle's
  45. logic was inadequate.  (See in particular Jean Buridan's _Sophisms
  46. on Meaning and Truth_.)  Unfortunately, although they had some quite
  47. sophisticated ideas and some very good contributions at the semantic
  48. level, they never developed a good notation for formalization.
  49. -- 
  50. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  51. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  52. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  53.