6 ideas
8226 | A well-posed problem is a problem solved [Bergson, by Deleuze/Guattari] |
Full Idea: Bergson said that a well-posed problem was a problem solved | |
From: report of Henri Bergson (works [1910]) by G Deleuze / F Guattari - What is Philosophy? 1.3 | |
A reaction: This is fairly well in tune with the logical positivist style of philosophising, which tends to ask "what exactly is the question?" rather more than it asks "what is the answer?". I thoroughly approve of both of them (e.g. on free will). |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
Full Idea: The mathematically significant properties and relations of natural numbers arise from the successor function that orders them; the natural numbers are identified simply as the objects that answer to this basic function. | |
From: Fraser MacBride (Structuralism Reconsidered [2007], §1) | |
A reaction: So Julius Caesar would be a number if he was the successor of Pompey the Great? I would have thought that counting should be mentioned - cardinality as well as ordinality. Presumably Peano's Axioms are being referred to. |
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'. |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
Full Idea: The identification of mathematical objects with positions in structures rests upon the prior credibility of the thesis that positions are objects in their own right. | |
From: Fraser MacBride (Structuralism Reconsidered [2007], §3) | |
A reaction: Sounds devastating, but something has to get the whole thing off the ground. This is why Resnik's word 'patterns' is so appealing. Patterns stare you in the face, and they don't change if all the objects making it up are replaced by others. |
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! |