home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1998 < prev    next >
Encoding:
Internet Message Format  |  1992-11-11  |  1.3 KB
  1. Xref: sparky sci.logic:1998 alt.uu.future:268
  2. Newsgroups: sci.logic,alt.uu.future
  3. Path: sparky!uunet!snorkelwacker.mit.edu!galois!riesz!jbaez
  4. From: jbaez@riesz.mit.edu (John C. Baez)
  5. Subject: Re: Are all crows black? => Logic as an essential subject?
  6. Message-ID: <1992Nov11.225953.231@galois.mit.edu>
  7. Sender: news@galois.mit.edu
  8. Nntp-Posting-Host: riesz
  9. Organization: MIT Department of Mathematics, Cambridge, MA
  10. References: <1992Nov8.072149.18855@CSD-NewsHost.Stanford.EDU> <1992Nov8.193612.16707@lclark.edu> <BxGFw2.AJv@cck.coventry.ac.uk>
  11. Date: Wed, 11 Nov 92 22:59:53 GMT
  12. Lines: 13
  13.  
  14. In article <BxGFw2.AJv@cck.coventry.ac.uk> esz001@cck.coventry.ac.uk (Will Overington) writes:
  15.  
  16. >Can I ask please, is syllogisms and the like what sci.logic is about,
  17. >or am I missing something fundamental.
  18.  
  19. Syllogisms are what logicians were up to in the Middle Ages, and there's
  20. a lot of interesting stuff that has happened since.  (Actually logicians
  21. were already doing lots of other stuff in the Middle Ages.)  In the late
  22. 1800's a study of the "foundations of mathematics" and logic began which
  23. led to a lot of spectacular results in this century, such as Goedel's
  24. theorems.  For a tour of logic you could do worse than to take a peek at
  25. the entries about logic in the Encyclopedia of Philosophy.  And you can
  26. read sci.logic to see what sorts of things people argue about.
  27.