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. |
| 17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
| Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic. | |
| From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1) | |
| A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence. |
| 7413 | Without confidence in our beliefs, how should we actually live? [Tuck] |
| Full Idea: The central question for sceptics is if we lose confidence in the truth of most existing beliefs, then how do we actually live? | |
| From: Richard Tuck (Hobbes [1989], Ch.4) | |
| A reaction: Scepticism is not, of course, all or nothing. You can lead a 'normal' life in a virtual reality machine. I find it much more of a struggle to live if I lose faith in values, than if I lose faith in tables. |