Combining Texts

All the ideas for 'fragments/reports', 'Truthmakers and Converse Barcan Formula' and 'The Problem of the Essential Indexical'

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


19 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
     Full Idea: The truthmaker principle seems compelling, because if a proposition is true, something must be different from a world in which it is false. The principle makes this specific, by treating 'something' as a quantifier binding a variable in name position.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: See Williamson for an examination of the logical implications of this. The point is that the principle seems to require some very specific 'thing', which may be asking too much. For a start, it might be the absence of a thing.
3. Truth / B. Truthmakers / 7. Making Modal Truths
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
     Full Idea: The converse Barcan formula does not allow any contingent truths at all to have a truthmaker. Once cannot combine the converse Barcan formula with any truthmaker principle worth having.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: One might reply, so much the worse for the converse Barcan formula, but Williamson doesn't think that.
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
     Full Idea: Friends of the truthmaker principle should reject the Kripke semantics of varying domains.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: See other ideas from this paper to get a sense of what that is about.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
     Full Idea: In S5, necessity and possibility are not themselves contingent matters. This is plausible for metaphysical modality, since metaphysical possibility, unlike practical possibility, does not depend on the contingencies of one's situation.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1)
     A reaction: This is the clearest statement I have found of why S5 might be preferable for metaphysics. See Nathan Salmon for the rival view. Williamson's point sounds pretty persuasive to me.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
     Full Idea: If the domain of propositional quantification is constant across worlds, the Barcan formula and its converse hold.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: So the issue is whether we should take metaphysics to be dealing with a constant or varying domains. Williamson seems to favour the former, but my instincts incline towards the latter.
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
     Full Idea: The converse Barcan is at least plausible, since its denial says there is something that could fail to meet a condition when everything met that condition; but how could everything meet that condition if that thing did not?
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: Presumably the response involves a discussion of domains, since everything in a given domain might meet a condition, but something in a different domain might fail it.
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
     Full Idea: We should not assume that all quantification is either objectual or substitutional.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], p.262)
     A reaction: [see Prior 1971:31-4] He talks of quantifying into sentence position.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
     Full Idea: If quantification into sentence position is substitutional, then it is metaphysically neutral. A substitutionally interpreted 'existential' quantification is semantically equivalent to the disjunction (possibly infinite) of its substitution instances.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: Is it not committed to the disjunction, just as the objectual reading commits to objects? Something must make the disjunction true. Or is it too verbal to be about reality?
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
     Full Idea: We should not assume that all quantification is objectual or substitutional.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
     Full Idea: If one uses 'fact' as a noun, the question arises why one cannot name the fact that dogs bark 'Mary'.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2 n10)
     A reaction: What an intriguing thought! Must all nouns pass this test? 'The courage of the regiment was called Alfred'?
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
     Full Idea: Consideration of our ability to count objects across possibilities strongly favour both the Barcan formula and its converse.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: I'm not sure that I can understand counting objects across possibilities. The objects themselves are possibilia, and possibilia seem to include unknowns. The unexpected is highly possible.
11. Knowledge Aims / A. Knowledge / 4. Belief / b. Elements of beliefs
Indexicals are a problem for beliefs being just subject-proposition relations [Perry]
     Full Idea: The essential indexical is a problem for the view that belief is a relation between subjects and propositions conceived as bearers of truth and falsity.
     From: John Perry (The Problem of the Essential Indexical [1979], 'Intro')
     A reaction: My immediate reaction would be that it depends on how you conceive of 'propositions'. If they are objective, you have a problem. I take them to be subjective events in brains, and the indexical meaning to be evident within the proposition.
19. Language / C. Assigning Meanings / 9. Indexical Semantics
If we replace 'I' in sentences about me, they are different beliefs and explanations of behaviour [Perry]
     Full Idea: If I leave a trail of sugar, and realise 'that I am making a mess', ...when we replace the word 'I' with other designations of me, we no longer have an explanation of my behaviour, or an attribution of the same belief, so it is an 'essential indexical'.
     From: John Perry (The Problem of the Essential Indexical [1979], 'Intro')
     A reaction: [compressed] A famous observation of Perry's, which leads him to challenge traditional accounts of belief and of propositions. I don't think I see a problem, if we have a thoroughly non-linguistic account of essentially unambiguous propositions.
Indexicals individuate certain belief states, helping in explanation and prediction [Perry]
     Full Idea: We use sentences with indexicals or relativized propositions to individuate belief states, for the purposes of classifying believers in ways useful for explanation and prediction.
     From: John Perry (The Problem of the Essential Indexical [1979], 'Obvious')
     A reaction: He goes on to apparently connect this with some sort of moral integrity involved in 'owning up' to the fact that the person in question is you (who has spilled the sugar etc.).
19. Language / D. Propositions / 6. Propositions Critique
Indexicals reveal big problems with the traditional idea of a proposition [Perry]
     Full Idea: The problem of the essential indexical reveals that something is badly wrong with the traditional doctrine of propositions.
     From: John Perry (The Problem of the Essential Indexical [1979], 'Prob')
     A reaction: See the reaction to 12149. The traditional view of propositions, or at least Russell's view, seems to be that they are same as facts, which strikes me as daft. I take propositions to be brain events, probably expressed in mentalese.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
     Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice.
     From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where?
27. Natural Reality / D. Time / 2. Passage of Time / c. Tenses and time
Tense is essential for thought and action [Perry, by Le Poidevin]
     Full Idea: Tense plays a crucial role in thought and action.
     From: report of John Perry (The Problem of the Essential Indexical [1979]) by Robin Le Poidevin - Past, Present and Future of Debate about Tense 3 a
     A reaction: This is important, because much of our metaphysics is dominated by a detached 'scientific' description of reality, which is given a rather passive character. If processes take centre stage, which they should, then our own processes are part of it.
Actual tensed sentences cannot be tenseless, because they can cite their own context [Perry, by Le Poidevin]
     Full Idea: In the new tenseless theory, no tensed token sentence can be equivalent to a tenseless token, because the former, unlike the latter, draws attention to the context in which it is tokened.
     From: report of John Perry (The Problem of the Essential Indexical [1979]) by Robin Le Poidevin - Past, Present and Future of Debate about Tense 3 a
     A reaction: So the problem about indexicals was worrying fans of the tenseless B-series view of time (and so it should). I'm inclined to translate sentences containing indexicals into their actual propositions, which tend to avoid them. 'Time/person of utterance'.
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]
     Full Idea: That there is just one necessary existent is surely false, for if x is a necessary, {x} is a distinct necessary existent.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1)
     A reaction: You would have to believe that sets actually 'exist' to accept this, but it is a very neat point.