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: 32   Last Post: Jul 7, 2013 9:03 PM

 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 5, 2013 2:11 PM

>Calm down, it's not like we're all sitting in the same room and can discuss this stuff fluidly. I don't think formal or informal has anything to do with it. You want to teach something like ...

>From http://plato.stanford.edu/entries/logic-ancient/#LogAchBesProLog:

"Logic as a discipline starts with the transition from the more or less unreflective use of logical methods and argument patterns to the reflection on and inquiry into these and their elements, including the syntax and semantics of sentences."

I think that's right. Its based on unreflective language
which is an automatic part of our thinking and use of language, a "gift" so to speak -- I think that captures what both you and Clyde have pointed out about "modus ponens" in particular.

I would think its important to start with informal logic based on ordinary sentences, rather than say, symbolic propositional logic (which is always motivated by mapping to natural language anyway.)

(Although, I suppose, some kids who have a knack, start with "WFFs and Proofs" early on too. I think Kirby mentioned once he played it at an early age. My father brought it home one day while I was in grade school, but I couldn't get interested in it at the time. I read just now it was invented to teach law students -- interesting that I learned logic finally in 10th grade from a law student.)

Reflective use is not automatic. It took centuries of development to distill the rarified concepts
that, simple as they seem when they are presented to you *as* distilled concepts, underlie, say, propositional logic.

Aristotle, for example, did not seem to ever *reflect* on modus ponens in particular.

cheers,
Joe N

Date Subject Author
7/4/13 Clyde Greeno
7/4/13 Robert Hansen
7/4/13 Joe Niederberger
7/4/13 GS Chandy
7/4/13 Robert Hansen
7/5/13 Louis Talman
7/5/13 GS Chandy
7/5/13 GS Chandy
7/5/13 GS Chandy
7/5/13 Robert Hansen
7/5/13 Joe Niederberger
7/5/13 Robert Hansen
7/6/13 Wayne Bishop
7/6/13 Robert Hansen
7/6/13 Robert Hansen
7/7/13 Wayne Bishop
7/7/13 Robert Hansen
7/6/13 Wayne Bishop
7/5/13 Joe Niederberger
7/5/13 Joe Niederberger
7/5/13 Robert Hansen
7/5/13 Joe Niederberger
7/5/13 Robert Hansen
7/5/13 Louis Talman
7/6/13 Robert Hansen
7/6/13 Robert Hansen
7/6/13 Louis Talman
7/5/13 Jonathan J. Crabtree
7/5/13 GS Chandy
7/5/13 Robert Hansen
7/7/13 GS Chandy
7/5/13 GS Chandy