home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2017 < prev    next >
Encoding:
Internet Message Format  |  1992-11-12  |  2.3 KB
  1. Xref: sparky sci.logic:2017 alt.uu.future:270
  2. Path: sparky!uunet!know!mips2!cass.ma02.bull.com!think.com!ames!agate!stanford.edu!rock!concert!borg!news_server!martinc
  3. From: martinc@hatteras.cs.unc.edu (Charles R. Martin)
  4. Newsgroups: sci.logic,alt.uu.future
  5. Subject: Re: Are all crows black? => Logic as an essential subject?
  6. Message-ID: <MARTINC.92Nov12021908@hatteras.cs.unc.edu>
  7. Date: 12 Nov 92 07:19:08 GMT
  8. References: <1992Nov8.072149.18855@CSD-NewsHost.Stanford.EDU>
  9.     <1992Nov8.193612.16707@lclark.edu> <BxGFw2.AJv@cck.coventry.ac.uk>
  10.     <1992Nov11.225953.231@galois.mit.edu>
  11. Sender: winslett@cs.unc.edu
  12. Followup-To: sci.logic
  13. Organization: UNC Department of Computer Science
  14. Lines: 28
  15. In-reply-to: jbaez@riesz.mit.edu's message of 11 Nov 92 22:59:53 GMT
  16.  
  17. In article <1992Nov11.225953.231@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes:
  18.  
  19.    In article <BxGFw2.AJv@cck.coventry.ac.uk> esz001@cck.coventry.ac.uk (Will Overington) writes:
  20.  
  21.    >Can I ask please, is syllogisms and the like what sci.logic is about,
  22.    >or am I missing something fundamental.
  23.  
  24.    Syllogisms are what logicians were up to in the Middle Ages, and there's
  25.    a lot of interesting stuff that has happened since.  (Actually logicians
  26.    were already doing lots of other stuff in the Middle Ages.)  In the late
  27.    1800's a study of the "foundations of mathematics" and logic began which
  28.    led to a lot of spectacular results in this century, such as Goedel's
  29.    theorems.  For a tour of logic you could do worse than to take a peek at
  30.    the entries about logic in the Encyclopedia of Philosophy.  And you can
  31.    read sci.logic to see what sorts of things people argue about.
  32.  
  33. Let's not put Will off of syllogistic logic, though, please.  There are
  34. too many people graduating as it is without knowing the difference
  35. between "All men are mortal/Socrates is a man -> Socrates is mortal" and
  36. "All men are mortal/Socrates is mortal -> Socrates is a man".
  37.  
  38. And while they're at it, they could learn about the classical fallacies.
  39. --
  40.         Charles R. Martin/(Charlie)/martinc@cs.unc.edu
  41.      Dept. of Computer Science/CB #3175 UNC-CH/Chapel Hill, NC 27599-3175
  42.         3611 University Dr #13M/Durham, NC 27707/(919) 419 1754
  43.      "Oh God, please help me be civil in tongue, pure in thought, and able
  44.       to resist the temptation to laugh uncontrollably.  Amen." -- Rob T
  45.