20 ideas
| 21642 | If quantification is all substitutional, there is no ontology [Quine] |
| Full Idea: Ontology is meaningless for a theory whose only quantification is substitutionally construed. | |
| From: Willard Quine (Ontological Relativity [1968], p.64), quoted by Thomas Hofweber - Ontology and the Ambitions of Metaphysics 03.5.1 n18 | |
| A reaction: Hofweber views it as none the worse for that, since clearly lots of quantification has no ontological commitment at all. But he says it is rightly called 'a nominalists attempt at a free lunch'. |
| 15091 | Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker] |
| Full Idea: I favour restricting the term 'logical truth' to what logicians would count as such, excluding both analytic truths like 'Bachelors are unmarried' and Kripkean necessities like 'Gold is an element'. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I) | |
| A reaction: I agree. There is a tendency to splash the phrases 'logical truth' and 'logical necessity around in vague ways. I take them to strictly arise out of the requirements of formal systems of logic. |
| 1633 | Absolute ontological questions are meaningless, because the answers are circular definitions [Quine] |
| Full Idea: What makes ontological questions meaningless when taken absolutely is not universality but circularity. A question of the form "What is an F?" can only be answered with "An F is a G", which makes sense relative to the uncritical acceptance of G. | |
| From: Willard Quine (Ontological Relativity [1968], p.53) |
| 18964 | Ontology is relative to both a background theory and a translation manual [Quine] |
| Full Idea: Ontology is doubly relative. Specifying the universe of a theory makes sense only relative to some background theory, and only relative to some choice of a manual of translation of one theory into another. | |
| From: Willard Quine (Ontological Relativity [1968], p.54) | |
| A reaction: People tend to forget about the double nature of Quine's notion of ontological commitment, and usually only talk about the commitment of the theory being employed. Why is the philosophical community not devoting itself to the study of tranlation manuals? |
| 15095 | A property's causal features are essential, and only they fix its identity [Shoemaker] |
| Full Idea: The view I now favour says that the causal features of a property, both forward-looking and backward-looking, are essential to it. And it says that properties having the same causal features are identical. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: In this formulation we have essentialism about properties, as well as essentialism about the things which have the properties. |
| 15097 | I claim that a property has its causal features in all possible worlds [Shoemaker] |
| Full Idea: The controversial claim of my theory is that the causal features of properties are essential to them - are features that they have in all possible worlds. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: One problem is that a property can come in degrees, so what degree of the property is necessary to it? It is better to assign this claim to the fundamental properties (which are best called 'powers'). |
| 15094 | I now deny that properties are cluster of powers, and take causal properties as basic [Shoemaker] |
| Full Idea: I now reject the formulation of the causal theory which says that a property is a cluster of conditional powers. That has a reductionist flavour, which is a cheat. We need properties to explain conditional powers, so properties won't reduce. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: [compressed wording] I agree with Mumford and Anjum in preferring his earlier formulation. I think properties are broad messy things, whereas powers can be defined more precisely, and seem to have more stability in nature. |
| 14596 | Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr] |
| Full Idea: Just as there are no numbers or properties, there are no relations (like 'being heavier than' or 'betweenness'), or sets. I will provisionally use 'nominalism' for the conjunction of these four claims. | |
| From: Cian Dorr (There Are No Abstract Objects [2008], 1) | |
| A reaction: If you are going to be a nominalist, do it properly! My starting point in metaphysics is strong sympathy with this view. Right now [Tues 22nd Nov 2011, 10:57 am GMT] I think it is correct. |
| 14597 | Natural Class Nominalism says there are primitive classes of things resembling in one respect [Dorr] |
| Full Idea: Natural Class Nominalists take as primitive the notion of a 'natural' class - a class of things that all resemble one another in some one respect and resemble nothing else in that respect. | |
| From: Cian Dorr (There Are No Abstract Objects [2008], 4) | |
| A reaction: Dorr rejects this view because he doesn't believe in 'classes'. How committed to classes do you have to be before you are permitted to talk about them? All vocabulary (such as 'resemble') seems metaphysically tainted in this area. |
| 18965 | We know what things are by distinguishing them, so identity is part of ontology [Quine] |
| Full Idea: We cannot know what something is without knowing how it is marked off from other things. Identity is thus of a piece with ontology. | |
| From: Willard Quine (Ontological Relativity [1968], p.55) | |
| A reaction: Actually it is failure of identity which seems to raise questions of individuation. If I say 'this apple is [pause] identical to this apple', I don't see how that helps me to individuate apples. |
| 15099 | If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker] |
| Full Idea: If it is possible that there could be possible states of affairs that are not nomologically possible, don't we therefore need a notion of metaphysical possibility that outruns nomological possibility? | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: Shoemaker rejects this possibility (p.425). I sympathise. So there is 'natural' possibility (my preferred term), which is anything which stuff, if it exists, could do, and 'logical' possibility, which is anything that doesn't lead to contradiction. |
| 14598 | Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr] |
| Full Idea: If there are abstract objects, there are necessary truths about these things that cannot be reduced to truths of logic. So only the nominalist, who denies that there are any such things, can adequately respect the idea that there are no brute necessities. | |
| From: Cian Dorr (There Are No Abstract Objects [2008], 4) | |
| A reaction: This is where two plates of my personal philosophy grind horribly against one another. I love nominalism, and I love natural necessities. They meet like a ring-species in evolution. I'll just call it a 'paradox', and move on (swiftly). |
| 15101 | Once you give up necessity as a priori, causal necessity becomes the main type of necessity [Shoemaker] |
| Full Idea: Once the obstacle of the deeply rooted conviction that necessary truths should be knowable a priori is removed, ...causal necessity is (pretheoretically) the very paradigm of necessity, in ordinary usage and in dictionaries. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VII) | |
| A reaction: The a priori route seems to lead to logical necessity, just by doing a priori logic, and also to metaphysical necessity, by some sort of intuitive vision. This is a powerful idea of Shoemaker's (implied, of course, in Kripke). |
| 15098 | Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker] |
| Full Idea: We have abundant empirical evidence that when we can imagine some phenomenal situation, e.g., imagine things appearing certain ways, such a situation could actually exist. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: There seem to be good reasons for holding the opposite view too. We can imagine gold appearing to be all sorts of colours, but that doesn't make it possible. What does empirical evidence really tell us here? |
| 15100 | Imagination reveals conceptual possibility, where descriptions avoid contradiction or incoherence [Shoemaker] |
| Full Idea: Imaginability can give us access to conceptual possibility, when we come to believe situations to be conceptually possible by reflecting on their descriptions and seeing no contradiction or incoherence. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: If take the absence of contradiction to indicate 'logical' possibility, but the absence of incoherence is more interesting, even if it is a bit vague. He is talking of 'situations', which I take to be features of reality. A priori synthetic? |
| 1634 | Two things are relative - the background theory, and translating the object theory into the background theory [Quine] |
| Full Idea: Relativity has two components: to the choice of a background theory, and to the choice of how to translate the object theory into the background theory. | |
| From: Willard Quine (Ontological Relativity [1968], p.67) |
| 15096 | 'Grue' only has causal features because of its relation to green [Shoemaker] |
| Full Idea: Perhaps 'grue' has causal features, but only derivatively, in virtue of its relation to green. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: I take grue to be a behaviour, and not a property at all. The problem only arises because the notion of a 'property' became too lax. Presumably Shoemaker should also mention blue in his account. |
| 8470 | Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein] |
| Full Idea: For Quine, we cannot sensibly ask which is the real number five, the Frege-Russell set or the Von Neumann one. There is no arithmetical or empirical way of deciding between the two. Reference is inscrutable. | |
| From: report of Willard Quine (Ontological Relativity [1968]) by Alex Orenstein - W.V. Quine Ch.3 | |
| A reaction: To generalise from a problem of reference in the highly abstract world of arithmetic, and say that all reference is inscrutable, strikes me as implausible. |
| 18963 | Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine] |
| Full Idea: The indeterminacy between 'rabbit', 'rabbit stage' and the rest depended only on a correlative indeterminacy of translation of the English apparatus of individuation - pronouns, plurals, identity, numerals and so on. | |
| From: Willard Quine (Ontological Relativity [1968], p.35) | |
| A reaction: This spells out the problem a little better than in 'Word and Object'. I just don't believe these problems are intractable. Quine is like a child endlessly asking 'why?'. |
| 15093 | We might say laws are necessary by combining causal properties with Armstrong-Dretske-Tooley laws [Shoemaker] |
| Full Idea: One way to get the conclusion that laws are necessary is to combine my view of properties with the view of Armstrong, Dretske and Tooley, that laws are, or assert, relations between properties. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I) | |
| A reaction: This is interesting, because Armstrong in particular wants the necessity to arise from relations between properties as universals, but if we define properties causally, and make them necessary, we might get the same result without universals. |