6 ideas
| 9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
| Full Idea: My Proceduralism offers axiom-free foundations for mathematics. Axioms give way to the stipulation of procedures. We obtain a form of logicism, but with a procedural twist, and with a logic which is ontologically neutral, and no assumption of objects. | |
| From: Kit Fine (Our Knowledge of Mathematical Objects [2005], 1) | |
| A reaction: [See Ideas 9222 and 9223 for his Proceduralism] Sounds like philosophical heaven. We get to take charge of mathematics, without the embarrassment of declaring ourselves to be platonists. Someone, not me, should evaluate this. |
| 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. |
| 16980 | We need a logical use of 'object' as predicate-worthy, and an 'ontological' use [Strawson,P] |
| Full Idea: There is a good case for a conservative reform of the word 'object'. Objects in the 'logical' sense would be all predicate-worthy identifiabilia whatever. Objects in the 'ontological' sense would form one ontological category among many others. | |
| From: Peter F. Strawson (Entity and Identity [1978], I n4) | |
| A reaction: This ambiguity has caused me no end of confusion (and irritation!). I wish philosophers wouldn't hijack perfectly good English words and give them weird meanings. Nice to have a distinguished fellow like Strawson make this suggestion. |
| 16979 | It makes no sense to ask of some individual thing what it is that makes it that individual [Strawson,P] |
| Full Idea: For no object is there a unique character or relation by which it must be identified if it is to be identified at all. This is why it makes no sense to ask, impersonally and in general, of some individual object what makes it the individual object it is. | |
| From: Peter F. Strawson (Entity and Identity [1978], I) | |
| A reaction: He links this remark with the claim that there is no individual essence, but he seems to view an individual essence as indispensable to recognition or individuation of the object, which I don't see. Recognise it first, work out its essence later. |
| 4398 | An event causes another just if the second event would not have happened without the first [Lewis, by Psillos] |
| Full Idea: Lewis gives an account of causation in terms of counterfactual conditionals (roughly, an event c causes an event e iff if c had not happened then e would not have happened either). | |
| From: report of David Lewis (works [1973]) by Stathis Psillos - Causation and Explanation Intro | |
| A reaction: This feels wrong to me. It is a version of Humean constant conjunction, but counterfactuals are too much a feature of our minds, and not sufficiently a feature of the world, to do this job. Tricky. |