5 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! |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
Full Idea: Heyting (the intuitionist pupil of Brouwer) said that 'logic is dependent on mathematics', not the other way round. | |
From: report of Arend Heyting (Intuitionism: an Introduction [1956]) by Stewart Shapiro - Thinking About Mathematics 7.3 | |
A reaction: To me, this claim makes logicism sound much more plausible, as I don't see how mathematics could get beyond basic counting without a capacity for logical thought. Logic runs much deeper, psychologically and metaphysically. |
16640 | Form is the principle that connects a thing's constitution (rather than being operative) [Hill,N] |
Full Idea: Form is the state and condition of a thing, a result of the connection among its material principles; it is a constituting principle, not an operative one. | |
From: Nicholas Hill (Philosophia Epicurea [1610], n 35) | |
A reaction: Pasnau presents this as a denial of form, but it looks to me like someone fishing for what form could be in a more scientific context. Aristotle would have approved of 'principles'. Hill seems to defend the categorical against the dispositional. |