|
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.
|
|
13857
|
Truth-functional possibilities include the irrelevant, which is a mistake [Edgington]
|
|
Full Idea:
How likely is a fair die landing on an even number to land six? My approach is, assume an even number, so three possibilities, one a six, so 'one third'; the truth-functional approach is it's true if it is not-even or six, so 'two-thirds'.
|
|
From:
Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 3)
|
|
A reaction:
The point is that in the truth-functional approach, if the die lands not-even, then the conditional comes out as true, when she says it should be irrelevant. She seems to be right about this.
|
|
13853
|
It is a mistake to think that conditionals are statements about how the world is [Edgington]
|
|
Full Idea:
The mistake philosophers have made, in trying to understand the conditional, is to assume that its function is to make a statement about how the world is (or how other possible worlds are related to it), true or false, as the case may be.
|
|
From:
Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1)
|
|
A reaction:
'If pigs could fly we would never catch them' may not be about the world, but 'if you press this switch the light comes on' seems to be. Actually even the first one is about the world. I've an inkling that Edgington is wrong about this. Powers!
|
|
13854
|
Conditionals express what would be the outcome, given some supposition [Edgington]
|
|
Full Idea:
It is often necessary to suppose (or assume) that some epistemic possibility is true, and to consider what else would be the case, or would be likely to be the case, given this supposition. The conditional expresses the outcome of such thought processes.
|
|
From:
Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1)
|
|
A reaction:
This is the basic Edgington view. It seems to involve an active thought process, and imagination, rather than being the static semantic relations offered by possible worlds analyses. True conditionals state relationships in the world.
|