13 ideas
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
| From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
| A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
| 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. |
| 8337 | Some says mental causation is distinct because we can recognise single occurrences [Mackie] |
| Full Idea: It is sometimes suggested that our ability to recognise a single occurrence as an instance of mental causation is a feature which distinguishes mental causation from physical or 'Humean' causation. | |
| From: J.L. Mackie (Causes and Conditions [1965], §9) | |
| A reaction: Hume says regularities are needed for mental causation too. Concentrate hard on causing a lightning flash - 'did I do that?' Gradually recovering from paralysis; you wouldn't just move your leg once, and know it was all right! |
| 8342 | Mackie tries to analyse singular causal statements, but his entities are too vague for events [Kim on Mackie] |
| Full Idea: In spite of Mackie's announced aim of analysing singular causal statements, it is doubtful that the entities that he is concerned with can be consistently interpreted as spatio-temporally bounded individual events. | |
| From: comment on J.L. Mackie (Causes and Conditions [1965]) by Jaegwon Kim - Causes and Events: Mackie on causation §3 | |
| A reaction: This is because Mackie mainly talks about 'conditions'. Nearly every theory I encounter in modern philosophy gets accused of either circular definitions, or inadequate individuation conditions for key components. A tough world for theory-makers. |
| 8343 | Necessity and sufficiency are best suited to properties and generic events, not individual events [Kim on Mackie] |
| Full Idea: Relations of necessity and sufficiency seem best suited for properties and for property-like entities such as generic states and events; their application to individual events and states is best explained as derivative from properties and generic events. | |
| From: comment on J.L. Mackie (Causes and Conditions [1965]) by Jaegwon Kim - Causes and Events: Mackie on causation §4 | |
| A reaction: This seems to suggest that necessity must either derive from laws, or from powers. It is certainly hard to see how you could do Mackie's assessment of necessary and sufficient components, without comparing similar events. |
| 8385 | A cause is part of a wider set of conditions which suffices for its effect [Mackie, by Crane] |
| Full Idea: The details of Mackie's analysis are complex, but the general idea is that the cause is part of a wider set of conditions which suffices for its effect. | |
| From: report of J.L. Mackie (Causes and Conditions [1965]) by Tim Crane - Causation 1.3.3 | |
| A reaction: Helpful. Why does something have to be 'the' cause? Immediacy is a vital part of it. A house could be a 'fire waiting to happen'. Oxygen is an INUS condition for a fire. |
| 8335 | Necessary conditions are like counterfactuals, and sufficient conditions are like factual conditionals [Mackie] |
| Full Idea: A necessary causal condition is closely related to a counterfactual conditional: if no-cause then no-effect, and a sufficient causal condition is closely related to a factual conditional (Goodman's phrase): since cause-here then effect. | |
| From: J.L. Mackie (Causes and Conditions [1965], §4) | |
| A reaction: The 'factual conditional' just seems to be an assertion that causation occurred (dressed up with the logical-sounding 'since'). An important distinction for Lewis. Sufficiency doesn't seem to need possible-worlds talk. |
| 8336 | The INUS account interprets single events, and sequences, causally, without laws being known [Mackie] |
| Full Idea: My account shows how a singular causal statement can be interpreted, and how the corresponding sequence can be shown to be causal, even if the corresponding complete laws are not known. | |
| From: J.L. Mackie (Causes and Conditions [1965], §9) | |
| A reaction: Since the 'complete' laws are virtually never known, it would be a bit much to require that to assert causation. His theory is the 'INUS' account of causal conditions - see Idea 8333. |
| 8333 | A cause is an Insufficient but Necessary part of an Unnecessary but Sufficient condition [Mackie] |
| Full Idea: If a short-circuit causes a fire, the so-called cause is, and is known to be, an Insufficient but Necessary part of a condition which is itself Unnecessary but Sufficient for the result. Let us call this an INUS condition. | |
| From: J.L. Mackie (Causes and Conditions [1965], §1) | |
| A reaction: I'm not clear why it is necessary, given that the fire could have started without the short-circuit. The final situation must certainly be sufficient. If only one situation can cause an effect, then the whole situation is necessary. |
| 8395 | Mackie has a nomological account of general causes, and a subjunctive conditional account of single ones [Mackie, by Tooley] |
| Full Idea: For general causal statements Mackie favours a nomological account, but for singular causal statements he argued for an analysis in terms of subjunctive conditionals. | |
| From: report of J.L. Mackie (Causes and Conditions [1965]) by Michael Tooley - Causation and Supervenience 5.2 | |
| A reaction: These seem to be consistent, by explaining each by placing it within a broader account of reality. Personally I think Ducasse gives the best account of how you get from the particular to the general (via similarity and utility). |
| 8334 | The virus causes yellow fever, and is 'the' cause; sweets cause tooth decay, but they are not 'the' cause [Mackie] |
| Full Idea: We may say not merely that this virus causes yellow fever, but also that it is 'the' cause of yellow fever; but we could only say that sweet-eating causes dental decay, not that it is the cause of dental decay (except in an individual case). | |
| From: J.L. Mackie (Causes and Conditions [1965], §3) | |
| A reaction: A bit confusing, but there seems to be something important here, concerning the relation between singular causation and law-governed causation. 'The' cause may not be sufficient (I'm immune to yellow fever). So 'the' cause is the only necessary one? |