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: Keith Devlin's Online Course
Replies: 88   Last Post: Jan 5, 2014 9:31 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,298
Registered: 10/12/08
Re: Keith Devlin's Online Course
Posted: Dec 30, 2013 2:11 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic 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
Read Keith Devlin's Online Course
Robert Hansen
12/24/13
Read Re: Keith Devlin's Online Course
kirby urner
12/24/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/27/13
Read Re: Keith Devlin's Online Course
kirby urner
12/29/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/29/13
Read Re: Keith Devlin's Online Course
kirby urner
12/30/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/30/13
Read Re: Keith Devlin's Online Course
kirby urner
12/30/13
Read Re: Keith Devlin's Online Course
Robert Hansen
1/1/14
Read Re: Keith Devlin's Online Course
kirby urner
1/1/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/1/14
Read Re: Keith Devlin's Online Course
kirby urner
1/1/14
Read Why Casual Programming doesn't Exist
Robert Hansen
1/2/14
Read Re: Why Casual Programming doesn't Exist
kirby urner
1/2/14
Read Re: Why Casual Programming doesn't Exist
Robert Hansen
1/5/14
Read Re: Why Casual Programming doesn't Exist
kirby urner
1/5/14
Read Re: Why Casual Programming doesn't Exist
Robert Hansen
1/5/14
Read Re: Why Casual Programming doesn't Exist
kirby urner
1/5/14
Read Re: Why Casual Programming doesn't Exist
Robert Hansen
1/5/14
Read Re: Why Casual Programming doesn't Exist
Robert Hansen
1/5/14
Read Re: Why Casual Programming doesn't Exist
kirby urner
1/5/14
Read Re: Why Casual Programming doesn't Exist
Robert Hansen
1/5/14
Read Re: Why Casual Programming doesn't Exist
kirby urner
1/5/14
Read Re: Why Casual Programming doesn't Exist
Robert Hansen
12/26/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/29/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/28/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/28/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
kirby urner
12/29/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/29/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/29/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/29/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/29/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/30/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/29/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Anna Roys
12/29/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/29/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/30/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/31/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/30/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/31/13
Read Re: Keith Devlin's Online Course
Robert Hansen
12/30/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Robert Hansen
1/1/14
Read Re: Keith Devlin's Online Course
Anna Roys
1/2/14
Read Re: Keith Devlin's Online Course
Robert Hansen
12/30/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/30/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/31/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/31/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/31/13
Read Re: Keith Devlin's Online Course
GS Chandy
12/31/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/31/13
Read Re: Keith Devlin's Online Course
Joe Niederberger
12/31/13
Read Re: Keith Devlin's Online Course
Louis Talman
1/1/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/1/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/1/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/1/14
Read Re: Keith Devlin's Online Course
Louis Talman
1/1/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/1/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/1/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/2/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/2/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/2/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/2/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/2/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/2/14
Read Re: Keith Devlin's Online Course
Louis Talman
1/3/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/3/14
Read Re: Keith Devlin's Online Course
Louis Talman
1/2/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/2/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/2/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/2/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/3/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/3/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/3/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/3/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/3/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/4/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/4/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/4/14
Read Re: Keith Devlin's Online Course
Robert Hansen
1/5/14
Read Re: Keith Devlin's Online Course
GS Chandy
1/5/14
Read Re: Keith Devlin's Online Course
Bishop, Wayne
1/5/14
Read Re: Keith Devlin's Online Course
Robert Hansen

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.