9226
|
If mathematical theories conflict, it may just be that they have different subject matter [Field,H]
|
|
Full Idea:
Unlike logic, in the case of mathematics there may be no genuine conflict between alternative theories: it is natural to think that different theories, if both consistent, are simply about different subjects.
|
|
From:
Hartry Field (Recent Debates on the A Priori [2005], 7)
|
|
A reaction:
For this reason Field places logic at the heart of questions about a priori knowledge, rather than mathematics. My intuitions make me doubt his proposal. Given the very simple basis of, say, arithmetic, I would expect all departments to connect.
|
13231
|
Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M]
|
|
Full Idea:
My proposal is that an explanatory proof makes reference to the 'characterizing property' of an entity or structure mentioned in the theorem, where the proof depends on the property. If we substitute a different object, the theory collapses.
|
|
From:
Mark Steiner (Mathematical Explanation [1978], p.34)
|
|
A reaction:
He prefers 'characterizing property' to 'essence', because he is not talking about necessary properties, since all properties are necessary in mathematics. He is, in fact, reverting to the older notion of an essence, as the core power of the thing.
|