The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » Education » math-teach

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   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
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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.

- --------------------------------------------------
From: "Jonathan Crabtree" <>
Sent: Friday, July 05, 2013 5:54 PM
To: <>
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

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

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