🚀 go-pugleaf

In article <1992Nov4.170813.27890@CSD-NewsHost.Stanford.EDU> 
pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
>I have very mixed feelings about this.  Freshman math at Gunn High
>(where my 14 year old goes) started out this year with a couple of
>weeks of propositional logic before getting into geometry etc.  My
>intuitive feeling was that she got much less useful math out of the
>logic than out of the geometry.  On the other hand logic is fundamental
>to thought, and even if humans don't reason propositionally it is good
>to at least be aware of a logical system that they could plausibly
>reason in, albeit clumsily.

My logic professor brought up the story of Bertrand Russell.  I think
(correct me if I'm wrong), that he and a co-author set out to prove that
all math was based on logic, and it took them two volumes to logically
prove that 1+1=2.


-- 
Keith K. Higa                         Lewis & Clark College    
higa@lclark.edu                       Portland, OR, USA
In a hierarchy each member tends to rise to his/her level of incompetence.
                                 --The Peter Principle