more from this thinker | more from this text
Full Idea
The truth-making relation is usually explicated in modal terms, ...but this lets in far too much. Any necessary truth will be grounded by anything. ...The fact that singleton Socrates exists will be a truth-maker for the proposition that Socrates exists.
Clarification
'Singleton Socrates' is the set with Socrates as its sole member
Gist of Idea
If the truth-making relation is modal, then modal truths will be grounded in anything
Source
Kit Fine (Guide to Ground [2012], 1.03)
Book Ref
'Metaphysical Grounding', ed/tr. Correia,F/Schnieder,B [CUP 2012], p.45
A Reaction
If truth-makers are what has to 'exist' for something to be true, then maybe nothing must exist for a necessity to be true - in which case it has no truth maker. Or maybe 2 and 4 must 'exist' for 2+2=4?
| 18384 | One truthmaker will do for a contingent truth and for its contradictory [Armstrong] |
| 18386 | What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong] |
| 18387 | The truthmakers for possible unicorns are the elements in their combination [Armstrong] |
| 18394 | In mathematics, truthmakers are possible instantiations of structures [Armstrong] |
| 17283 | If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K] |
| 10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
| 15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
| 15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
| 18343 | Maybe a truth-maker also works for the entailments of the given truth [Rami] |
| 18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |