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: Keith Devlin's Online Course
Replies: 88   Last Post: Jan 5, 2014 9:31 PM

 Search Thread: Advanced Search

 Messages: [ Previous | Next ]
 Joe Niederberger Posts: 4,657 Registered: 10/12/08
Re: Keith Devlin's Online Course
Posted: Dec 30, 2013 2:11 PM
 Plain Text Reply

R Hansen says:
>I?ve checked into this, the votes for ?consistency? are substantial.

I see. I didn't know logic was a voting kind of thing, but new logics are always being invented I suppose.

Consistency means that you will never (properly) derive a statement and its negation. Suppose we investigate a new system in which the sign law is given as:

+ x + = +
+ x - = +
- - x + = -
- - x - = -

"The sign of the result is the same as the sign of the first factor".

You can easily find that the usual distributive law no longer holds. But so what? If we took the distributive law as a given (axiom) then we cannot use this new sign law, but if we are investigating a possible new system, we cannot assume all the results that follow from the starting points (not detailed here) of the old system.
(But, are there slightly different but similar laws that do hold?)

In short, your example of "inconsistency" is too narrow, and amounts to a kind of circular reasoning. Of course one cannot introduce new laws or identities willy-nilly into a already established system without possibly introducing inconsistency, but the usual system of integers in arithmetic is not the only possible consistent system hat uses the signs +, -, x, /.

So the question becomes -- is there a scheme for introducing "/" with signs that is compatible with the above sign laws for "x"? Obviously order of operands will now be important, although we are not used to thinking about that too much in ordinary arithmetic.

That is mathematical thinking, and explanation such matters ("what is consistency?") should be part of an introduction to mathematical logic.

Cheers,
Joe N

Date Subject Author
12/24/13 Robert Hansen
12/24/13 kirby urner
12/24/13 Robert Hansen
12/27/13 kirby urner
12/29/13 Robert Hansen
12/29/13 kirby urner
12/30/13 Robert Hansen
12/30/13 kirby urner
12/30/13 Robert Hansen
1/1/14 kirby urner
1/1/14 Robert Hansen
1/1/14 kirby urner
1/1/14 Robert Hansen
1/2/14 kirby urner
1/2/14 Robert Hansen
1/5/14 kirby urner
1/5/14 Robert Hansen
1/5/14 kirby urner
1/5/14 Robert Hansen
1/5/14 Robert Hansen
1/5/14 kirby urner
1/5/14 Robert Hansen
1/5/14 kirby urner
1/5/14 Robert Hansen
12/26/13 Joe Niederberger
12/29/13 Robert Hansen
12/28/13 GS Chandy
12/28/13 Joe Niederberger
12/30/13 kirby urner
12/29/13 GS Chandy
12/29/13 Robert Hansen
12/29/13 Robert Hansen
12/29/13 GS Chandy
12/29/13 GS Chandy
12/30/13 Robert Hansen
12/29/13 Joe Niederberger
12/30/13 Anna Roys
12/29/13 Joe Niederberger
12/30/13 Robert Hansen
12/29/13 Joe Niederberger
12/30/13 Robert Hansen
12/30/13 GS Chandy
12/31/13 GS Chandy
12/30/13 Joe Niederberger
12/30/13 Joe Niederberger
12/31/13 Robert Hansen
12/30/13 Joe Niederberger
12/30/13 Robert Hansen
1/1/14 Anna Roys
1/2/14 Robert Hansen
12/30/13 Joe Niederberger
12/30/13 Joe Niederberger
12/30/13 Joe Niederberger
12/31/13 GS Chandy
12/31/13 GS Chandy
12/31/13 GS Chandy
12/31/13 Joe Niederberger
12/31/13 Joe Niederberger
12/31/13 Louis Talman
1/1/14 Robert Hansen
1/1/14 GS Chandy
1/1/14 Robert Hansen
1/1/14 Louis Talman
1/1/14 GS Chandy
1/1/14 Robert Hansen
1/1/14 GS Chandy
1/2/14 GS Chandy
1/2/14 GS Chandy
1/2/14 Robert Hansen
1/2/14 GS Chandy
1/2/14 Robert Hansen
1/2/14 Louis Talman
1/3/14 Robert Hansen
1/3/14 Louis Talman
1/2/14 GS Chandy
1/2/14 GS Chandy
1/2/14 Robert Hansen
1/2/14 GS Chandy
1/3/14 Robert Hansen
1/3/14 GS Chandy
1/3/14 Robert Hansen
1/3/14 Robert Hansen
1/3/14 GS Chandy
1/4/14 Robert Hansen
1/4/14 GS Chandy
1/4/14 Robert Hansen
1/5/14 GS Chandy
1/5/14 Bishop, Wayne
1/5/14 Robert Hansen

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