18 ideas
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
| Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
| From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 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'. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 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) |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 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? |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 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. |
| 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) |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 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. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 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?'. |