13416
|
Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C]
|
|
Full Idea:
The axiomatic conception of mathematics is the only viable one. ...But they are true because they are axioms, in contrast to the view advanced by Frege (to Hilbert) that to be a candidate for axiomhood a statement must be true.
|
|
From:
report of William W. Tait (Intro to 'Provenance of Pure Reason' [2005], p.4) by Charles Parsons - Review of Tait 'Provenance of Pure Reason' §2
|
|
A reaction:
This looks like the classic twentieth century shift in the attitude to axioms. The Greek idea is that they must be self-evident truths, but the Tait-style view is that they are just the first steps in establishing a logical structure. I prefer the Greeks.
|
20769
|
Sphaerus he was not assenting to the presence of pomegranates, but that it was 'reasonable' [Sphaerus, by Diog. Laertius]
|
|
Full Idea:
When Sphaerus accepted pomegranates from the king, he was accused of assenting to a false presentation, to which Sphaerus replied that what he had assented to was not that they were pomegranates, but that it was reasonable that they were pomegranates.
|
|
From:
report of Sphaerus (fragments/reports [c.240 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.177
|
|
A reaction:
He then cited the stoic distinction between a 'graspable' presentation and a 'reasonable' one. This seems a rather helpful response to Dretske's zebra problem. I like the word 'sensible' in epistemology, because animals can be sensible.
|