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: 8   Last Post: Jul 7, 2013 5:19 PM

Advanced Search

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

Posts: 3,279
Registered: 10/12/08
Re: Is logic part of mathematics - or is mathematics part of logic?
Posted: Jul 7, 2013 12:24 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Clyde Greeno says:
>Humbug!
Russell so went way out on the limb of "pure formalism", well before the essence of mathematics was discerned. "Pure" mathematics entails descriptions of KINDS of things that are being attended, together with whatever logically substantial concepts and conclusions are derived from
those descriptions.

Russell was simply trying to rescue what Frege had done (which had then been undone the by Russell.) And if you can throw out actual infinities, then it kind of works. It is a deeply involved (convoluted) way to look at "numbers", but it was done for technical reasons, which most people today need never concern themselves with if they do not want to. But I don't think most people ever need concern themselves with set theoretical constructions of numbers either, which is as "standard" an account as you are likely to get.

I think most people accept (counting) numbers as a kind of intuitive given*, that don't really need further "foundations" or justifications, except as yet another game to be played in the field of mathematics. There is no reason I can think of that children should be taught that the "number 3" is *really, really, really*, ....

(Here's a standard something that 3 is "really"):
0 = { }
1 = {0} = {{ }}
2 = {0, 1} = {0, {0}} = {{ }, {{ }}}
3 = {0, 1, 2} = {0, {0}, {0, {0}}} ={{ }, {{ }}, {{ }, {{ }}}}

The logicists, including Frege and Russell, were simply trying to find a way out of the challenges and paradoxes that the emerging set theory and new acceptance of actual infinities had thrust on the scene.

I see no need to get emotional about it - Russell didn't do bad things to young children. In fact, the distinctions and deeper understandings that arose from the whole "crises in foundations" period and its reverberations are numerous and amazing. Godel's incompleteness theorem being just one, and justly famous. But in fact, almost the whole of computability theory can be considered part of the reverberations. That Godel took particular interest in "Principia Mathematica" says a lot for is pedigree, I think.

I also think your claim that since then the "essence of mathematics discerned" is a fait accompli, all clear and luminous, whereas before all those old humbugs were just deeply in blackest error, is completely fatuous.

Cheers,
Joe N

*There is some renewed interest in "how numbers arise" in our minds, a sort of neuro-cognitive approach like Dehaene, which, if you can't say its a continuation or even a reverberation, still would not be possible without what had gone before.



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.