more from this thinker     |     more from this text


Single Idea 10749

[filed under theme 3. Truth / B. Truthmakers / 7. Making Modal Truths ]

Full Idea

The definition of truth-makers entails that a truth-maker for a given necessary truth is equally a truth-maker for every other necessary truth.

Gist of Idea

Necessary truths seem to all have the same truth-maker

Source

Alex Oliver (The Metaphysics of Properties [1996], §24)

Book Ref

-: 'Mind' [-], p.73


A Reaction

Maybe we could accept this. Necessary truths concern the way things have to be, so all realities will embody them. Are we to say that nothing makes a necessary truth true?


The 10 ideas with the same theme [how truths of necessity and possibility are made true]:

One truthmaker will do for a contingent truth and for its contradictory [Armstrong]
What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong]
The truthmakers for possible unicorns are the elements in their combination [Armstrong]
In mathematics, truthmakers are possible instantiations of structures [Armstrong]
If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K]
Necessary truths seem to all have the same truth-maker [Oliver]
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
Maybe a truth-maker also works for the entailments of the given truth [Rami]
'True at a possibility' means necessarily true if what is said had obtained [Rumfitt]