Combining Texts

All the ideas for 'The Metaontology of Abstraction', 'Counterpart theory and Quant. Modal Logic' and 'Among the Dead Cities'

unexpand these ideas     |    start again     |     specify just one area for these texts


19 ideas

2. Reason / F. Fallacies / 1. Fallacy
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.
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
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.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
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.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
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.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
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.
8. Modes of Existence / B. Properties / 3. Types of Properties
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.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
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.
9. Objects / D. Essence of Objects / 1. Essences of Objects
Aristotelian essentialism says essences are not relative to specification [Lewis]
     Full Idea: So-called 'Aristotelian essentialism' is the doctrine of essences not relative to specifications.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: In other words, they are so-called 'real essences', understood as de re. Quine says essences are all de dicto, and relative to some specification. I vote for Aristotle.
10. Modality / A. Necessity / 7. Natural Necessity
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
     Full Idea: Just as a sentence is necessary if it holds in all worlds, so it is causally necessary if it holds in all worlds compatible with the laws of nature.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], V)
     A reaction: I don't believe in the so-called 'laws of nature', so I'm not buying that. Is there no distinction in Lewis's view between those sentences which must hold, and those which happen to hold universally?
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
     Full Idea: Even if Humphrey is a modal continuant, it doesn't take the whole of him to do such things as winning.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], Post B)
     A reaction: This responds to Kripke's famous example, that people only care about what happens to themselves, and not to some 'counterpart' of themselves.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
     Full Idea: Probably Humphrey could not care less whether someone else, no matter how much resembling him, would have been victorious in another possible world. Thus Lewis's view seems even more bizarre that the usual transworld identification it replaces.
     From: comment on David Lewis (Counterpart theory and Quant. Modal Logic [1968]) by Saul A. Kripke - Naming and Necessity notes and addenda note 13
     A reaction: I begin to see this as a devastating reply to a theory I previously found quite congenial.
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
     Full Idea: Your counterparts resemble you closely in content and context in important respects. They resemble you more closely than do the other things in their worlds. But they are not really you.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: It is a dilemma. If my counterpart were exactly me, I couldn't contemplate possibly losing a leg, or my sanity. But if my counterpart isn't exactly me, then I don't have much interest in its fate. Only essences can save us here. Cf. me tomorrow.
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
     Full Idea: If whatever thing in world w6 it is that resembles you more closely than anything else in w6 is nevertheless quite unlike you; nothing in w6 resembles you at all closely. If so, you have no counterpart in w6.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: This is the nub, because the whole theory rests on deciding whether two things resemble sufficiently 'closely'. But then we need a criterion of closeness, so we must start talking about which properties matter. Essences loom.
Essential attributes are those shared with all the counterparts [Lewis]
     Full Idea: An essential attribute of something is an attribute it shares with all its counterparts.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: I don't like this. It ties essence entirely to identity, but I think essence precedes identity. Essence is a nexus of causal and explanatory powers which bestows an identity on each thing. But essence might be unstable, and identity with it.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
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.
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.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
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?
20. Action / C. Motives for Action / 5. Action Dilemmas / b. Double Effect
It is legitimate to do harm if it is the unintended side-effect of an effort to achieve a good [Grayling]
     Full Idea: The doctrine of double effect says that it is legitimate to do harm if the harm is the unintended side-effect of an effort to achieve a legitimate goal.
     From: A.C. Grayling (Among the Dead Cities [2006], Ch.6)
     A reaction: I think a key principle of morality is our duty to think about possible unnoticed consequences of our actions. To neglect concern for side-effects is wicked. Beyond that, the issue must concern the particulars of the situation.
25. Social Practice / E. Policies / 1. War / a. Just wars
War must also have a good chance of success, and be waged with moderation [Grayling]
     Full Idea: To Aquinas's three conditions for war (Idea 7291) modern theorists have added two others: that to be just a war must have a reasonable chance of success, and that the means used to conduct it must be proportional to the ends sought.
     From: A.C. Grayling (Among the Dead Cities [2006], Ch.6)
     A reaction: These two principles strike me as being much more civilized and humane than Aquinas's original contribution, suggesting that in our theoretical thinking we might be making some progress.