display all the ideas for this combination of texts
2 ideas
| 15452 | We could not uphold a truthmaker for 'Fa' without structures [Lewis] |
| Full Idea: We could not, without structures, uphold the principle that every truth has a truthmaker. If Fa is true, the truthmaker is not F, not a, nor both together; not their mereological sum; not a set-theoretic construction. These would exist just the same. | |
| From: David Lewis (Comment on Armstrong and Forrest [1986], p.109) | |
| A reaction: This point ought to trouble Lewis, as well as Armstrong and Forrest. If we assert 'Fa', we must (in any theory) have some idea of what unites them, as well as of their separate existence. It must a fact about 'a', not a fact about 'F'. |
| 8443 | Mereological essentialism says an entity must have exactly those parts [Sosa] |
| Full Idea: Mereological essentialism says that nothing else could have been the unique entity composed of certain parts except the very thing that is composed of those parts. | |
| From: Ernest Sosa (Varieties of Causation [1980], 2) | |
| A reaction: This sounds initially implausible. It means the ship of Theseus ceases to be that ship if you change a single nail of it. Whether we say that seems optional, but if we do, it leads to the collaps of all our normal understanding of identity. |