What is Logicism?
Philosopher's are sometimes more eager to refute what their adversaries write than to understand what they mean.
I sometimes test out my ideas using an internet newsgroup or mailing list.
This is certainly a good way of discovering just how wide the difference can be between what you intend to say and what someone else takes you to mean.
In relation to logicism I have discovered by this means firstly that to make explicit distinction between logicism as a doctrine and logicism as a programme is desirable, since one is likely otherwise, while intending only to defend the view that mathematics is analytic, to be construed as defending the details of some unspecified historical logicist's failed attempt to demonstrate this claim.
Even when definitely discussing doctrine, beware of more or less similar accounts of the doctrine.
Statments by logicists about their beliefs: !
Statements about the meaning of logicism: *
- "the laws of arithmetic are analytic judgements" ([Frege80] p99) !
- mathematics is analytic
- the truths of mathematics are necessary truths
- the truths of mathematics are logically necessary
- "mathematics and logic are identical" ([Russell37] p v) !
- the truths of mathematics are reducible to logic
- the truths of mathematics are reducible to pure logic
- "the truths of mathematics are analytic and thus derivable from pure logic" ([Hatcher82] p73) *
- "all mathematics is derivable from universally valid logical principles" ([Hatcher82] p123) *
- the truths of mathematics are reducible to pure classical logic
- the truths of mathematics are reducible to truths derivable in a pure classical logic without use of an axiom of infinity
- the truths of mathematics are reducible to truths derivable in a pure classical logic in which no infinite collection can be shown to exist.
It may be that each of these statements means more or less the same as its predecessor, but they nevertheless proceed from a claim eminently worthy of defence to one which looks plainly false.
created 1996/3/2 modified 1996/3/2