8 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. |
| 8793 | If observation is knowledge, it is not just an experience; it is a justification in the space of reasons [Sellars] |
| Full Idea: In characterizing an observational episode or state as 'knowing', we are not giving an empirical description of it; we are placing it in the logical space of reasons, of justifying and being able to justify what one says. | |
| From: Wilfrid Sellars (Does Emp.Knowledge have Foundation? [1956], p.123) | |
| A reaction: McDowell has made the Kantian phrase 'the logical space of reasons' very popular. This is a very nice statement of the internalist view of justification, with which I sympathise more and more. It is a rationalist coherentist view. It needn't be mystical! |
| 8792 | Observations like 'this is green' presuppose truths about what is a reliable symptom of what [Sellars] |
| Full Idea: Observational knowledge of any particular fact, e.g. that this is green, presupposes that one knows general facts of the form 'X is a reliable symptom of Y'. | |
| From: Wilfrid Sellars (Does Emp.Knowledge have Foundation? [1956], p.123) | |
| A reaction: This is a nicely observed version of the regress problem with justification. I would guess that foundationalists would simply deny that this further knowledge is required; 'this is green' arises out of the experience, but it is not an inference. |
| 8791 | The concept of 'green' involves a battery of other concepts [Sellars] |
| Full Idea: One can only have the concept of green by having a whole battery of concepts of which it is one element. | |
| From: Wilfrid Sellars (Does Emp.Knowledge have Foundation? [1956], p.120) | |
| A reaction: This points in the direction of holism about language and thought, but need not imply it. It might be that concepts have to be learned in small families. It is not clear, though, what is absolutely essential to 'green', except that it indicates colour. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |