17962 | The truth-maker principle is that every truth has a sufficient truth-maker |
Full Idea: Item x is said to be a sufficient truth-maker for truth-bearer p just in case necessarily if x exists then p is true. ...Every truth has a sufficient truth-maker. Hence, I take it, the sum of all sufficient truth-makers is a universal truth-maker. | |
From: Peter Forrest (General Facts,Phys Necessity, and Metaph of Time [2006], 1) | |
A reaction: Note that it is not 'necessary', because something else might make p true instead. |
15432 | Structural universals might serve as possible worlds |
Full Idea: Forrest proposed that structural universals should serve as ersatz possible worlds. | |
From: report of Peter Forrest (Ways Worlds Could Be [1986]) by David Lewis - Against Structural Universals 'Intro' | |
A reaction: I prefer powers to property universals. Perhaps a possible world is a maximal set of co-existing dispositions? |