Combining Texts

All the ideas for 'Demonstratives', 'Causal and Metaphysical Necessity' and 'Belief Truth and Knowledge'

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


14 ideas

5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker]
     Full Idea: I favour restricting the term 'logical truth' to what logicians would count as such, excluding both analytic truths like 'Bachelors are unmarried' and Kripkean necessities like 'Gold is an element'.
     From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I)
     A reaction: I agree. There is a tendency to splash the phrases 'logical truth' and 'logical necessity around in vague ways. I take them to strictly arise out of the requirements of formal systems of logic.
8. Modes of Existence / B. Properties / 1. Nature of Properties
A property's causal features are essential, and only they fix its identity [Shoemaker]
     Full Idea: The view I now favour says that the causal features of a property, both forward-looking and backward-looking, are essential to it. And it says that properties having the same causal features are identical.
     From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III)
     A reaction: In this formulation we have essentialism about properties, as well as essentialism about the things which have the properties.
I claim that a property has its causal features in all possible worlds [Shoemaker]
     Full Idea: The controversial claim of my theory is that the causal features of properties are essential to them - are features that they have in all possible worlds.
     From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III)
     A reaction: One problem is that a property can come in degrees, so what degree of the property is necessary to it? It is better to assign this claim to the fundamental properties (which are best called 'powers').
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
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.
10. Modality / A. Necessity / 5. Metaphysical Necessity
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.
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
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).
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker]
     Full Idea: We have abundant empirical evidence that when we can imagine some phenomenal situation, e.g., imagine things appearing certain ways, such a situation could actually exist.
     From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI)
     A reaction: There seem to be good reasons for holding the opposite view too. We can imagine gold appearing to be all sorts of colours, but that doesn't make it possible. What does empirical evidence really tell us here?
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?
12. Knowledge Sources / B. Perception / 7. Causal Perception
Maybe experience is not essential to perception, but only to the causing of beliefs [Armstrong, by Scruton]
     Full Idea: Armstrong has argued that experience, as normally understood, is not necessary to perception. To perceive is to acquire beliefs, through a causal process.
     From: report of David M. Armstrong (Belief Truth and Knowledge [1973]) by Roger Scruton - Modern Philosophy:introduction and survey 23.4
13. Knowledge Criteria / C. External Justification / 1. External Justification
Externalism says knowledge involves a natural relation between the belief state and what makes it true [Armstrong]
     Full Idea: Externalist accounts of non-inferential knowledge say what makes a true non-inferential belief a case of knowledge is some natural relation which holds between the belief state and the situation which makes the belief true.
     From: David M. Armstrong (Belief Truth and Knowledge [1973], 11.III.6)
     A reaction: Armstrong's concept is presumably a response to Quine's desire to 'naturalise epistemology'. Bad move, I suspect. It probably reduces knowledge to mere true belief, and hence a redundant concept.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
'Grue' only has causal features because of its relation to green [Shoemaker]
     Full Idea: Perhaps 'grue' has causal features, but only derivatively, in virtue of its relation to green.
     From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III)
     A reaction: I take grue to be a behaviour, and not a property at all. The problem only arises because the notion of a 'property' became too lax. Presumably Shoemaker should also mention blue in his account.
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
Indexicals have a 'character' (the standing meaning), and a 'content' (truth-conditions for one context) [Kaplan, by Macià/Garcia-Carpentiro]
     Full Idea: Kaplan distinguished two different semantic features of indexical expressions: a 'character' that captures the standing meaning of the expression, and a 'content' that consists of their truth-conditional contribution in particular contexts.
     From: report of David Kaplan (Demonstratives [1989]) by Macià/Garcia-Carpentiro - Introduction to 'Two-Dimensional Semantics' 1
     A reaction: This seems so clearly right that there isn't much to dispute. You can't understand the word 'I' or 'now' if you don't understand both its general purpose, and what it is doing in a particular utterance. But will this generalise to other semantics?
'Content' gives the standard modal profile, and 'character' gives rules for a context [Kaplan, by Schroeter]
     Full Idea: Kaplan sees two aspects of meaning, the 'content', reflecting a thing's modal profile, which is modelled by standard possible worlds semantics, and 'character', giving rules for different contexts. Proper names have constant character; indexicals vary.
     From: report of David Kaplan (Demonstratives [1989]) by Laura Schroeter - Two-Dimensional Semantics 1.1.1
     A reaction: This gives rise to 2-D matrices for representing meaning, and the possible worlds are used twice, for evaluating meaning and then for evaluating context of use. I've always been struck by the two-dimensional semantics of passwords.
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
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.