25 ideas
| 12442 | 'Mickey Mouse is a fictional mouse' is true without a truthmaker [Azzouni] |
| Full Idea: 'Mickey Mouse is a fictional mouse' can be taken as true without have any truthmaker. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
| A reaction: There might be an equivocation over 'true' here. 'What, really really true that he IS a fictional mouse?' |
| 12439 | Truth is dispensable, by replacing truth claims with the sentence itself [Azzouni] |
| Full Idea: No truth predicate is ever indispensable, because Tarski biconditionals, the equivalences between sentences and explicit truth ascriptions to those sentences, allow us to replace explicit truth ascriptions with the sentences themselves. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.1) | |
| A reaction: Holding a sentence to be true isn't the same as saying that it is true, and it isn't the same as saying the sentence, because one might say it in an ironic tone of voice. |
| 12437 | Truth lets us assent to sentences we can't explicitly exhibit [Azzouni] |
| Full Idea: My take on truth is a fairly deflationary one: The role of the truth predicate is to enable us to assent to sentences we can't explicitly exhibit. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Intro) | |
| A reaction: Clearly this is a role for truth, as in 'I forget what he said, but I know it was true', but it isn't remotely what most people understand by true. We use 'true' about totally explicit sentences all the time. |
| 12446 | Names function the same way, even if there is no object [Azzouni] |
| Full Idea: Names function the same way (semantically and grammatically) regardless of whether or not there's an object that they refer to. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3 n55) | |
| A reaction: I take this to be a fairly clear rebuttal of the 'Fido'-Fido view of names (that the meaning of the name IS the dog), which never seems to quite go away. A name is a peg on which description may be hung, seems a good slogan to me. |
| 12447 | That all existents have causal powers is unknowable; the claim is simply an epistemic one [Azzouni] |
| Full Idea: If the argument isn't that, metaphysically speaking, anything that exists must have causal powers - how on earth would we show that? - rather, the claim is an epistemic one. Any thing we're in a position to know about we must causally interact with. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
| A reaction: A very good point. I am attracted to causal power as a criterion for existence, but Azzouni's distinction is vital. Maybe there is just no point in even talking about things which exist but have no causal powers. |
| 12445 | If fictional objects really don't exist, then they aren't abstract objects [Azzouni] |
| Full Idea: It's robustly part of common sense that fictional objects don't exist in any sense at all, and this means they aren't abstracta either. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
| A reaction: Nice. It is so easy to have some philosopher dilute and equivocate over the word 'object' until you find yourself committed to all sorts of daft things as somehow having objectual existence. We can discuss things which don't exist in any way at all. |
| 12449 | Modern metaphysics often derives ontology from the logical forms of sentences [Azzouni] |
| Full Idea: It is widespread in contemporary metaphysics to extract commitments to various types of object on the basis of the logical form of certain sentences. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7) | |
| A reaction: I'm with Azzouni in thinking that this procedure is a very bad idea. I'm increasingly inclined towards the wild view that people are only ontologically committed to things if they explicitly say that they are so committed. |
| 12440 | If objectual quantifiers ontologically commit, so does the metalanguage for its semantics [Azzouni] |
| Full Idea: The argument that objectual quantifiers are ontologically committing has the crucial and unnoticed presupposition that the language in which the semantics for the objectual quantifiers is couched (the 'metalanguage') also has quantifiers with commitment. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
| A reaction: That is, presumably we find ourselves ontologically committed to the existence of quantifiers, and are also looking at an infinite regress. See Idea 12439. |
| 12438 | In the vernacular there is no unequivocal ontological commitment [Azzouni] |
| Full Idea: There are no linguistic devices, no idioms (not 'there is', not 'exists') that unequivocally indicate ontological commitment in the vernacular. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Intro) | |
| A reaction: This seems right, since people talk in such ways about soap opera, while understanding the ontological situation perfectly well. Presumably Quine is seeking higher standards than the vernacular, if we are doing science. |
| 12441 | We only get ontology from semantics if we have already smuggled it in [Azzouni] |
| Full Idea: A slogan: One can't read ontological commitments from semantic conditions unless one has already smuggled into those semantic conditions the ontology one would like to read off. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
| A reaction: The arguments supporting this are subtle, but it's good enough for me, as I never thought anyone was ontologically committed just because they used the vagueries of language to try to say what's going on around here. |
| 13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
| Full Idea: The scholastics treated it as a step in the right explanatory direction to analyze a relational statement of the form 'aRb' into two subject-predicate statements, attributing different relational predicates to a and to b. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2.1) | |
| A reaction: The only alternative seems to be Russell's view of relations as pure universals, having a life of their own, quite apart from their relata. Or you could take them as properties of space, time (and powers?), external to the relata? |
| 12448 | Things that don't exist don't have any properties [Azzouni] |
| Full Idea: Things that don't exist don't have any properties. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
| A reaction: Sounds reasonable! I totally agree, but that is because my notion of properties is sparse and naturalistic. If you identify properties with predicates (which some weird people seem to), then non-existents can have properties like 'absence' or 'nullity'. |
| 13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
| Full Idea: If we go for the necessity-of-origins view, A and B are different if the origin of A is different from the origin of B. But one is left with the further question 'When is the origin of A distinct from the origin of B?' | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: There may be an answer to this, in a regress of origins that support one another, but in the end the objection is obviously good. You can't begin to refer to an 'origin' if you can't identify anything in the first place. |
| 13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
| Full Idea: Scholastics distinguished criteria of numerical difference from questions of individuation proper, since numerical difference is a symmetrical notion. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: This apparently old-fashioned point appears to be conclusively correct. Modern thinkers, though, aren't comfortable with proper individuation, because they don't believe in concepts like 'essence' and 'substance' that are needed for the job. |
| 13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
| Full Idea: There is a contemporary property construal of haecceities, ...and a Scotistic construal as primitive, 'colourless' thisnesses which, unlike singleton-set haecceities, are aimed to do some explanatory work. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.4) | |
| A reaction: [He associates the contemporary account with David Kaplan] I suppose I would say that individuation is done by properties, but not by some single property, so I take it that I don't believe in haecceities at all. What individuates a haecceity? |
| 13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
| Full Idea: We could think of 'substance' on the model of a mass noun, rather than a count noun. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.3) | |
| A reaction: They offer this to help Leibniz out of a mess, but I think he would be appalled. The proposal seems close to 'prime matter' in Aristotle, which never quite does the job required of it. The idea is nice, though, and should be taken seriously. |
| 13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
| Full Idea: In the 'blueprint' approach to substance, we confront at least three questions: What is it for a thing to be an individual substance? What is it for a thing to be the kind of substance that it is? What is it to be that very individual substance? | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.1) | |
| A reaction: My working view is that the answer to the first question is that substance is essence, that the second question is overrated and parasitic on the third, and that the third is the key question, and also reduces to essence. |
| 13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
| Full Idea: There is a widespread assumption, now and in the past, that substances are essentially substances: nothing is actually a substance but possibly a non-substance. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2) | |
| A reaction: It seems to me that they clearly mean, in this context, that substances are 'necessarily' substances, not that they are 'essentially' substances. I would just say that substances are essences, and leave the necessity question open. |
| 13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
| Full Idea: The modern view of essence is that the essence of a particular thing is given by the set of predicate-functions essential to it, and the essence of any kind is given by the set of predicate-functions essential to every possible member of that kind. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.2.2) | |
| A reaction: Thus the modern view has elided the meanings of 'essential' and 'necessary' when talking of properties. They are said to be 'functions' from possible worlds to individuals. The old view (and mine) demands real essences, not necessary properties. |
| 17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
| Full Idea: The modern essentialist gives the same metaphysical treatment to every grammatical predicate - by associating a function from worlds to extensions for each. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2) | |
| A reaction: I take this to mean that essentialism is the view that if some predicate attaches to an object then that predicate is essential if there is an extension of that predicate in all possible worlds. In English, essential predicates are necessary predicates. |
| 13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
| Full Idea: A necessity-of-origins approach cannot work to distinguish things that come into being genuinely ex nihilo, and cannot work to distinguish things sharing a single origin. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1) | |
| A reaction: Since I am deeply suspicious of essentiality or necessity of origin (and they are not, I presume, the same thing) I like these two. Twins have always bothered me with the second case (where order of birth seems irrelevant). |
| 13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
| Full Idea: It might be suggested that even the extreme modal realist can countenance transworld identity for abstract objects. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 3.2.2 n46) | |
| A reaction: This may sound right for uncontroversial or well-defined abstracta such as numbers and circles, but even 'or' is ambiguous, and heaven knows what the transworld identity of 'democracy' is! |
| 13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
| Full Idea: The philosopher comfortable with an 'order of being' has richer resources to make sense of the 'in virtue of' relation than that provided only by causal relations between states of affairs, positing in addition other sorts of explanatory relationships. | |
| From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2) | |
| A reaction: This might best be characterised as 'ontological dependence', and could be seen as a non-causal but fundamental explanatory relationship, and not one that has to depend on a theistic world view. |
| 19423 | By an 'idea' I mean not an actual thought, but the resources we can draw on to think [Leibniz] |
| Full Idea: What I mean by an idea is not a certain act of thinking, but a power or faculty such that we have an idea of a thing even if we are not thinking about it but know that we can think it when the occasion arises. | |
| From: Gottfried Leibniz (What is an Idea? [1676], p.281) | |
| A reaction: 'Idea' tends to be used in the seventeenth century to mean an actual mental event. It is because Leibniz believes in the unconscious mind that he can offer this rather different, and probably superior, notion of an 'idea'. |
| 12450 | The periodic table not only defines the elements, but also excludes other possible elements [Azzouni] |
| Full Idea: The periodic table not only governs what elements there can be, with their properties, but also explicitly excludes others sorts of elements, because the elements are individuated by the number of discrete protons in their nuclei. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7) | |
| A reaction: It has to be central to the thesis of scientific essentialism that the possibilities in nature are far more restricted than is normally thought, and this observation illustrates the view nicely. He makes a similar point about subatomic particles. |