The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » Education » math-teach

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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: 4,657
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.

Joe N

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.