display all the ideas for this combination of texts
2 ideas
14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
Full Idea: A de dicto necessary truth says that something is φ, that this proposition is a necessary truth, i.e. that in every accessible world something (but not necessarily the same thing in each world) is φ. | |
From: Max J. Cresswell (Modal Logic [2001], 7.2.1) | |
A reaction: At last, a really clear and illuminating account of this term! The question is then invited of what is the truthmaker for a de dicto truth, assuming that the objects themselves are truthmakers for de re truths. |
16042 | The metaphysically and logically possible worlds are the same, so they are the same strength [Bennett,K] |
Full Idea: Metaphysical necessity is just as strong as logical necessity in that the space of metaphysical possibility is exactly the same as the space of logical possibility: the logically possible worlds = the metaphysically possible worlds. | |
From: Karen Bennett (Supervenience [2011], §3.1) | |
A reaction: I think this is wrong. To be the 'same strength' there would also have to be the same number of logical as metaphysical truths, and I presume that is not the case. There are far more logical than metaphysical possibilities. |