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.
|
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.
|
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).
|
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?
|
9145
|
We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor]
|
|
Full Idea:
We call 'cardinal number' the general concept which, by means of our active faculty of thought, arises when we make abstraction from an aggregate of its various elements, and of their order. From this double abstraction the number is an image in our mind.
|
|
From:
George Cantor (Beitrage [1915], §1), quoted by Kit Fine - Cantorian Abstraction: Recon. and Defence Intro
|
|
A reaction:
[compressed] This is the great Cantor, creator of set theory, endorsing the traditional abstractionism which Frege and his followers so despise. Fine offers a defence of it. The Frege view is platonist, because it refuses to connect numbers to the world.
|
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.
|