Combining Texts

All the ideas for 'Commentary on 'De Anima'', 'Our Knowledge of Mathematical Objects' and 'Emergent Evolution'

unexpand these ideas     |    start again     |     specify just one area for these texts

5 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
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.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
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.
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
16051 Life has a new supervenient relation, which alters its underlying physical events [Morgan,L]
     Full Idea: When some new kind of relatedness is supervenient (say at the level of life), the way in which the physical events which are involved run their course is different in virtue of its presence.
     From: Lloyd Morgan (Emergent Evolution [1923], pp.15-16), quoted by Terence Horgan - From Supervenience to Superdupervenience 1
     A reaction: This is a clear assertion of 'downward causation' at the first introduction of 'supervenience', supporting 'emergentism' about life and mind. That is, the newly-emerged feature has new causal powers that affect the physical system from outside. Wrong!
22. Metaethics / B. Value / 2. Values / e. Death
16764 The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus]
     Full Idea: Every accident of a living thing, as well as all its organs and temperaments and its dispositions are conserved by the soul. We see this from experience, since when that soul recedes, all these dissolve and become corrupted.
     From: Franciscus Toletus (Commentary on 'De Anima' [1572], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5
     A reaction: A nice example of observing a phenemonon, but not being able to observe the dependence relation the right way round. Compare Descartes in Idea 16763.