|
9558
|
All scientific tests will verify mathematics, so it is a background, not something being tested [Sober]
|
|
Full Idea:
If mathematical statements are part of every competing hypothesis, then no matter which hypothesis comes out best in the light of observations, they will be part of the best hypothesis. They are not tested, but are a background assumption.
|
|
From:
Elliott Sober (Mathematics and Indispensibility [1993], 45), quoted by Charles Chihara - A Structural Account of Mathematics
|
|
A reaction:
This is a very nice objection to the Quine-Putnam thesis that mathematics is confirmed by the ongoing successes of science.
|
|
17555
|
'One' can mean undivided and not a multitude, or it can add measurement, giving number [Aquinas]
|
|
Full Idea:
There are two sorts of one. There is the one which is convertible with being, which adds nothing to being except being undivided; and this deprives of multitude. Then there is the principle of number, which to the notion of being adds measurement.
|
|
From:
Thomas Aquinas (Quaestiones de Potentia Dei [1269], q3 a16 ad 3-um)
|
|
A reaction:
[From a lecture handout] I'm not sure I understand this. We might say, I suppose, that insofar as water is water, it is all one, but you can't count it. Perhaps being 'unified' and being a 'unity' are different?
|
|
2748
|
A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]
|
|
Full Idea:
Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth").
|
|
From:
report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1
|
|
A reaction:
This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that.
|