38 ideas
| 9408 | Science studies phenomena, but only metaphysics tells us what exists [Mumford] |
| Full Idea: Science deals with the phenomena, ..but it is metaphysics, and only metaphysics, that tells us what ultimately exists. | |
| From: Stephen Mumford (Laws in Nature [2004], 01.2) |
| 9429 | Many forms of reasoning, such as extrapolation and analogy, are useful but deductively invalid [Mumford] |
| Full Idea: There are many forms of reasoning - extrapolation, interpolation, and other arguments from analogy - that are useful but deductively invalid. | |
| From: Stephen Mumford (Laws in Nature [2004], 04.4) | |
| A reaction: [He cites Molnar for this] |
| 9143 | Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert] |
| Full Idea: Fine distinguishes 'implicit definitions', where we must know it is satisfiable before it is deployed, 'creative definitions', where objects are introduced in virtue of the definition, ..and 'contextual definitions', based on established vocabulary. | |
| From: report of Kit Fine (The Limits of Abstraction [2002], 060) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 3 | |
| A reaction: Fine is a fan of creative definition. This sounds something like the distinction between cutting nature at the perceived joints, and speculating about where new joints might be inserted. Quite a helpful thought. |
| 10143 | 'Creative definitions' do not presuppose the existence of the objects defined [Fine,K] |
| Full Idea: What I call 'creative definitions' are made from a standpoint in which the existence of the objects that are to be assigned to the terms is not presupposed. | |
| From: Kit Fine (The Limits of Abstraction [2002], II.1) |
| 9427 | For Humeans the world is a world primarily of events [Mumford] |
| Full Idea: For Humeans the world is a world primarily of events. | |
| From: Stephen Mumford (Laws in Nature [2004], 03.6) |
| 10145 | Abstracts cannot be identified with sets [Fine,K] |
| Full Idea: It is impossible for a proponent of both sets and abstracts to identify the abstracts, in any reasonable manner, with the sets. | |
| From: Kit Fine (The Limits of Abstraction [2002], IV.1) | |
| A reaction: [This observation emerges from a proof Fine has just completed] Cf Idea 10137. The implication is that there is no compromise view available, and one must choose between abstraction or sets as one's account of numbers and groups of concepts. |
| 10136 | Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K] |
| Full Idea: Points in abstract Euclidean space are abstract objects, and yet are not objects of abstraction, since they are not introduced through a principle of abstraction of the sort envisaged by Frege. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.1) | |
| A reaction: The point seems to be that they are not abstracted 'from' anything, but are simpy posited as basic constituents. I suggest that points are idealisations (of smallness) rather than abstractions. They are idealised 'from' substances. |
| 10144 | Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K] |
| Full Idea: A procedural form of postulationism says that instead of stipulating that certain statements are true, one specifies certain procedures for extending the domain to one in which the statement will in fact be true, without invoking an abstract ontology. | |
| From: Kit Fine (The Limits of Abstraction [2002], II.5) | |
| A reaction: The whole of philosophy might go better if it was founded on procedures and processes, rather than on objects. The Hopi Indians were right. |
| 9446 | Properties are just natural clusters of powers [Mumford] |
| Full Idea: The view of properties I find most attractive is one in which they are natural clusters of, and exhausted by, powers (plus other connections to other properties). | |
| From: Stephen Mumford (Laws in Nature [2004], 10.6) |
| 9435 | A 'porridge' nominalist thinks we just divide reality in any way that suits us [Mumford] |
| Full Idea: A 'porridge' nominalist denies natural kinds, and thinks there are no objective divisions in reality, so concepts or words can be used by a community to divide the world up in any way that suits their purposes. | |
| From: Stephen Mumford (Laws in Nature [2004], 07.3) |
| 9447 | If properties are clusters of powers, this can explain why properties resemble in degrees [Mumford] |
| Full Idea: If a cluster of ten powers exhausts property F, and property G differs in respect of just one power, this might explain why properties can resemble other properties and in different degrees. | |
| From: Stephen Mumford (Laws in Nature [2004], 10.6) | |
| A reaction: I love this. The most intractable problem about properties and universals is that of abstract reference - pink resembles red more than pink resembles green. If colours are clusters of powers, red and pink share nine out of ten of them. |
| 12248 | How can we show that a universally possessed property is an essential property? [Mumford] |
| Full Idea: Essentialists fail to show how we ascend from being a property universally possessed, by all kind members, to the status of being an essential property. | |
| From: Stephen Mumford (Laws in Nature [2004], 07.5) | |
| A reaction: This is precisely where my proposal comes in - the essential properties, as opposed to the accidentaly universals, are those which explain the nature and behaviour of each kind of thing (and each individual thing). |
| 9144 | Fine's 'procedural postulationism' uses creative definitions, but avoids abstract ontology [Fine,K, by Cook/Ebert] |
| Full Idea: Fine says creative definitions can found mathematics. His 'procedural postulationism' says one stipulates not truths, but certain procedures for extending a domain. The procedures can be stated without invoking an abstract ontology. | |
| From: report of Kit Fine (The Limits of Abstraction [2002], 100) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 4 | |
| A reaction: (For creative definitions, see Idea 9143) This sounds close in spirit to fictionalism, but with the emphasis on the procedure (which can presumably be formalized) rather than a pure act of imaginative creation. |
| 10141 | Many different kinds of mathematical objects can be regarded as forms of abstraction [Fine,K] |
| Full Idea: Many different kinds of mathematical objects (natural numbers, the reals, points, lines, figures, groups) can be regarded as forms of abstraction, with special theories having their basis in a general theory of abstraction. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.4) | |
| A reaction: This result, if persuasive, would be just the sort of unified account which the whole problem of abstact ideas requires. |
| 10135 | We can abstract from concepts (e.g. to number) and from objects (e.g. to direction) [Fine,K] |
| Full Idea: A principle of abstraction is 'conceptual' when the items upon which it abstracts are concepts (e.g. a one-one correspondence associated with a number), and 'objectual' if they are objects (parallel lines associated with a direction). | |
| From: Kit Fine (The Limits of Abstraction [2002], I) |
| 9142 | Fine considers abstraction as reconceptualization, to produce new senses by analysing given senses [Fine,K, by Cook/Ebert] |
| Full Idea: Fine considers abstraction principles as instances of reconceptualization (rather than implicit definition, or using the Context Principle). This centres not on reference, but on new senses emerging from analysis of a given sense. | |
| From: report of Kit Fine (The Limits of Abstraction [2002], 035) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 2 | |
| A reaction: Fine develops an argument against this view, because (roughly) the procedure does not end in a unique result. Intuitively, the idea that abstraction is 'reconceptualization' sounds quite promising to me. |
| 10137 | Abstractionism can be regarded as an alternative to set theory [Fine,K] |
| Full Idea: The uncompromising abstractionist rejects set theory, seeing the theory of abstractions as an alternative, rather than as a supplement, to the standard theory of sets. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.1) | |
| A reaction: There is also a 'compromising' version. Presumably you still have equivalence classes to categorise the objects, which are defined by their origin rather than by what they are members of... Cf. Idea 10145. |
| 10138 | An object is the abstract of a concept with respect to a relation on concepts [Fine,K] |
| Full Idea: We can see an object as being the abstract of a concept with respect to a relation on concepts. For example, we may say that 0 is the abstract of the empty concept with respect to the relation of one-one correspondence. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.2) | |
| A reaction: This is Fine's attempt to give a modified account of the Fregean approach to abstraction. He says that the reference to a relation will solve the problem of identity between abstractions. |
| 6000 | The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the goal to be rationality in the selection and rejection of the things according to nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This captures the central Stoic idea quite nicely. 'Live according to nature', but this always meant 'live according to reason', because that is (as Aristotle had taught) the essence of our nature. This only makes sense if reason and nature coincide. |
| 5999 | The good is what is perfect by nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the good as what is perfect by nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This might come close to G.E. Moore's Ideal Utilitarianism, but its dependence on the rather uneasy of concept of 'perfection' makes it questionable. Personally I find it appealing. I wish we had Diogenes' explanation. |
| 6001 | Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined justice as the disposition which distributes to everyone what he deserves. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: The questions that arise would be 'what does a new-born baby deserve?', and 'what do animals deserve?', and 'does the lowest and worst of criminals deserve anything at all?' |
| 9430 | Singular causes, and identities, might be necessary without falling under a law [Mumford] |
| Full Idea: One might have a singularist view of causation in which a cause necessitates its effect, but they need not be subsumed under a law, ..and there are identities which are metaphysically necessary without being laws of nature. | |
| From: Stephen Mumford (Laws in Nature [2004], 04.5) |
| 9445 | We can give up the counterfactual account if we take causal language at face value [Mumford] |
| Full Idea: If we take causal language at face value and give up reducing causal concepts to non-causal, non-modal concepts, we can give up the counterfactual dependence account. | |
| From: Stephen Mumford (Laws in Nature [2004], 10.5) |
| 9443 | It is only properties which are the source of necessity in the world [Mumford] |
| Full Idea: If laws do not give the world necessity, what does? I argue the positive case for it being properties, and properties alone, that do the job (so we might call them 'modal properties'). | |
| From: Stephen Mumford (Laws in Nature [2004], 10.1) |
| 9444 | There are four candidates for the logical form of law statements [Mumford] |
| Full Idea: The contenders for the logical form of a law statement are 1) a universally quantified conditional, 2) a second-order relation between first-order universals, 3) a functional equivalence, and 4) a dispositional characteristic of a natural kind. | |
| From: Stephen Mumford (Laws in Nature [2004], 10.3) |
| 9415 | Would it count as a regularity if the only five As were also B? [Mumford] |
| Full Idea: While it might be true that for all x, if Ax then Bx, would we really want to count it as a genuine regularity in nature if only five things were A (and all five were also B)? | |
| From: Stephen Mumford (Laws in Nature [2004], 03.3) |
| 9416 | Regularities are more likely with few instances, and guaranteed with no instances! [Mumford] |
| Full Idea: It seems that the fewer the instances, the more likely it is that there be a regularity, ..and if there are no cases at all, and no S is P, that is a regularity. | |
| From: Stephen Mumford (Laws in Nature [2004], 03.3) | |
| A reaction: [He attributes the second point to Molnar] |
| 9431 | Pure regularities are rare, usually only found in idealized conditions [Mumford] |
| Full Idea: Pure regularities are not nearly as common as might have been thought, and are usually only to be found in simplified or idealized conditions. | |
| From: Stephen Mumford (Laws in Nature [2004], 05.3) | |
| A reaction: [He cites Nancy Cartwright 1999 for this view] |
| 9441 | Regularity laws don't explain, because they have no governing role [Mumford] |
| Full Idea: A regularity-law does not explain its instances, because such laws play no role in determining or governing their instances. | |
| From: Stephen Mumford (Laws in Nature [2004], 09.7) | |
| A reaction: Good. It has always seemed to me entirely vacuous to explain an event simply by saying that it falls under some law. |
| 9422 | If the best system describes a nomological system, the laws are in nature, not in the description [Mumford] |
| Full Idea: If the world really does have its own nomological structure, that a systematization merely describes, why are the laws not to be equated with the nomological structure itself, rather than with the system that describes it? | |
| From: Stephen Mumford (Laws in Nature [2004], 03.4) |
| 9421 | The best systems theory says regularities derive from laws, rather than constituting them [Mumford] |
| Full Idea: The best systems theory (of Mill-Ramsey-Lewis) says that laws are not seen as regularities but, rather, as those things from which regularities - or rather, the whole world history including the regularities and everything else - can be derived. | |
| From: Stephen Mumford (Laws in Nature [2004], 03.4) | |
| A reaction: Put this way, the theory invites questions about ontology. Regularities are just patterns in physical reality, but axioms are propositions. So are they just features of human thought, or do these axioms actuallyr reside in reality. Too weak or too strong. |
| 9433 | If laws can be uninstantiated, this favours the view of them as connecting universals [Mumford] |
| Full Idea: If there are laws that are instantiated in no particulars, then this would seem to favour the theory that laws connect universals rather than particulars. | |
| From: Stephen Mumford (Laws in Nature [2004], 06.4) | |
| A reaction: There is a dispute here between the Platonic view of uninstantiated universals (Tooley) and the Aristotelian instantiated view (Armstrong). Mumford and I prefer the dispositional account. |
| 9432 | Laws of nature are necessary relations between universal properties, rather than about particulars [Mumford] |
| Full Idea: The core of the Dretske-Tooley-Armstrong view of the late 70s is that we have a law of nature when we have a relation of natural necessitation between universals. ..The innovation was that laws are about properties, and only indirectly about particulars. | |
| From: Stephen Mumford (Laws in Nature [2004], 06.2) | |
| A reaction: It sounds as if we should then be able to know the laws of nature a priori, since that was Russell's 1912 definition of a priori knowledge. |
| 9434 | Laws of nature are just the possession of essential properties by natural kinds [Mumford] |
| Full Idea: If dispositional essentialism is granted, then there is a law of nature wherever there is an essential property of a natural kind; laws are just the havings of essential properties by natural kinds. | |
| From: Stephen Mumford (Laws in Nature [2004], 07.2) | |
| A reaction: [He is expounding Ellis's view] |
| 9437 | To distinguish accidental from essential properties, we must include possible members of kinds [Mumford] |
| Full Idea: Where properties are possessed by all kind members, we must distinguish the accidental from essential ones by considering all actual and possible kind members. | |
| From: Stephen Mumford (Laws in Nature [2004], 07.5) | |
| A reaction: This is why we must treat possibilities as features of the actual world. |
| 9439 | The Central Dilemma is how to explain an internal or external view of laws which govern [Mumford] |
| Full Idea: The Central Dilemma about laws of nature is that, if they have some governing role, then they must be internal or external to the things governed, and it is hard to give a plausible account of either view. | |
| From: Stephen Mumford (Laws in Nature [2004], 09.2) | |
| A reaction: This dilemma is the basis of Mumford's total rejection of 'laws of nature'. I think I agree. |
| 9412 | You only need laws if you (erroneously) think the world is otherwise inert [Mumford] |
| Full Idea: Laws are a solution to a problem that was misconceived. Only if you think that the world would be otherwise inactive or inanimate, do you have the need to add laws to your ontology. | |
| From: Stephen Mumford (Laws in Nature [2004], 01.5) | |
| A reaction: This is a bold and extreme view - and I agree with it. I consider laws to be quite a useful concept when discussing nature, but they are not part of the ontology, and they don't do any work. They are metaphysically hopeless. |
| 9411 | There are no laws of nature in Aristotle; they became standard with Descartes and Newton [Mumford] |
| Full Idea: Laws do not appear in Aristotle's metaphysics, and it wasn't until Descartes and Newton that laws entered the intellectual mainstream. | |
| From: Stephen Mumford (Laws in Nature [2004], 01.5) | |
| A reaction: Cf. Idea 5470. |