Combining Texts

All the ideas for 'Deflationary Metaontology of Thomasson', 'Vagueness and Contradiction' and 'Causality and Properties'

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


55 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
One system has properties, powers, events, similarity and substance [Shoemaker]
     Full Idea: There is a system of internally related concepts containing the notion of a property, the notion of a causal power, the concept of an event, the concept of similarity, and the concept of a persisting substance.
     From: Sydney Shoemaker (Causality and Properties [1980], §07)
     A reaction: A nice example of a modern metaphysical system, one which I find fairly congenial. His notion of events is Kim's, which involves his properties. The persisting substance is the one I am least clear about.
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Analysis aims at internal relationships, not reduction [Shoemaker]
     Full Idea: The goal of philosophical analysis should not be reductive analysis but rather the charting of internal relationships.
     From: Sydney Shoemaker (Causality and Properties [1980], §07)
     A reaction: See Idea 8558 for an attempt by Shoemaker himself. The idea that there has never been a successful analysis has become a truism among pessimistic analytic philosophers. But there are wonderful relationship maps (Quine, Davidson, Lewis, Lowe).
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
The paradox of analysis says that any conceptual analysis must be either trivial or false [Sorensen]
     Full Idea: The paradox of analysis says if a conceptual analysis states exactly what the original statement says, then the analysis is trivial; if it says something different from the original, then the analysis is mistaken. All analyses are trivial or false.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 8.5)
     A reaction: [source is G.E. Moore] Good analyses typically give explanations, or necessary and sufficient conditions, or inferential relations. At their most trivial they at least produce a more profound dictionary than your usual lexicographer. Not guilty.
2. Reason / B. Laws of Thought / 1. Laws of Thought
Two long understandable sentences can have an unintelligible conjunction [Sorensen]
     Full Idea: If there is an upper bound on the length of understandable sentences, then two understandable sentences can have an unintelligible conjunction.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 6.4)
     A reaction: Not a huge paradox about the use of the word 'and', perhaps, but a nice little warning to be clear about what is being claimed before you cheerfully assert a screamingly obvious law of thought, such as conjunction.
3. Truth / B. Truthmakers / 6. Making Negative Truths
If nothing exists, no truthmakers could make 'Nothing exists' true [Sorensen]
     Full Idea: If nothing exists, then there are no truthmakers that could make 'Nothing exists' true.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 11.2)
     A reaction: [He cites David Lewis] We may be confusing truth with facts. I take facts to be independent of minds, but truth only makes sense as a concept in the presence of minds which are endeavouring to think well.
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
Which toothbrush is the truthmaker for 'buy one, get one free'? [Sorensen]
     Full Idea: If I buy two toothbrushes on a 'buy one, get one free' offer, which one did I buy and which one did I get free? Those who believe that each contingent truth has a truthmaker are forced to believe that 'buy one, get one free' is false.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 11.6)
     A reaction: Nice. There really is no fact of which toothbrush is the free one. The underlying proposition must presumably be 'two for the price of one'. But you could hardly fault the first slogan under the Trades Descriptions Act.
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
No attempt to deny bivalence has ever been accepted [Sorensen]
     Full Idea: The history of deviant logics is without a single success. Bivalence has been denied at least since Aristotle, yet no anti-bivalent theory has ever left the philosophical nursery.
     From: Roy Sorensen (Vagueness and Contradiction [2001], Intro)
     A reaction: This is part of a claim that nothing in reality is vague - it is just our ignorance of the truth or falsity of some propositions. Personally I don't see why 'Grandad is bald' has to have a determinate truth value.
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
We now see that generalizations use variables rather than abstract entities [Sorensen]
     Full Idea: As philosophers gradually freed themselves from the assumption that all words are names, ..they realised that generalizations really use variables rather than names of abstract entities.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 8.4)
     A reaction: This looks like a key thought in trying to understand abstraction - though I don't think you can shake it off that easily. (For all x)(x-is-a-bird then x-has-wings) seems to require a generalised concept of a bird to give a value to the variable.
5. Theory of Logic / L. Paradox / 3. Antinomies
Denying problems, or being romantically defeated by them, won't make them go away [Sorensen]
     Full Idea: An unsolvable problem is still a problem, despite Wittgenstein's view that there are no genuine philosophical problems, and Kant's romantic defeatism in his treatment of the antinomies of pure reason.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 4.3)
     A reaction: I like the spin put on Kant, that he is a romantic in his defeatism. He certainly seems reluctant to slash at the Gordian knot, e.g. by being a bit more drastically sceptical about free will.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
Banning self-reference would outlaw 'This very sentence is in English' [Sorensen]
     Full Idea: The old objection to the ban on self-reference is that it is too broad; it bans innocent sentences such as 'This very sentence is in English'.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 11.1)
     A reaction: Tricky. What is the sigificant difference between 'this sentence is in English' and 'this sentence is a lie'? The first concerns context and is partly metalinguistic. The second concerns semantics and truth. Concept and content..
7. Existence / D. Theories of Reality / 10. Vagueness / c. Vagueness as ignorance
Vague words have hidden boundaries [Sorensen]
     Full Idea: Vague words have hidden boundaries. The subtraction of a single grain of sand might turn a heap into a non-heap.
     From: Roy Sorensen (Vagueness and Contradiction [2001], Intro)
     A reaction: The first sentence could be the slogan for the epistemic view of vagueness. The opposite view is Sainsbury's - that vague words are those which do not have any boundaries. Sorensen admits his view is highly counterintuitive. I think I prefer Sainsbury.
8. Modes of Existence / B. Properties / 1. Nature of Properties
Formerly I said properties are individuated by essential causal powers and causing instantiation [Shoemaker, by Shoemaker]
     Full Idea: My 1980 paper said properties are individuated by causal features - the contribution they make to the causal powers of things, and also how their instantiation can be caused. Collectively, these causal features are the essence of a property.
     From: report of Sydney Shoemaker (Causality and Properties [1980], I) by Sydney Shoemaker - Causal and Metaphysical Necessity
     A reaction: The later paper worries about uncertainty over individuation. The view I favour is that 'powers' is a much better term for what is basic, and this allows 'properties' to be the complex notion we use in real life, as innumberable power-combinations.
8. Modes of Existence / B. Properties / 5. Natural Properties
Genuine properties are closely related to genuine changes [Shoemaker]
     Full Idea: Our intuitions as to what are, and what are not, genuine properties are closely related to our intuitions as to what are, and what are not, genuine changes.
     From: Sydney Shoemaker (Causality and Properties [1980], §02)
     A reaction: A simple but brilliant insight. Somehow we must hack through the plethora of bogus properties and get to the real ones, cutting nature at the joints. Here we have the principle needed for the task.
Properties must be essentially causal if we can know and speak about them [Shoemaker]
     Full Idea: Only if some causal theory of properties is true can it be explained how properties are capable of engaging our knowledge, and our language, in the way they do.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: Exactly. This also the reason why epiphenomenalism doesn't make sense about consciousness (Idea 7379). The fact that something has causal powers doesn't mean that it just IS a causal power. A bomb isn't an explosion.
To ascertain genuine properties, examine the object directly [Shoemaker]
     Full Idea: There is a plausible way of distinguishing genuine and mere-Cambridge properties. To decide whether an emerald is green the thing to do is to examine it, but a mere-Cambridge property is settled by observations at a remote time and place.
     From: Sydney Shoemaker (Causality and Properties [1980], §06)
     A reaction: Scientific essentialism is beautifully simple! Schoemaker is good at connecting the epistemology to the ontology. If you examined a mirror, you might think it contained reflections.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
We should abandon the idea that properties are the meanings of predicate expressions [Shoemaker]
     Full Idea: I think we should abandon the idea that properties are the meanings of predicate expressions.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: Right. I have Shoemaker on my side, and he is a distinguished and senior member of the philosophical community. I don't just prefer not to use 'predicate' and 'property' indistinguishably - philosophers should really really give it up!
Some truths are not because of a thing's properties, but because of the properties of related things [Shoemaker]
     Full Idea: Sometimes a predicate is true of a thing, not because (or only because) of any properties it has, but because something else, perhaps something related to it in certain ways, has certain properties.
     From: Sydney Shoemaker (Causality and Properties [1980], §02)
     A reaction: I'm on mission to prize predicates and properties apart, and the strategy is to focus on what is true of something, given that this may not ascribe a property to the thing.
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
Things have powers in virtue of (which are entailed by) their properties [Shoemaker]
     Full Idea: There is a distinction between powers, and the properties in virtue of which things have they powers they have (n8: 'in virtue of' means that there is a lawlike truth, which turns out to be the properties entailing the powers).
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: To me this is an ontology which rests something very clear (a power) on something very indeterminate (a 'property').
One power can come from different properties; a thing's powers come from its properties [Shoemaker]
     Full Idea: It is possible to have the same power (e.g. being poisonous) in virtue of having very different properties. ..So it is in virtue of a thing's properties that the thing has the powers that it has.
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: This strikes me as an accurate and helpful picture. It means that true properties give rise to powers, and categorial or relational or whimsical properties must have their ontological status judged by that standard.
Properties are functions producing powers, and powers are functions producing effects [Shoemaker]
     Full Idea: Powers are functions from circumstances to causal effects, and properties (on which powers depend) can be thought of as functions from sets of properties to sets of powers. Maybe we should call properties 'second-order powers', as they produce powers.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: He presents property as both a function, and a component of the function. This is the core picture on which modern scientific essentialism is built. See under Natural Theory|Laws of Nature.
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Shoemaker says all genuine properties are dispositional [Shoemaker, by Ellis]
     Full Idea: I am against Shoemaker's strong dispositionalism, according to which all genuine properties are dispositional.
     From: report of Sydney Shoemaker (Causality and Properties [1980]) by Brian Ellis - The Metaphysics of Scientific Realism 3
     A reaction: This is because Ellis argues that some properties are categorical, and are needed to underly the active dispositional ones. I think I side with Shoemaker, but this needs more thought.
A causal theory of properties focuses on change, not (say) on abstract properties of numbers [Shoemaker]
     Full Idea: My account of properties concerns those with respect to which change is possible; it is not intended to apply to such properties of numbers as being even and being prime.
     From: Sydney Shoemaker (Causality and Properties [1980], §02)
     A reaction: You could argue that while these properties may not cause change, they are abstract powers. Being even allows division by 2, and being prime blocks it. I say patterns are the basis, and dividing groups of physical objects is involved.
'Square', 'round' and 'made of copper' show that not all properties are dispositional [Shoemaker]
     Full Idea: Surely we make a distinction beween dispositional and nondispositional properties, and can mention paradigms of both sorts. ....It seems plain that predicates like 'square', 'round' and 'made of copper' are not dispositional.
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: It might be possible to account for squareness and roundness in dispositional ways, and it is certainly plausible to say that 'made of copper' is not a property (even when it is a true predicate).
The identity of a property concerns its causal powers [Shoemaker]
     Full Idea: What makes a property the property it is, what determines its identity, is its potential for contributing to the causal powers of the things that have it.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: Does this mean that the 'potential' to act is the essence of the property, or is a property of the property, or is wholly identical with the property? Or is this just epistemological - whatever individuates the property for observers?
Properties are clusters of conditional powers [Shoemaker]
     Full Idea: A thing has a 'conditional power' when it has a power conditionally upon the possession of certain properties. ...We can then express my view by saying that properties are clusters of conditional powers.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: His example is a knife-shaped thing, which conditionally cuts wood if it is made of steel. Shoemaker rejected this in 1998. Mumford/Anjum prefer the earlier view. Which is fundamental? Powers are simple and primitive. Properties are complex.
Could properties change without the powers changing, or powers change without the properties changing? [Shoemaker]
     Full Idea: Could a thing undergo radical change with respect to its properties without undergoing any change in its causal powers, or undergo radical change in its causal powers without undergoing any change in the properties that underlie these powers?
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: I don't accept properties underlying powers, but these two questions at least force us to see how closely the two are linked.
If properties are separated from causal powers, this invites total elimination [Shoemaker]
     Full Idea: The disassociation of property identity from causal potentiality is an invitation to eliminate reference to properties from our explanatory hypotheses altogether.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: Just as epiphenomenalism about consciousness is a step towards eliminativism. This seems to describe Quine's reaction to Goodman, in moving from predicate nominalism to elimination of properties. I agree with Shoemaker.
The notions of property and of causal power are parts of a single system of related concepts [Shoemaker]
     Full Idea: The notion of a property and the notion of a causal power belong to a system of internally related concepts, no one of which can be explicated without the use of the other.
     From: Sydney Shoemaker (Causality and Properties [1980], §07)
     A reaction: Sounds good. It is hard to conceive of a property which has no causal powers, or a causal power that doesn't arise from a property.
Actually, properties are individuated by causes as well as effects [Shoemaker]
     Full Idea: I should probably modify my view, and say that properties are individuated by their possible causes as well as by their possible effects.
     From: Sydney Shoemaker (Causality and Properties [1980], §11)
     A reaction: (This is in an afterword responding to criticism by Richard Boyd) He doesn't use the word 'individuate' in the essay. That term always strikes me as smacking too much of epistemology, and not enough of ontology. Who cares how you individuate something?
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / b. Dispositions and powers
Dispositional predicates ascribe powers, and the rest ascribe properties [Shoemaker]
     Full Idea: By and large, dispositional predicates ascribe powers while nondispositional monadic predicates ascribe properties that are not powers in the same sense.
     From: Sydney Shoemaker (Causality and Properties [1980], §03)
     A reaction: The powers are where the properties come into contact with the rest of the world, so you would expect dispositions to be found at that level, rather than at the deeper level of properties. Sounds good to me.
8. Modes of Existence / D. Universals / 2. Need for Universals
Universals concern how things are, and how they could be [Shoemaker, by Bird]
     Full Idea: Shoemaker contends that universals concern the way things could be, not merely the way any things actually are.
     From: report of Sydney Shoemaker (Causality and Properties [1980]) by Alexander Bird - Nature's Metaphysics 3.2.2
     A reaction: If you want to retain universals within a scientific essentialist view (and I would rather not), then this seems like the only way to go.
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
Triangular and trilateral are coextensive, but different concepts; but powers and properties are the same [Shoemaker]
     Full Idea: It is natural to say that 'being triangular' and 'being trilateral', though necessarily coextensive, are different properties. But what are distinct are the concepts and meanings. If properties are not meanings of predicates, these are identical.
     From: Sydney Shoemaker (Causality and Properties [1980], §04)
     A reaction: A good test example. Being renate (kidney) and being cordate (heart) are different, because being cordate produces a thumping noise. Shoemaker's example is pretty much Phosphorus/Hesperus.
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J]
     Full Idea: Many decent candidates could the referent of this 'cup', differing over whether outlying particles are parts. No further sortal I could invoke will be selective enough to rule out all but one referent for it.
     From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1 n8)
     A reaction: I never had much faith in sortals for establishing individual identity, so this point comes as no surprise. The implication is strongly realist - that the cup has an identity which is permanently beyond our capacity to specify it.
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
An offer of 'free coffee or juice' could slowly shift from exclusive 'or' to inclusive 'or' [Sorensen]
     Full Idea: Sometimes an exclusive 'or' gradually develops into an inclusive 'or'. A restaurant offers 'free coffee or juice'. The customers ask for both, and gradually they are given it, first as a courtesy, and eventually as an expectation.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 7.2)
     A reaction: [compressed] A very nice example - of the rot of vagueness even seeping into the basic logical connectives. We don't have to accept it, though. Each instance of usage of 'or', by manager or customer, might be clearly one or the other.
9. Objects / D. Essence of Objects / 15. Against Essentialism
There is no subset of properties which guarantee a thing's identity [Shoemaker]
     Full Idea: There is, putting aside historical properties and 'identity properties', no subset of the properties of a thing which constitutes an individual essence, so that having those properties is necessary and sufficient for being that particular thing.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: He asserts this rather dogmatically. If he says a thing can lose its essence, I agree, but it seems to me that there must be a group of features which will guarantee that (if they are present) it has that identity.
9. Objects / F. Identity among Objects / 6. Identity between Objects
Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J]
     Full Idea: There can be determinately true identity claims despite indeterminate reference of the terms flanking the identity sign; these will be identity claims true under all admissible interpretations of the flanking terms.
     From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1)
     A reaction: In informal contexts there might be problems with the notion of what is 'admissible'. Is 'my least favourite physical object' admissible?
10. Modality / B. Possibility / 1. Possibility
Possible difference across worlds depends on difference across time in the actual world [Shoemaker]
     Full Idea: The ways in which a given thing can be different in different possible worlds depend on the ways in which such a thing can be different at different times in the actual world.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: Where change in a thing is possible across time in the actual world seems to require a combination of experiment and imagination. Unimaginability does not entail necessity, but it may be the best guide we have got.
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
'Conceivable' is either not-provably-false, or compatible with what we know? [Shoemaker]
     Full Idea: We could use 'conceivable' to say it is not provable that it is not the case, or we could use it to say that it is compatible with what we know.
     From: Sydney Shoemaker (Causality and Properties [1980], §10)
     A reaction: Rather significant, since the first one would seem to allow in a great deal that the second one would rule out. Any disproof of some natural possibility founders on the remark that 'you never know'.
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
It is possible to conceive what is not possible [Shoemaker]
     Full Idea: It is possible to conceive what is not possible.
     From: Sydney Shoemaker (Causality and Properties [1980], §10)
     A reaction: The point here is that, while we cannot clearly conceive the impossible in a world like mathematics, we can conceive of impossible perceptions in the physical world, such as a bonfire burning under water.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
It is propositional attitudes which can be a priori, not the propositions themselves [Sorensen]
     Full Idea: The primary bearer of apriority is the propositional attitude (believing, knowing, guessing and so on) rather than the proposition itself. A proposition could be a priori to homo sapiens but a posteriori to Neandethals.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 6.3)
     A reaction: A putative supreme being is quite useful here, who might even see the necessity of Arsenal beating Manchester United next Saturday. Unlike infants, adults know a priori that square pegs won't fit round holes.
Attributing apriority to a proposition is attributing a cognitive ability to someone [Sorensen]
     Full Idea: Every attribution of apriority to a proposition is tacitly an attribution of a cognitive ability to some thinker.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 6.3)
     A reaction: The ability would include a range of background knowledge, as well as a sheer power of intellect. If you know all of Euclid's theorems, you will spot facts about geometrical figues quicker than me. His point is important.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
The colour bands of the spectrum arise from our biology; they do not exist in the physics [Sorensen]
     Full Idea: The bands of colour in a colour spectrum do not correspond to objective discontinuities in light wavelengths. These apparently external bands arise from our biology rather than simple physics.
     From: Roy Sorensen (Vagueness and Contradiction [2001], Intro)
     A reaction: If any more arguments are needed to endorse the fact that some qualities are clearly secondary (and, to my amazement, such arguments seem to be very much needed), I would take this to be one of the final conclusive pieces of evidence.
12. Knowledge Sources / B. Perception / 5. Interpretation
We are unable to perceive a nose (on the back of a mask) as concave [Sorensen]
     Full Idea: The human perceptual system appears unable to represent a nose as concave rather than convex. If you look at the concave side of a mask, you see the features as convex.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 4.3)
     A reaction: I don't think that is quite true. You wouldn't put a mask on if you thought it was convex. It is usually when seen at a distance with strong cross-lighting that the effect emerges. Nevertheless, it is an important point.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
Bayesians build near-certainty from lots of reasonably probable beliefs [Sorensen]
     Full Idea: Bayesians demonstrate that a self-correcting agent can build an imposing edifice of near-certain knowledge from numerous beliefs that are only slightly more probable than not.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 6.1)
     A reaction: This strikes me as highly significant for the coherence account of justification, even if one is sceptical about the arithmetical approach to belief of Bayesianism. It seems obvious that lots of quite likely facts build towards certainty, Watson.
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
Illusions are not a reason for skepticism, but a source of interesting scientific information [Sorensen]
     Full Idea: Philosophers tend to associate illusions with skepticism. But since illusions are signs of modular construction, they are actually reason for scientific hope. Illusions have been very useful in helping us to understand vision.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 1.4)
     A reaction: This is a nice reversal of the usual view. If I see double, it reveals to me that my eyes are not aligned properly. Anyone led to scepticism by illusions should pay more attention to themselves, and less to the reality they hope to know directly.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Grueness is not, unlike green and blue, associated with causal potential [Shoemaker]
     Full Idea: Grueness, as defined by Goodman, is not associated in the way greenness and blueness are with causal potentialities.
     From: Sydney Shoemaker (Causality and Properties [1980], §06)
     A reaction: Expressed rather more simply in Idea 7296. 'Grue' is a characteristic production of a predicate nominalist (i.e. Goodman), and that theory is just wrong. The account of properties must mesh with the account of induction.
19. Language / A. Nature of Meaning / 5. Meaning as Verification
The negation of a meaningful sentence must itself be meaningful [Sorensen]
     Full Idea: The negation of any meaningful sentence must itself be meaningful.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 8.1)
     A reaction: Nice. Compare 'there is another prime number beyond the highest one we have found' with its negation. The first seems verifiable in principle, but the second one doesn't. So the verificationist must deny Sorensen's idea?
19. Language / D. Propositions / 4. Mental Propositions
Propositions are what settle problems of ambiguity in sentences [Sorensen]
     Full Idea: Propositions play the role of dis-ambiguators; they are the things between which utterances are ambiguous.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 7.7)
     A reaction: I have become a great fan of propositions, and I think this is one of the key reasons for believing in them. The proposition is what we attempt to pin down when asked 'what exactly did you mean by what you just said?'
25. Social Practice / A. Freedoms / 4. Free market
I can buy any litre of water, but not every litre of water [Sorensen]
     Full Idea: I am entitled to buy any litre of water, but I am not entitled to buy every litre of water.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 6.3)
     A reaction: A decent social system must somehow draw a line between buying up all the water and buying up all the paintings of Vermeer. Even the latter seems wicked, but it is hard to pin down the reason.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
If causality is between events, there must be reference to the properties involved [Shoemaker]
     Full Idea: Any account of causality as a relation between events should involve, in a central way, reference to the properties of the constituent objects of the events.
     From: Sydney Shoemaker (Causality and Properties [1980], §01)
     A reaction: This remark, with which I wholeheartedly agree, is aimed at Davidson, who seems to think you need know no more about an event than the way in which someone chooses to describe it. Metaphysics must dig deeper, even if science can't.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
If causal laws describe causal potentialities, the same laws govern properties in all possible worlds [Shoemaker]
     Full Idea: To the extent that causal laws can be viewed as propositions describing the causal potentialities of properties, it is impossible that the same properties should be governed by different causal laws in different possible worlds.
     From: Sydney Shoemaker (Causality and Properties [1980], §08)
     A reaction: [He has just asserted that causal potentialities are essential to properties] This is the dramatic basic claim of scientific essentialism, which grows out of Shoemaker's causal account of properties. Note that the laws are just descriptions.
If properties are causal, then causal necessity is a species of logical necessity [Shoemaker]
     Full Idea: My theory of properties as causal appears to have the consequence that causal laws are logically necessary, and that causal necessity is just a species of logical necessity.
     From: Sydney Shoemaker (Causality and Properties [1980], §09)
     A reaction: Where he writes 'logical' necessity I would claim that he really means 'metaphysical' necessity. The point, I take it, is that given the existence of those properties, certain causal efforts must always follow from them. I agree.
If a world has different causal laws, it must have different properties [Shoemaker]
     Full Idea: If there are worlds in which the causal laws are different from those that prevail in this world, ..then the properties will have to be different as well.
     From: Sydney Shoemaker (Causality and Properties [1980], §09)
     A reaction: The next question is whether the same stuff (e.g. gold or water) could have different properties, and I take the the scientific essentialism answer to be 'no'. So the actual stuff (substances?) would have to be different.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
It looks as if the immutability of the powers of a property imply essentiality [Shoemaker]
     Full Idea: There is a prima facie case for saying that the immutability of the causal potentialities of a property implies their essentiality. ...If they cannot vary across time, they also cannot vary across possible worlds.
     From: Sydney Shoemaker (Causality and Properties [1980], §05)
     A reaction: This is only the beginning of scientific essentialism, but one of the targets is to save the phenomena. It is also involves unimaginability (of different powers from a given property) implying necessity.
28. God / A. Divine Nature / 4. Divine Contradictions
God cannot experience unwanted pain, so God cannot understand human beings [Sorensen]
     Full Idea: Theologians worry that God may be an alien being. God cannot feel pain since pain is endured against one's will. God is all powerful and suffers nothing against His Will. To understand pain, one must experience pain. So God's power walls him off from us.
     From: Roy Sorensen (Vagueness and Contradiction [2001], 3.2)
     A reaction: I can't think of a good theological reply to this. God, and Jesus too (presumably), can only experience pain if they volunteer for it. It is inconceivable that they could be desperate for it to stop, but were unable to achieve that.