6 ideas
18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
Full Idea: Sets of a very high type or very high cardinality (higher than the continuum, for example), should today be investigated in an 'if-then' spirit. | |
From: Hilary Putnam (The Philosophy of Logic [1971], p.347), quoted by Penelope Maddy - Naturalism in Mathematics | |
A reaction: Quine says the large sets should be regarded as 'uninterpreted'. |
18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
Full Idea: We may say that indispensability is a pretty strong argument for the existence of at least predicative sets, and a pretty strong, but not as strong, argument for the existence of impredicative sets. | |
From: Hilary Putnam (The Philosophy of Logic [1971], p.346), quoted by Penelope Maddy - Naturalism in Mathematics II.2 |
8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
Full Idea: Quantification over mathematical entities is indispensable for science..., therefore we should accept such quantification; but this commits us to accepting the existence of the mathematical entities in question. | |
From: Hilary Putnam (The Philosophy of Logic [1971], p.57), quoted by Stephen Yablo - Apriority and Existence | |
A reaction: I'm not surprised that Hartry Field launched his Fictionalist view of mathematics in response to such a counterintuitive claim. I take it we use numbers to slice up reality the way we use latitude to slice up the globe. No commitment to lines! |
12697 | Indivisibles are not parts, but the extrema of parts [Leibniz] |
Full Idea: Indivisibles are not parts, but the extrema of parts. | |
From: Gottfried Leibniz (Pacidius Philalethi dialogue [1676], A6.3.565-6), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 1 | |
A reaction: This is incipient monadology, that the bottom level of division ceases to be parts of a thing, and arrives at a different order of entity, to explain the parts of things. Leibniz denies that this subdivision comes down to points. |
3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
Full Idea: Nozick suggests that knowledge is just belief which 'tracks the truth' (hence leaving out justification). | |
From: report of Robert Nozick (Philosophical Explanations [1981]) by Michael Williams - Problems of Knowledge Ch. 2 |
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. |