44 ideas
| 12772 | Philosophy is a value- and attitude-driven enterprise [Fraassen] |
| Full Idea: Philosophy is a value- and attitude-driven enterprise; philosophy is in false consciousness when it sees itself otherwise. | |
| From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
| A reaction: It is one thing to be permeated with values, and another to be value-driven. Truth, reason and logic are (I take it) granted a high value in philosophy, just as the offside rule is in football. I am trying to place reality in charge, not humanity. |
| 12771 | Is it likely that a successful, coherent, explanatory ontological hypothesis is true? [Fraassen] |
| Full Idea: How likely is it that a truly successful, coherent, explanatory ontological hypothesis is true? | |
| From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
| A reaction: Van Fraassen announces "I reject metaphysic" (p.3), so we know where he stands. Anything becomes less certain as it moves to a higher level of generality. Should we abandon generalisation? There is much illumination in metaphysics. |
| 12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
| Full Idea: No metaphysical account which renders it impossible to give a plausible epistemological theory is to be countenanced. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.1) | |
| A reaction: It is hard to object to this principle, though we certainly don't want to go verificationist, and thus rule out speculations about metaphysics which are beyond any possible knowledge. Some have tried to prove that something must exist (e.g. Jacquette). |
| 12773 | Analytic philosophy has an exceptional arsenal of critical tools [Fraassen] |
| Full Idea: Analytical philosophy can rightly pride itself on having produced the greatest critical arsenal the world has ever known. | |
| From: Bas C. van Fraassen (The Empirical Stance [2002], 1.6) | |
| A reaction: This is, of course, in the context of a scathing attack on the desire to use analytical methods to do speculative metaphysics. I say that if these are the best tools, then we should push forward with them to see how far we can get. |
| 12770 | We may end up with a huge theory of carefully constructed falsehoods [Fraassen] |
| Full Idea: The specter that faces us is that we may end up having explained all that is dreamt of in our philosophies by intricately crafted postulates that are false. | |
| From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
| A reaction: This is more persuasive that Idea 12769. People who cannot bear to live with a total absence of explanation (with Keats's 'negative capability') are most in danger from this threat. |
| 12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
| Full Idea: We use the symbol 'ι' (Greek 'iota') to form definite descriptions, reading (ιx)F(x) as 'the x which is such that F(x)', or simply as 'the F'. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.1) | |
| A reaction: Compare the lambda operator in modal logic, which picks out predicates from similar formulae. |
| 12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
| Full Idea: The typical semantic account of validity for propositional connectives like 'and' presupposes that meaning is given by truth-tables. On the natural deduction view, the meaning of 'and' is given by its introduction and elimination rules. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.4) |
| 12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
| Full Idea: It is very plausible that the sorites paradoxes arose from the application of a semantic apparatus appropriate only for sharp predicates to languages containing vague predicates (rather than from deficiency of meaning, or from incoherence). | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.3) | |
| A reaction: Sounds wrong. Of course, logic has been designed for sharp predicates, and natural languages are awash with vagueness. But the problems of vagueness bothered lawyers long before logicians like Russell began to worry about it. |
| 12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
| Full Idea: For each instance of identity or failure of identity, there must be facts in virtue of which that instance obtains. ..Enough has been said to lend this doctrine some plausibility. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.5) | |
| A reaction: Penelope Mackie picks this out from Forbes as a key principle. It sounds to be in danger of circularity, unless the 'facts' can be cited without referring to, or implicitly making use of, identities - which seems unlikely. |
| 12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
| Full Idea: If we imagine a possible world in which two clocks in a room make one clock from half the parts of each, the judgement 'these two actual clocks could have been a single clock' does not seem wholly false. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.4) | |
| A reaction: You would, of course, have sufficient parts left over to make a second clock, so they look like a destroyed clock, so I don't think I find Forbes's intuition on this one very persuasive. |
| 11885 | Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P] |
| Full Idea: Forbes argues that, unless we posit individual essences, we cannot guarantee that identities across possible worlds will be appropriately grounded in other properties. | |
| From: report of Graeme Forbes (The Metaphysics of Modality [1985]) by Penelope Mackie - How Things Might Have Been 2.4 | |
| A reaction: There is a confrontation between Wiggins, who says identity is primitive, and Forbes, who says identity must be grounded in other properties. I think I side with Forbes. |
| 12014 | An individual essence is a set of essential properties which only that object can have [Forbes,G] |
| Full Idea: An individual essence of an object x is a set of properties I which satisfies the following conditions: i. every property P in I is an essential property of x; ii. it is not possible that some object y distinct from x has every member of I. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I am coming to the view that stable natural kinds (like electrons or gold) do not have individual essences, but complex kinds (like tigers or tables) do. The view is based on the idea that explanatory power is what individuates an essence. |
| 12015 | Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G] |
| Full Idea: A non-trivial individual essence is properties other than a) those following from a de dicto truth, b) properties of existence and self-identity (or their cognates), c) properties derived from necessities in some other category. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: [I have compressed Forbes] Rather than adding all these qualificational clauses to our concept, we could just tighten up on the notion of a property, saying it is something which is causally efficacious, and hence explanatory. |
| 12013 | Essential properties depend on a category, and perhaps also on particular facts [Forbes,G] |
| Full Idea: The essential properties of a thing will typically depend upon what category of thing it is, and perhaps also on some more particular facts about the thing itself. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I see no way of dispensing with the second requirement, in the cases of complex entities like animals. If all samples are the same, then of course we can define a sample's essence through its kind, but not if samples differ in any way. |
| 13804 | A property is essential iff the object would not exist if it lacked that property [Forbes,G] |
| Full Idea: A property P is an essential property of an object x iff x could not exist and lack P, that is, as they say, iff x has P at every world at which x exists. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 1) | |
| A reaction: This immediately places the existence of x outside the normal range of its properties, so presumably 'existence is not a predicate', but that dictum may be doubted. As it stands this definition will include trivial and vacuous properties. |
| 13805 | Properties are trivially essential if they are not grounded in a thing's specific nature [Forbes,G] |
| Full Idea: Essential properties may be trivial or nontrivial. It is characteristic of P's being trivially essential to x that x's possession of P is not grounded in the specific nature of x. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: This is where my objection to the modal view of essence arises. How is he going to explain 'grounded' and 'specific nature' without supplying an entirely different account of essence? |
| 12012 | Essential properties are those without which an object could not exist [Forbes,G] |
| Full Idea: An essential property of an object x is a property without possessing which x could not exist. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: This is certainly open to question. See Joan Kung's account of Aristotle on essence. I am necessarily more than eight years old (now), and couldn't exist without that property, but is the property part of my essence? |
| 13808 | A relation is essential to two items if it holds in every world where they exist [Forbes,G] |
| Full Idea: A relation R is essential to x and y (in that order) iff Rxy holds at every world where x and y both exist. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: I find this bizarre. Not only does this seem to me to have nothing whatever to do with essence, but also the relation might hold even though it is a purely contingent matter. All rabbits are a reasonable distance from the local star. Essence of rabbit? |
| 13806 | Trivially essential properties are existence, self-identity, and de dicto necessities [Forbes,G] |
| Full Idea: The main groups of trivially essential properties are (a) existence, self-identity, or their consequences in S5; and (b) properties possessed in virtue of some de dicto necessary truth. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: He adds 'extraneously essential' properties, which also strike me as being trivial, involving relations. 'Is such that 2+2=4' or 'is such that something exists' might be necessary, but they don't, I would say, have anything to do with essence. |
| 13807 | A property is 'extraneously essential' if it is had only because of the properties of other objects [Forbes,G] |
| Full Idea: P is 'extraneously essential' to x iff it is possessed by x at any world w only in virtue of the possession at w of certain properties by other objects. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 2) | |
| A reaction: I would say that these are the sorts of properties which have nothing to do with being essential, even if they are deemed to be necessary. |
| 12025 | Artefacts have fuzzy essences [Forbes,G] |
| Full Idea: Artefacts can be ascribed fuzzy essences. ...We might say that it is essential to an artefact to have 'most' of its parts. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.6) | |
| A reaction: I think I prefer to accept the idea that essences are unstable things, in all cases. For all we know, electrons might subtly change their general character, or cease to be uniform, tomorrow. Essences explain, and what needs explaining changes. |
| 12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
| Full Idea: Sameness of parts is not sufficient for identity of artefacts at a world, since the very same parts may turn up at different times as the parts of artefacts with different designs and functions. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.2) | |
| A reaction: Thus the Ship of Theseus could be dismantled and turned into a barn (as happened with the 'Mayflower'). They could then be reconstituted as the ship, which would then have two beginnings (as Chris Hughes has pointed out). |
| 13809 | One might be essentialist about the original bronze from which a statue was made [Forbes,G] |
| Full Idea: In the case of artefacts, there is an essentialism about original matter; for instance, it would be said of any particular bronze statue that it could not have been cast from a totally different quantity of bronze. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 3) | |
| A reaction: Forbes isn't endorsing this, and it doesn't sound convincing. He quotes the thought 'I wish I had made this pot from a different piece of clay'. We might corrupt a statue by switching bronze, but I don't think the sculptor could do so. |
| 12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
| Full Idea: In the time of a single world, the same individual can undergo a change of sex, but it is less clear that an individual of one sex could have been, from the outset, an individual of another. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 6.5) | |
| A reaction: I don't find this support for essentiality of origin very persuasive. I struggle with these ideas. Given my sex yesterday, then presumably I couldn't have had a different sex yesterday. Given that pigs can fly, pigs can fly. What am I missing? |
| 11888 | Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P] |
| Full Idea: Forbes has two principles of identity, which we can call the No Bare Identities Principle (identities hold in virtue of other facts), and the No Extrinsic Determination Principle (that only intrinsic facts of a thing establish identity). | |
| From: report of Graeme Forbes (The Metaphysics of Modality [1985], 127-8) by Penelope Mackie - How Things Might Have Been 2.7 | |
| A reaction: The job of the philosopher is to prise apart the real identities of things from the way in which we conceive of identities. I take these principles to apply to real identities, not conceptual identities. |
| 12003 | De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G] |
| Full Idea: The difference between de re and de dicto formulae is a difference between formulae which are, and formulae which are not, sensitive to the identities of objects at various worlds. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 3.1) |
| 14919 | Empiricists deny what is unobservable, and reject objective modality [Fraassen] |
| Full Idea: To be an empiricist is to withhold belief in anything that goes beyond the actual, observable phenomena, and to recognise no objective modality in nature. | |
| From: Bas C. van Fraassen (The Scientific Image [1980], p.202), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1 | |
| A reaction: To only believe in what is actually observable strikes me as ridiculous. It might be, though, that we observe modality, in observing dispositions. If you pull back a bowstring, you feel the possibilities. |
| 12028 | De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G] |
| Full Idea: De re necessity does not differ from de dicto necessity in respect of how it arises: it is still a form of conceptual necessity. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.4) | |
| A reaction: [Forbes proceeds to argue for this claim] Forbes defends a form of essentialism, but takes the necessity to arise from a posteriori truths because of the a priori involvement of other concepts (rather as Kripke argues). |
| 13810 | The source of de dicto necessity is not concepts, but the actual properties of the thing [Forbes,G] |
| Full Idea: It is widely held that the source of de dicto necessity is in concepts, ..but I deny this... even with simple de dicto necessities, the source of the necessity is to be found in the properties to which the predicates of the de dicto truth refer. | |
| From: Graeme Forbes (In Defense of Absolute Essentialism [1986], 3) | |
| A reaction: It is normal nowadays to say this about de re necessities, but this is more unusual. |
| 12008 | Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G] |
| Full Idea: There is no means by which we might distinguish a possible world from what is true at it. ...Whereas our ability to separate a place, or a time, from its occupier is crucial to realism about places and times, as is a distance relation. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: He is objecting to Lewis's modal realism. I'm not fully convinced. It depends whether we are discussing real ontology or conceptual space. In the latter I see no difference between times and possible worlds. In ontology, a 'time' is weird. |
| 12009 | The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G] |
| Full Idea: The main objection to realism about worlds is from epistemology. Knowledge of properties of objects requires experience of these objects, which must be within the range of our sensory faculties, but only concrete actual objects achieve that. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: This pinpoints my dislike of the whole possible worlds framework, ontologically speaking. I seem to be an actualist. I take possibilities to be inferences to the best explanation from the powers we know of in the actual world. We experience potentiality. |
| 12007 | Possible worlds are points of logical space, rather like other times than our own [Forbes,G] |
| Full Idea: Someone impressed by the parallel between tense and modal operators ...might suggest that just as we can speak of places and times forming their own manifolds or spaces, so we can say that worlds are the points of logical space. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: I particularly like the notion of worlds being "points of logical space", and am inclined to remove it from this context and embrace it as the correct way to understand possible worlds. We must understand logical or conceptual space. |
| 12011 | Transworld identity concerns the limits of possibility for ordinary things [Forbes,G] |
| Full Idea: An elucidation of transworld identity can be regarded as an elucidation of the boundaries of possibility for ordinary things. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I presume that if we don't search for some such criterion, we just have to face the possibility that Aristotle could have been a poached egg in some possible world. To know the bounds of possibility, study the powers of actual objects. |
| 12016 | The problem of transworld identity can be solved by individual essences [Forbes,G] |
| Full Idea: The motivation for investigating individual essences should be obvious, since if every object has such an essence, the problem of elucidating transworld identity can be solved. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: It is important that, if necessary, the identities be 'individual', and not just generic, by sortal, or natural kind. We want to reason about (and explain) truths at the fine-grained level of the individual, not just at the broad level of generalisation. |
| 12004 | Counterpart theory is not good at handling the logic of identity [Forbes,G] |
| Full Idea: The outstanding technical objection to counterpart-theoretic semantics concerns its handling of the logic of identity. In quantified S5 (the orthodox semantics) a = b → □(a = b) is valid, but 'a' must not attach to two objects. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 3.5) |
| 12021 | Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G] |
| Full Idea: Haecceitism attributes to each individual a primitive identity or thisness, as opposed to the sort of essentialism that gives non-trivial conditions sufficient for transworld identity. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 6.6) | |
| A reaction: 'Haecceitism' is the doctrine that things have primitive identity. A 'haecceity' is a postulated property which actually does the job. The key point of the view is that whatever it is is 'primitive', and not complex, or analysable. I don't believe it. |
| 12029 | We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G] |
| Full Idea: The natural response to an unreasonable hypothesis of possibility for an object x, that in such a state of affairs it would not be x which satisfies the conditions, is evidence that we do possess concepts of thisness for individuals. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.4) | |
| A reaction: We may have a 'concept' of thisness, but we needn't be committed to the 'existence' of a thisness. There is a fairly universal intuition that cessation of existence of an entity when it starts to change can be a very vague matter. |
| 6783 | To 'accept' a theory is not to believe it, but to believe it empirically adequate [Fraassen, by Bird] |
| Full Idea: To 'accept' a theory is not to believe it, but is instead to believe it to be empirically adequate. | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4 | |
| A reaction: The second half of this doesn't avoid the word 'belief'. Nevertheless the suggestion is that we never believe (i.e. commit to truth) ever again. So you avoid an on-coming bus because the threat appears to be 'empirically adequate'. Hm. |
| 14917 | To accept a scientific theory, we only need to believe that it is empirically adequate [Fraassen] |
| Full Idea: Science aims to give us theories which are empirically adequate; and acceptance of a theory involves as belief only that it is empiricially adequate. | |
| From: Bas C. van Fraassen (The Scientific Image [1980], p.12), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1 | |
| A reaction: This won't tell us what to do if there is a tie between two theories, and we will want to know the criteria for 'adequate'. Presumably there are theories which are empirically quite good, but not yet acceptable. Theories commit beyond experience. |
| 7295 | Maybe induction is only reliable IF reality is stable [Mitchell,A] |
| Full Idea: Maybe we should say that IF regularities are stable, only then is induction a reliable procedure. | |
| From: Alistair Mitchell (talk [2006]), quoted by PG - Db (ideas) | |
| A reaction: This seems to me a very good proposal. In a wildly unpredictable reality, it is hard to see how anyone could learn from experience, or do any reasoning about the future. Natural stability is the axiom on which induction is built. |
| 6784 | Why should the true explanation be one of the few we have actually thought of? [Fraassen, by Bird] |
| Full Idea: Van Fraassen asks why we should think that the actual explanation of the evidence should be found among the theories we are considering, when there must be an infinity of theories which are also potential explanations of the evidence? | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4 | |
| A reaction: This has become one of the leading modern anti-realist arguments. We must introduce an element of faith here; presumably evolution makes us experts on immediate puzzles, competent on intermediate ones, and hopeful on remote ones. |
| 12769 | Inference to best explanation contains all sorts of hidden values [Fraassen] |
| Full Idea: The very phrase 'inference to the best explanation' should wave a red flag for us. What is good, better, best? What values are slipped in here, under a common name, and where do they come from? | |
| From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
| A reaction: A point worth making, but overstated. If we are going to refuse to make judgements for fear that some wicked 'value' might creep in, our lives will be reduced to absurdity. |
| 13066 | An explanation is just descriptive information answering a particular question [Fraassen, by Salmon] |
| Full Idea: On van Fraassen's theory an explanation is simply an answer to a why-question; it is nothing other than descriptive information that, in a given context, answers a particular type of question. | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Wesley Salmon - Four Decades of Scientific Explanation 4.3 | |
| A reaction: Presumably we would need some sort of criterion for a 'good' explanation, and it seems to me that a very good explanation might be given which was nevertheless beyond the grasp of the questioner. |
| 12768 | We accept many scientific theories without endorsing them as true [Fraassen] |
| Full Idea: The choice among theories in science may be a choice to accept in some sense falling far short of endorsement as true. | |
| From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
| A reaction: When put like this, it is hard to deny the force of Van Fraassen's reservations about science. Lots of people, including me, use scientific theories as working assumptions for life, with nothing like full confidence in their truth. |