| 9916 | Convention, yes! Arbitrary, no! [Poincaré, by Putnam] |
| Full Idea: Poincaré once exclaimed, 'Convention, yes! Arbitrary, no!'. | |
| From: report of Henri Poincaré (talk [1901]) by Hilary Putnam - Models and Reality | |
| A reaction: An interesting view. It mustn't be assumed that conventions are not rooted in something. Maybe a sort of pragmatism is implied. |
| 8684 | Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality [Russell/Whitehead, by Friend] |
| Full Idea: Russell and Whitehead are particularly careful to avoid paradox, and consider the paradoxes to indicate that we create mathematical reality. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Michèle Friend - Introducing the Philosophy of Mathematics 3.1 | |
| A reaction: This strikes me as quite a good argument. It is certainly counterintuitive that reality, and abstractions from reality, would contain contradictions. The realist view would be that we have paradoxes because we have misdescribed the facts. |
| 14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
| Full Idea: A very reasonable position would be to accept the integers as primitive entities and then use sets to form higher entities. | |
| From: Paul J. Cohen (Set Theory and the Continuum Hypothesis [1966], 5.4), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? | |
| A reaction: I find this very appealing, and the authority of this major mathematician adds support. I would say, though, that the integers are not 'primitive', but pick out (in abstraction) consistent features of the natural world. |
| 15939 | For intuitionists it is constructed proofs (which take time) which make statements true [Dummett] |
| Full Idea: For an intuitionist a mathematical statement is rendered true or false by a proof or disproof, that is, by a construction, and constructions are effected in time. | |
| From: Michael Dummett (Elements of Intuitionism [1977], p.336), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
| A reaction: Lavine is quoting this to draw attention to the difficulties of thinking of it as all taking place 'in time', especially when dealing with infinities. |
| 18068 | Arithmetic is made true by the world, but is also made true by our constructions [Kitcher] |
| Full Idea: I want to suggest both that arithmetic owes its truth to the structure of the world and that arithmetic is true in virtue of our constructive activity. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2) | |
| A reaction: Well said, but the problem seems no more mysterious to me than the fact that trees grow in the woods and we build houses out of them. I think I will declare myself to be an 'empirical constructivist' about mathematics. |
| 18069 | Arithmetic is an idealizing theory [Kitcher] |
| Full Idea: I construe arithmetic as an idealizing theory. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2) | |
| A reaction: I find 'generalising' the most helpful word, because everyone seems to understand and accept the idea. 'Idealisation' invokes 'ideals', which lots of people dislike, and lots of philosophers seem to have trouble with 'abstraction'. |
| 18070 | We develop a language for correlations, and use it to perform higher level operations [Kitcher] |
| Full Idea: The development of a language for describing our correlational activity itself enables us to perform higher level operations. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2) | |
| A reaction: This is because all language itself (apart from proper names) is inherently general, idealised and abstracted. He sees the correlations as the nested collections expressed by set theory. |
| 18072 | Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher] |
| Full Idea: The constructivist ontological thesis is that mathematics owes its truth to the activity of an actual or ideal subject. The epistemological thesis is that we can have a priori knowledge of this activity, and so recognise its limits. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5) | |
| A reaction: The mention of an 'ideal' is Kitcher's personal view. Kitcher embraces the first view, and rejects the second. |
| 9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
| Full Idea: I call my new approach to mathematics 'proceduralism'. It agrees with Hilbert and Poincaré that the objects and truths are postulations, but takes them to be imperatival rather than indicative in form; not propositions, but procedures for construction. | |
| From: Kit Fine (Our Knowledge of Mathematical Objects [2005], Intro) | |
| A reaction: I'm not sure how an object or a truth can be a procedure, any more than a house can be a procedure. If a procedure doesn't have a product then it is an idle way to pass the time. The view seems to be related to fictionalism. |
| 9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
| Full Idea: My Proceduralism has one simple rule (introduce an object), and four complex rules: Composition (combining two procedures), Conditionality (if A, do B), Universality (do a procedure for every x), and Iteration (rule to keep doing B). | |
| From: Kit Fine (Our Knowledge of Mathematical Objects [2005], 1) | |
| A reaction: It sounds like a highly artificial and private game which Fine has invented, but he claims that this is the sort of thing that practising mathematicians have always done. |
| 10255 | Presumably nothing can block a possible dynamic operation? [Shapiro] |
| Full Idea: Presumably within a dynamic system, once the constructor has an operation available, then no activity can preclude the performance of the operation? | |
| From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.5) | |
| A reaction: There seems to be an interesting assumption in static accounts of mathematics, that all the possible outputs of (say) a function actually exist with a theory. In an actual dynamic account, the constructor may be smitten with lethargy. |
| 10254 | Can the ideal constructor also destroy objects? [Shapiro] |
| Full Idea: Can we assume that the ideal constructor cannot destroy objects? Presumably the ideal constructor does not have an eraser, and the collection of objects is non-reducing over time. | |
| From: Stewart Shapiro (Philosophy of Mathematics [1997], 6.5) | |
| A reaction: A very nice question, which platonists should enjoy. |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| Full Idea: Constuctivists link truth with constructive proof, but necessarily lack constructions for many highly desirable results of classical mathematics, making their account of mathematical truth rather implausible. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: The tricky word here is 'desirable', which is an odd criterion for mathematical truth. Nevertheless this sounds like a good objection. How flexible might the concept of a 'construction' be? |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| Full Idea: If we define p as '3 if Goldbach's Conjecture is true' and '5 if Goldbach's Conjecture is false', it seems that p must be a prime number, but, amazingly, constructivists would not accept this without a proof of Goldbach's Conjecture. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 8) | |
| A reaction: A very similar argument structure to Schrödinger's Cat. This seems (as Brown implies) to be a devastating knock-down argument, but I'll keep an open mind for now. |
| 8706 | Constructivism rejects too much mathematics [Friend] |
| Full Idea: Too much of mathematics is rejected by the constructivist. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 5.1) | |
| A reaction: This was Hilbert's view. This seems to be generally true of verificationism. My favourite example is that legitimate speculations can be labelled as meaningless. |