home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1958 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  1.8 KB
  1. Xref: sparky sci.logic:1958 alt.uu.future:259
  2. Newsgroups: sci.logic,alt.uu.future
  3. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Tarski.Stanford.EDU!casley
  4. From: casley@Tarski.Stanford.EDU (Ross Casley)
  5. Subject: Re: Are all crows black? => Logic as an essential subject?
  6. Message-ID: <1992Nov8.072149.18855@CSD-NewsHost.Stanford.EDU>
  7. Sender: news@CSD-NewsHost.Stanford.EDU
  8. Organization: Computer Science Department, Stanford University.
  9. References: <Bx5DIB.8qF@cck.coventry.ac.uk> <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU> <1992Nov5.182513.25397@lclark.edu>
  10. Date: Sun, 8 Nov 1992 07:21:49 GMT
  11. Lines: 26
  12.  
  13. In article <1992Nov5.182513.25397@lclark.edu> higa@lclark.edu (Keith Higa) writes:
  14. >My logic professor brought up the story of Bertrand Russell.  I think
  15. >(correct me if I'm wrong), that he and a co-author set out to prove that
  16. >all math was based on logic, and it took them two volumes to logically
  17. >prove that 1+1=2.
  18. >
  19.  
  20. The other author is Whitehead.  The work is "Principia Mathematica".  Russell
  21. and Whitehead argue against the position, advanced by Immanuel Kant, that
  22. mathematical truths are neither empirical (to be established by observation)
  23. nor "analytic" (to be established by reasoning about the meanings of words).
  24. They do this by showing that mathematical truths are analytic after all.
  25. They manage to develop a good deal of the basics of mathematical logic
  26. along the way.
  27.  
  28. It does take a lot of work to get to a position where a statement that is
  29. clearly mathematical is clearly analytic too.  But that doesn't seem to 
  30. have any bearing on whether it is worthwhile to learn elementary logic
  31. in high school.
  32.  
  33. -Ross
  34.  
  35. PS  Who drew the cartoon with a customer saying to a waiter "Yes,
  36. the addition seems correct, but I am concerned that the axioms of arithmetic
  37. may be inconsistent thus rendering the computation invalid?"
  38.  
  39.