Search All of the Math Forum:

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

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: 52   Last Post: Jul 5, 2013 1:27 AM

 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 2, 2013 9:30 AM

G S Chandy
>Our previous exchanges at this thread clearly indicate that the 'world of academic scholarship and convivial discussion' itself has thus far failed to "say what 'mathematics' and 'logic' may mean

This is quite absurd. This is large body of literature from the last 150 years which shows that people have not only agreed to fix the terms math and logic precisely enough to discuss, study, and draw conclusions, they've delved into incredibly precise details about exactly how, why and where logic fails to capture "classical" mathematics, and this has led to a profusion of new understandings about logical systems, formal systems, axiomatics, new sorts of restricted mathematics, etc. etc. etc.

That was the entire point of my first response to this thread.

On the other hand, when you print in all capital letters "IS INCLUDED IN", I have no idea what you mean. Do you mean set theoretical inclusion? Why not say so? Or if its not, how does it differ? As I pointed out, if you do mean something like that then the notion that logic "IS INCLUDED IN" math is quite out there on the spectrum of craziness. Why bother?

As far as I can tell ps+g doesn't even turn over, much less take off.

Cheers,
Joe N

------- End of Forwarded Message

Date Subject Author
6/28/13 GS Chandy
6/28/13 Wayne Bishop
6/28/13 Joe Niederberger
6/30/13 GS Chandy
6/29/13 GS Chandy
6/29/13 Joe Niederberger
6/29/13 Joe Niederberger
6/30/13 Robert Hansen
6/30/13 stefen
7/1/13 GS Chandy
6/30/13 Joe Niederberger
6/30/13 Joe Niederberger
6/30/13 GS Chandy
7/1/13 GS Chandy
7/1/13 GS Chandy
7/1/13 Joe Niederberger
7/2/13 Robert Hansen
7/2/13 Wayne Bishop
7/3/13 Robert Hansen
7/3/13 Louis Talman
7/3/13 Wayne Bishop
7/4/13 Robert Hansen
7/1/13 GS Chandy
7/1/13 GS Chandy
7/2/13 Joe Niederberger
7/2/13 Joe Niederberger
7/2/13 Robert Hansen
7/2/13 GS Chandy
7/2/13 GS Chandy
7/3/13 GS Chandy
7/3/13 Joe Niederberger
7/3/13 Robert Hansen
7/3/13 Joe Niederberger
7/3/13 Anna Roys
7/3/13 Joe Niederberger
7/3/13 Robert Hansen
7/3/13 Wayne Bishop
7/3/13 Robert Hansen
7/3/13 Joe Niederberger
7/3/13 Joe Niederberger
7/3/13 Joe Niederberger
7/3/13 Robert Hansen
7/3/13 Joe Niederberger
7/3/13 Robert Hansen
7/3/13 GS Chandy
7/3/13 GS Chandy
7/3/13 Joe Niederberger
7/3/13 Robert Hansen
7/4/13 Wayne Bishop
7/4/13 Joe Niederberger
7/4/13 Joe Niederberger
7/4/13 Joe Niederberger
7/5/13 Robert Hansen