25 ideas
14255 | We understand things through their dependency relations [Fine,K] |
Full Idea: We understand a defined object (what it is) through the objects on which it depends. | |
From: Kit Fine (Ontological Dependence [1995], II) | |
A reaction: This places dependency relations right at the heart of our understanding of the world, and hence shifts traditional metaphysics away from existence and identity. The notion of explanation is missing from Fine's account. |
14250 | Metaphysics deals with the existence of things and with the nature of things [Fine,K] |
Full Idea: Metaphysics has two main areas of concern: one is with the nature of things, with what they are; and the other is with the existence of things, with whether they are. | |
From: Kit Fine (Ontological Dependence [1995], I) | |
A reaction: This paper is part of a movement which has shifted metaphysics to a third target - how things relate to one another. The possibility that this third aim should be the main one seems quite plausible to me. |
14259 | Maybe two objects might require simultaneous real definitions, as with two simultaneous terms [Fine,K] |
Full Idea: In Wooster as the witless bachelor and Jeeves as the crafty manservant, and one valet to the other, we will have the counterpart, within the framework of real definition, to the simultaneous definition of two terms. | |
From: Kit Fine (Ontological Dependence [1995], III) | |
A reaction: This is wonderful grist to the mill of scientific essentialism, which endeavours to produce an understanding through explanation of the complex interactions of nature. |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
14253 | An object's 'being' isn't existence; there's more to an object than existence, and its nature doesn't include existence [Fine,K] |
Full Idea: It seems wrong to identify the 'being' of an object, its being what it is, with its existence. In one respect existence is too weak; for there is more to an object than mere existence; also too strong, for an object's nature need not include existence. | |
From: Kit Fine (Ontological Dependence [1995], I) | |
A reaction: The word 'being' has been shockingly woolly, from Parmenides to Heidegger, but if you identify it with a thing's 'nature' that strikes me as much clearer (even if a little misty). |
14261 | There is 'weak' dependence in one definition, and 'strong' dependence in all the definitions [Fine,K] |
Full Idea: An object 'weakly' depends upon another if it is ineliminably involved in one of its definitions; and it 'strongly' depends upon the other if it is ineliminably involved in all of its definitions. | |
From: Kit Fine (Ontological Dependence [1995], III) | |
A reaction: It is important to remember that a definition can be very long, and not just what might go into a dictionary. |
14251 | A natural modal account of dependence says x depends on y if y must exist when x does [Fine,K] |
Full Idea: A natural account of dependence in terms of modality and existence is that one thing x will depend on another thing y just in case it is necessary that y exists if x exists (or in the symbolism of modal logic, □(Ex→Ey). | |
From: Kit Fine (Ontological Dependence [1995], I) | |
A reaction: He is going to criticise this view (which he traces back to Aristotle and Husserl). It immediately seems possible that there might be counterexamples. x might depend on y, but not necessarily depend on y. Necessities may not produce dependence. |
14257 | An object depends on another if the second cannot be eliminated from the first's definition [Fine,K] |
Full Idea: The objects upon which a given object depends, according to the present account, are those which must figure in any of the logically equivalent definitions of the object. They will, in a sense, be ineliminable. | |
From: Kit Fine (Ontological Dependence [1995], II) | |
A reaction: This is Fine's main proposal for the dependency relationship, with a context of Aristotelian essences understood as definitions. Sounds pretty good to me. |
14254 | Dependency is the real counterpart of one term defining another [Fine,K] |
Full Idea: The notion of one object depending upon another is the real counterpart to the nominal notion of one term being definable in terms of another. | |
From: Kit Fine (Ontological Dependence [1995], II) | |
A reaction: This begins to fill out the Aristotelian picture very nicely, since definitions are right at the centre of the nature of things (though a much more transitional part of the story than Fine seems to think). |
14252 | We should understand identity in terms of the propositions it renders true [Fine,K] |
Full Idea: We should understand the identity or being of an object in terms of the propositions rendered true by its identity rather than the other way round. | |
From: Kit Fine (Ontological Dependence [1995], I) | |
A reaction: Behind this is an essentialist view of identity, rather than one connected with necessary properties. |
14256 | How do we distinguish basic from derived esssences? [Fine,K] |
Full Idea: How and where are we to draw the line between what is basic to the essence and what is derived? | |
From: Kit Fine (Ontological Dependence [1995], II) | |
A reaction: He calls the basic essence 'constitutive' and the rest the 'consequential' essence. This question is obviously very challenging for the essentialist. See Idea 22. |
14258 | Maybe some things have essential relationships as well as essential properties [Fine,K] |
Full Idea: It is natural to suppose, in the case of such objects as Wooster and Jeeves, that in addition to possessing constitutive essential properties they will also enter into constitutive essential relationships. | |
From: Kit Fine (Ontological Dependence [1995], III) | |
A reaction: I like this. If we are going to have scientific essences as structures of intrinsic powers, then the relationships between the parts of the essence must also be essential. That is the whole point - that the powers dictate the relationships. |
14260 | An object only essentially has a property if that property follows from every definition of the object [Fine,K] |
Full Idea: We can say that an object essentially has a certain property if its having that property follows from every definition of the object, while an object will definitively have a given property if its having that property follows from some definition of it. | |
From: Kit Fine (Ontological Dependence [1995], III) | |
A reaction: Presumably that will be every accurate definition. This nicely allows for the fact that at least nominal definitions may not be unique, and there is even room for real definitions not to be fully determinate (thus, how far should they extend?). |
22189 | Why abandon a theory if you don't have a better one? [Gorham] |
Full Idea: There is no sense in abandoning a successful theory if you have nothing to replace it with. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 2) | |
A reaction: This is also a problem for infererence to the best explanation. What to do if your best explanation is not very good? The simple message is do not rush to dump a theory when faced with an anomaly. |
22190 | If a theory is more informative it is less probable [Gorham] |
Full Idea: Popper's theory implies that more informative theories seem to be less probable. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 3) | |
A reaction: [On p.75 Gorham replies to this objection] The point is that to be more testable they must be more detailed. He's not wrong. Theories are meant to be general, so they sweep up the details. But they need precise generalities and specifics. |
22192 | Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham] |
Full Idea: Is Newton's theory simpler than Einstein's, since there is only one relation of simultaneity in absolute time, or is Einstein's simpler because it dispenses with absolute time altogether? | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: A nice question, to which a good scientist might be willing to offer an answer. Since simultaneity is crucial but the existence of time is not, I would vote for Newton as the simpler. |
22194 | Structural Realism says mathematical structures persist after theory rejection [Gorham] |
Full Idea: Structural Realists say that modern science achieves a true or 'truer' account of the world only with respect to its mathematical structure rather than its intrinsic qualities or nature. The structure carries over to new theories. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: At first glance I am unconvinced that when an old theory is replaced it neverthess contains some sort of 'mathematical structure' which endures and is worth preserving. No doubt Worrall, French and co have examples. |
22195 | Structural Realists must show the mathematics is both crucial and separate [Gorham] |
Full Idea: Structural Realists must show that it is the mathematical aspects of the theories, not their content, that account for their success ….and that their structure and content can be clearly separated. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Their approach certainly seems to rely on mathematical types of science, so it presumably fits biology, geology and even astronomy less well. |
22197 | Theories aren't just for organising present experience if they concern the past or future [Gorham] |
Full Idea: The strangeness of interpreting theories as mere tools for organising present experience is brought out clearly in sciences like cosmology and paleontology, which largely concern events in the remote past or future. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Not conclusive. An anti-realist has to interpret those sciences in terms of the current observations that are available. |
22196 | For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham] |
Full Idea: The main difficulty with instrumentalism is its implausible account ot the meaning of theoretical claims and concepts. Most scientists take them to be straightforward attempts to describe the world. Most say they are useful because they are accurate. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Instrumentalism is seen as a Pragmatist view, and Dewey is cited. |
22193 | Consilience makes the component sciences more likely [Gorham] |
Full Idea: The more unification and integration is found among the modern sciences, the less likely it seems it will have all been a dream. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: I believe this strongly. Ancient theories which were complex, wide ranging and false do not impress me. This is part of my coherence view of justification. |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
22198 | Aristotelian physics has circular celestial motion and linear earthly motion [Gorham] |
Full Idea: Aristotelian physics assumed that celestial motion is naturally circular and eternal while terrestrial motion is naturally toward the center of the earth and final. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: The overthrow of this by Galileo and then Newton may have been the most dramatic revolution of the new science. It opened up the possibility of universal laws of physics. |