Search All of the Math Forum:

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

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 ]
 Jonathan Crabtree Posts: 329 Registered: 12/19/10
Re: Is logic part of mathematics - or is mathematics part of logic?
Posted: Jul 5, 2013 6:54 PM

Pure Mathematics is the class of all propositions of the form 'p implies q' where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants.

And logical constants are all notions definable in terms of the following: Implication, the relation of a term to a class of which it is a member, the notion of such that, the notion of relation, and such further notions as may be involved in the general notion of propositions of the above form.

In addition to these, mathematics uses a notion which is not a constituent of the propositions which it considers, namely the notion of truth.

Source: Principles of Mathematics Bertrand Russell 1903
http://archive.org/stream/principlesofmath01russ#page/n35/mode/2up

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 Crabtree
7/5/13 GS Chandy
7/5/13 Robert Hansen
7/7/13 GS Chandy
7/5/13 GS Chandy