more from this thinker     |     more from this text


Single Idea 18826

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

Full Idea

A statement is 'true at a possibility' if, necessarily, things would have been as the statement (actually) says they are, had the possibility obtained.

Gist of Idea

'True at a possibility' means necessarily true if what is said had obtained

Source

Ian Rumfitt (The Boundary Stones of Thought [2015], 6.6)

Book Ref

Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.181


A Reaction

This is deliberately vague about what a 'possibility' is, but it is intended to be more than a property instantiation, and less than a possible world.

Related Idea

Idea 18828 If two possibilities can't share a determiner, they are incompatible [Rumfitt]


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]