# What does if-then has to do with not being true?

I'm reading Chihara's: Constructibility and Mathematical Existence. It says:

An even more radical view rejects the assumption that mathematics is true—at least in the straightforward way that mathematics is believed to be true by the Literalist philosophers. At one point, Hilary Putnam espoused such a view of mathematics. Making use of some ideas of the early Bertrand Russell, Putnam argued that “pure mathematics consists of assertions to the effect that if anything is a model for a certain system of axioms, then it has certain properties” (Thesis, p. 294).

According to this, rejecting that mathematics is true has something to do with using if-then. But at least intuitively, I don't see the use of if-then as something not being true, but as something that could be true or something that could be false. So what would be truth? I guess that the idea of truth would have something to do with tautologies (in which it could not be false).

• What does it mean that mathematics is true? It doesn't make sense to me. – user2345215 Jan 11 '15 at 0:03
• And ....when we assert that if anything is a model for a certain set of axioms, then it has certain properties ... are we allowed to care whether that assertion is true? – WillO Jan 11 '15 at 0:10
• @user2345215 I suspect that it means roughly that when you put two and then three apples in an ordinary bag, then the bag will contain five apples. Contrast it with the same statement prefixed with "If natural numbers are an accurate model of apples in a bag, then ..." – dtldarek Jan 11 '15 at 0:12
• For Putnam's thesis, see his Mathematics, Matter, and Method (1975), page 12-on. – Mauro ALLEGRANZA Jan 13 '15 at 15:06