3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
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. |
17622 | We come to believe mathematical propositions via their grounding in the structure [Burge] |
Full Idea: A deeper justification for believing in [mathematical] propositions [apart from pragmatism] lies in finding their place in a logicist proof structure, by understanding the grounds within this structure that support them. | |
From: Tyler Burge (Frege on Knowing the Foundations [1998], 3) | |
A reaction: This generalises to doubting something until you see what grounds it. |
3789 | The more reasons that compel me, the freer I am [Descartes] |
Full Idea: I move the more freely towards an object in proportion to the number of reasons which compel me. | |
From: René Descartes (Letter to Mersenne [1642]) |