30 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. |
| 4739 | In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel] |
| Full Idea: Necessary and sufficient conditions are usually expressed by "if and only if" (abbr. "iff"), where "if" is the sufficient condition, and "only if" is the necessary condition. | |
| From: Pascal Engel (Truth [2002], §1.1) | |
| A reaction: 'I take my umbrella if and only if it is raining' (oh, and if I'm still alive). There may be other necessary conditions than the one specified. Oh, and I take it if my wife slips it into my car… |
| 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. |
| 4737 | Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel] |
| Full Idea: The tradition of the Stoics and Frege says that truth-bearers are propositions, Descartes and the classical empiricist say they are ideas or beliefs, and Ockham and Quine say they are sentences or utterances. | |
| From: Pascal Engel (Truth [2002], §1.1) | |
| A reaction: I'm with propositions, which are unambiguous, can be expressed in a variety of ways, embody the 'logical form' of sentences, and could be physically embodied in brains (the language of thought?). |
| 4750 | The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel] |
| Full Idea: The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p'. | |
| From: Pascal Engel (Truth [2002], §2.2) | |
| A reaction: But then when you ask what p means, you have to give the truth-conditions for its assertion, and you find you have to mention the facts after all. |
| 4744 | We can't explain the corresponding structure of the world except by referring to our thoughts [Engel] |
| Full Idea: The correspondence theory implies displaying an identity or similarity of structure between the contents of thoughts and the way the world is structured, but we seem only to be able to say that the world's structure corresponds to our thoughts. | |
| From: Pascal Engel (Truth [2002], §1.2) | |
| A reaction: I don't accept this. The structure of the world gives rise to our thoughts. There is an epistemological problem here (big time!), but that doesn't alter the metaphysical situation of what truth is supposed to be, which is correspondence. |
| 4738 | The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel] |
| Full Idea: The coherence theory of truth says that it is a relationship between truth-bearers themselves, that is between propositions or beliefs or sentences. | |
| From: Pascal Engel (Truth [2002], §1.1) | |
| A reaction: We immediately begin to wonder how many truth-bearers are required. Two lies can be coherent. It is hard to make thousands of lies coherent, but not impossible. What fixes the critical number. 'All possible propositions' is not much help. |
| 4745 | Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel] |
| Full Idea: Any coherent set of beliefs can be made more coherent by adding to it one or more false beliefs. | |
| From: Pascal Engel (Truth [2002], §1.3) | |
| A reaction: A simple but rather devastating point. It is the policeman manufacturing a bogus piece of evidence to clinch the conviction, the scientist faking a single observation to fill in the last corner of a promising theory. |
| 4753 | Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel] |
| Full Idea: Deflationism about truth seems to deprive us of any hope of asking genuinely metatheoretical questions, which are the questions that occupy philosophers most of the time. | |
| From: Pascal Engel (Truth [2002], §2.5) | |
| A reaction: This seems like the best reason for moving from deflationism to at least minimalism. Clearly one can talk meaningfully about the success of assertions and theories. You can say a sentence is true, but not assert it. |
| 4755 | Deflationism cannot explain why we hold beliefs for reasons [Engel] |
| Full Idea: The deflationist view is silent about the fact that our assertions and beliefs are generally made or held for certain reasons. | |
| From: Pascal Engel (Truth [2002], §2.5) | |
| A reaction: The point here must be that I attribute strength to my beliefs, depending on how much support I have for them - how much support for their real truth. I scream "That's really TRUE!" when I have very good reasons. |
| 4751 | Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel] |
| Full Idea: We could compare the status of 'true' with the status of the logical operator 'and' in logic. Once we have explained how it functions to conjoin two propositions, there is not much more to be said about it. | |
| From: Pascal Engel (Truth [2002], §2.4) | |
| A reaction: A good statement of the minimalist view. I don't believe it, because I don't believe that truth is confined to language. An uneasy feeling I can't put into words can turn out to be true. Truth is a relational feature of mental states. |
| 4752 | Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel] |
| Full Idea: It is said that deflationism cannot even formulate the principle of bivalence, for 'either p is true or p is false' will amount to the principle of excluded middle, 'either p or not-p'. | |
| From: Pascal Engel (Truth [2002], §2.4) | |
| A reaction: Presumably deflationists don't lost any sleep over this - in fact, it looks like a good concise way to state the deflationist thesis. However, excluded middle refers to a proposition (not-p) that was never mentioned by bivalence. Cf Idea 6163. |
| 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?). |
| 4762 | The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel] |
| Full Idea: A problem for the Humean theory of motivation is that it is disputed that beliefs are only representational states, which cannot, unlike desires, move us to act. | |
| From: Pascal Engel (Truth [2002], §4.2) | |
| A reaction: This is a crucial issue for Humeans and empiricists. Rationalists claim that people act for reasons, so that reasons are intrinsically motivational (like the Form of the Good), and reasons may even be considered direct causes of actions. |
| 4754 | Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel] |
| Full Idea: Belief is said to 'aim at truth', in the sense that beliefs are the kind of mental states that have to be true for the mind to 'fit' the world (where our desires have the opposite 'direction of fit'; the world is supposed to fit our desires). | |
| From: Pascal Engel (Truth [2002], §2.5) | |
| A reaction: I don't think it is possible to give a plausible definition of belief without mentioning truth. Hume's account of them as thoughts with a funny feeling attached is ridiculous. Thinking is an activity, not a passive state. |
| 4763 | 'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel] |
| Full Idea: The 'evidentialists' (such as Locke and Hume) deny, and the 'voluntarists' (such as William James) affirm, that we ought to, or at least may, believe for other reasons than evidential epistemic reasons (e.g. for pragmatic reasons). | |
| From: Pascal Engel (Truth [2002], §5.2) | |
| A reaction: No need to be black-or-white here. Blatant evidence compels belief, but we may also come to believe by spotting a coherence, without additional evidence. We can also be in a state of trying to believe something. But see 4764. |
| 4746 | Pragmatism is better understood as a theory of belief than as a theory of truth [Engel] |
| Full Idea: Pragmatism in general is better construed as a certain conception of belief, rather than as a distinctive conception of truth. | |
| From: Pascal Engel (Truth [2002], §1.5) | |
| A reaction: Which is why aspiring relativists drift towards the pragmatic theory - because they want to dispense with truth (and hence knowledge), and put mere belief in its place. |
| 4764 | We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel] |
| Full Idea: Direct psychological voluntarism about beliefs seems to be false, but we can have an indirect voluntary control on many of our beliefs, by manipulating the states in us that are involuntary and which lead to certain beliefs. | |
| From: Pascal Engel (Truth [2002], §5.2) | |
| A reaction: Very nice! This points two ways - to scientific experiments, which can have compelling outcomes (see Fodor), and to brain-washing, and especially auto-brainwashing (only reading articles which support your favourites theories). What magazines do you take? |
| 4759 | Mental states as functions are second-order properties, realised by first-order physical properties [Engel] |
| Full Idea: For functionalism mental states as roles are second-order properties that have to be realised in various ways in first-order physical properties. | |
| From: Pascal Engel (Truth [2002], §3.3) | |
| A reaction: I take that to be properties-of-properties, as in 'bright red' or 'poignantly beautiful'. I am inclined to think (with Edelman) that mind is a process, not a property. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |