20 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. |
21695 | The set scheme discredited by paradoxes is actually the most natural one [Quine] |
Full Idea: Each proposed revision of set theory is unnatural, because the natural scheme is the unrestricted one that the antinomies discredit. | |
From: Willard Quine (The Ways of Paradox [1961], p.16) | |
A reaction: You can either takes this free-far-all version of set theory, and gradually restrain it for each specific problem, or start from scratch and build up in safe steps. The latter is (I think) the 'iterated' approach. |
21693 | Russell's antinomy challenged the idea that any condition can produce a set [Quine] |
Full Idea: In the case of Russell's antinomy, the tacit and trusted pattern of reasoning that is found wanting is this: for any condition you can formulate, there is a class whose members are the things meeting the condition. | |
From: Willard Quine (The Ways of Paradox [1961], p.11) | |
A reaction: This is why Russell's Paradox is so important for set theory, which in turn makes it important for the foundations of mathematics. |
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. |
21691 | Antinomies contradict accepted ways of reasoning, and demand revisions [Quine] |
Full Idea: An 'antinomy' produces a self-contradiction by accepted ways of reasoning. It establishes that some tacit and trusted pattern of reasoning must be made explicit and henceforward be avoided or revised. | |
From: Willard Quine (The Ways of Paradox [1961], p.05) | |
A reaction: Quine treats antinomies as of much greater importance than mere paradoxes. It is often possible to give simple explanations of paradoxes, but antinomies go to the root of our belief system. This was presumably Kant's intended meaning. |
21690 | Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine] |
Full Idea: The Achilles argument is that (if the front runner keeps running) each time the pursuer reaches a spot where the pursuer has been, the pursued has moved a bit beyond. | |
From: Willard Quine (The Ways of Paradox [1961], p.03) | |
A reaction: Quine is always wonderfully lucid, and this is the clearest simple statement of the paradox. |
21689 | A barber shaves only those who do not shave themselves. So does he shave himself? [Quine] |
Full Idea: In a certain village there is a barber, who shaves all and only those men in the village who do not shave themselves. So does the barber shave himself? The barber shaves himself if and only if he does not shave himself. | |
From: Willard Quine (The Ways of Paradox [1961], p.02) | |
A reaction: [Russell himself quoted this version of his paradox, from an unnamed source] Quine treats his as trivial because it only concerns barbers, but the full Russell paradox is a major 'antinomy', because it concerns sets. |
21694 | Membership conditions which involve membership and non-membership are paradoxical [Quine] |
Full Idea: With Russell's antinomy, ...each tie the trouble comes of taking a membership condition that itself talks in turn of membership and non-membership. | |
From: Willard Quine (The Ways of Paradox [1961], p.13) | |
A reaction: Hence various stipulations to rule out vicious circles or referring to sets of the 'wrong type' are invoked to cure the problem. The big question is how strong to make the restrictions. |
21692 | If we write it as '"this sentence is false" is false', there is no paradox [Quine] |
Full Idea: If we supplant the sentence 'this sentence is false' with one saying what it refers to, we get '"this sentence is false" is false'. But then the whole outside sentence attributes falsity no longer to itself but to something else, so there is no paradox. | |
From: Willard Quine (The Ways of Paradox [1961], p.07) | |
A reaction: Quine is pointing us towards type theory and meta-languages to solve the problem. We now have the Revenge Liar, and the problem has not been fully settled. |
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. |
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. |
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. |
12314 | Audience-relative explanation, or metaphysical explanation based on information? [Stanford] |
Full Idea: Rather than an 'interest-relative' notion of explanation (Putnam), it can be informational content which makes an explanation, which is an 'audience-invariant' contraint, which is not pragmatic, but mainly epistemological and also partly metaphysical. | |
From: Michael Stanford (Explanation: the state of play [1991], p.172) | |
A reaction: [compressed summary of Ruben 1990] Examples given are that Rome burning explains Nero fiddling, even if no one ever says so, and learning that George III had porphyria explains his madness. |
12313 | Explanation is for curiosity, control, understanding, to make meaningful, or to give authority [Stanford] |
Full Idea: There are a number of reasons why we explain: out of sheer curiosity, to increase our control of a situation, to help understanding by simplifying or making familiar, to confer meaning or significance, and to give scientific authority to some statement. | |
From: Michael Stanford (Explanation: the state of play [1991], p.172) |
12315 | We can explain by showing constitution, as well as showing causes [Stanford] |
Full Idea: The powerful engine of my car can be explained by an examination of each of its parts, but it is not caused by them. They do not cause the engine; they constitute it. | |
From: Michael Stanford (Explanation: the state of play [1991], p.174) | |
A reaction: [example from Ruben 1990:221] This could be challenged, since there is clearly a causal connection between the constitution and the whole. We distinguish engine parts which contribute to the power from those which do not. |
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. |
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? |