home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1931 < prev    next >
Encoding:
Internet Message Format  |  1992-11-07  |  1.7 KB
  1. Xref: sparky sci.logic:1931 alt.uu.future:256
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!olivea!spool.mu.edu!yale.edu!qt.cs.utexas.edu!cs.utexas.edu!uwm.edu!ogicse!lclark!higa
  3. From: higa@lclark.edu (Keith Higa)
  4. Newsgroups: sci.logic,alt.uu.future
  5. Subject: Re: Are all crows black? => Logic as an essential subject?
  6. Message-ID: <1992Nov5.182513.25397@lclark.edu>
  7. Date: 5 Nov 92 18:25:13 GMT
  8. References: <1992Oct30.172420.1@eagle.wesleyan.edu> <Bx5DIB.8qF@cck.coventry.ac.uk> <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU>
  9. Organization: Lewis & Clark College, Portland OR
  10. Lines: 22
  11.  
  12. In article <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU> 
  13. pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  14. >I have very mixed feelings about this.  Freshman math at Gunn High
  15. >(where my 14 year old goes) started out this year with a couple of
  16. >weeks of propositional logic before getting into geometry etc.  My
  17. >intuitive feeling was that she got much less useful math out of the
  18. >logic than out of the geometry.  On the other hand logic is fundamental
  19. >to thought, and even if humans don't reason propositionally it is good
  20. >to at least be aware of a logical system that they could plausibly
  21. >reason in, albeit clumsily.
  22.  
  23. My logic professor brought up the story of Bertrand Russell.  I think
  24. (correct me if I'm wrong), that he and a co-author set out to prove that
  25. all math was based on logic, and it took them two volumes to logically
  26. prove that 1+1=2.
  27.  
  28.  
  29. -- 
  30. Keith K. Higa                         Lewis & Clark College    
  31. higa@lclark.edu                       Portland, OR, USA
  32. In a hierarchy each member tends to rise to his/her level of incompetence.
  33.                                  --The Peter Principle
  34.