Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Education » math-teach

Topic: Is logic part of mathematics - or is mathematics part of logic?
Replies: 10   Last Post: Jul 9, 2013 4:09 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Joe Niederberger

Posts: 2,851
Registered: 10/12/08
Re: Is logic part of mathematics - or is mathematics part of logic?
Posted: Jul 8, 2013 11:33 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Robert Hansen says:
>If there was just an ounce of truth to your proposed relationship between language and logic then wouldn't logical people be the norm?

Quite the opposite. Cultural transmission (teaching and learnin) takes attention and work over a period of time. That means only some percentage will make it to the end point.

By your argument, there are people who walk around with fairly complete knowledge of propositional logic as a system, that just came to them naturally. And of all the other dozens of logics as well. Ha!

R Hansen says:
Seriously? I came up with "implication" all on my own...

I see. One day you sat down and wrote up the truth table for p -> q all by yourself. Then you added in a few more connectives, and set about proving soundness and completeness. Good job! We'll just clone your logic gene and achieve propagation that way.

Cheers,
Joe N



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.