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: 8   Last Post: Jul 7, 2013 5:19 PM

 Messages: [ Previous | Next ]
 Clyde Greeno @ MALEI Posts: 220 Registered: 9/13/10
Re: Is logic part of mathematics - or is mathematics part of logic?
Posted: Jul 5, 2013 10:12 PM

Humbug!
Russell so went way out on the limb of "pure formalism", well before the
essence of mathematics was discerned. "Pure" mathematics entails
descriptions of KINDS of things that are being attended, together with
whatever logically substantial concepts and conclusions are derived from
those descriptions. That is how mankind created mathematics, and how it has
progressively refined mathematics, to become a specialized *art of
learning.* Outrageous formalism has done far more to inhibit mankind's
mathematical progress than to facilitate it.

Cordially,
Clyde
- --------------------------------------------------
From: "Jonathan Crabtree" <sendtojonathan@yahoo.com.au>
Sent: Friday, July 05, 2013 5:54 PM
To: <math-teach@mathforum.org>
Subject: Re: Is logic part of mathematics - or is mathematics part of logic?

> 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/5/13 Clyde Greeno @ MALEI
7/6/13 Robert Hansen
7/7/13 GS Chandy
7/7/13 GS Chandy
7/7/13 Joe Niederberger
7/7/13 Joe Niederberger
7/7/13 Robert Hansen
7/7/13 GS Chandy