In Mysticism and Logic, Russell says that :
"Pure mathematics consists entirely of assertions to the effect that, if such and such a proposition is true of anything, then such and such another proposition is true of that thing. It is essential not to discuss whether the first proposition is really true, and not to mention what the anything is, of which it is supposed to be true. […] Thus mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true."
I understand in which sense the theorems of a mathematical system can be considered as conditionally true statements: they are true if axioms and definitions are assumed as hypothesis.
But, is Russell's claim correct regarding axioms?
If Russell's claim were correct, then the axioms of a mathematical system could not be considered as true in this system, for, apparently, they do not play the role of consequent in any conditional statement belonging to this system.
Does not this consequence contradict the standard thesis according to which the axioms of a deductive system are true in this system?
Remark. can one say that axiom A is true because : A –> A is true?
But in a mathematical system, an axiom has not the form : A –> A, but the categorical form : A.
Best Answer
Mathematics, logicians and concomitant philosophers distinguish between explicit and implicit definitions. If you've seen plenty of mathematical definitions but haven't thought or read much about foundations, you're probably only familiar with the former. The latter is what axioms often provide. Let me explain with some examples.
What is a group? If you don't know the definition, feel free to Google it. It's a list of "group axioms". A group is anything satisfying those axioms; that's an explicit definition. Any theorem saying "all groups are like this" is provable as-is, which sounds contra Russell. (The proof might use stronger rules of inference than someone else is comfortable with, but let's assume we fix these rules so we know which theorems count. Besides, Russell doesn't seem to be talking about that subtlety anyway.)
On the other hand, what is a set? Ooh, that's harder. I can copy-paste my preferred axiomatic set theory, let's say ZFC or whatever. Then we have an explicit definition of the models of ZFC, just as the group axioms explicitly define "groups", which might be given the more long-winded label "models of group theory". (But that's probably not a useful description, since theorems talking about relationships between groups are of greater interest than theorems talking about relationships between models of ZFC, until you're doing mathematics that goes far beyond working in ZFC itself.) What we don't have, however, is an explicit definition of the sets in ZFC. We only have an implicit definition, in the form of axioms making claims about what they're like.
So, are axioms claims of the form "if X then Y" rather than just Y? I suppose you could formulate each ZFC axiom as "this holds if we're taking about sets". But even if we do, I don't think that addresses the point Russell was trying to make. His point was that if mathematics has to assume something to prove Y, but X suffices, "if X then Y" needs nothing to be proven (again, this either folds rules of inference into the claim or doesn't consider them to be a "something" we're assuming), but Y does. This usually only matters if you're either getting your head around your first X-violator, or trying to understand why any philosopher would say your favourite theorem, as you would word it without so many assumptions spelled out, isn't a tautology.
So as you see, foundations are a complex interplay of rules of inference, axioms and definitions, and the last two overlap.