display all the ideas for this combination of texts
3 ideas
15134 | 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. |
15140 | 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. |
15141 | 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. |