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. |
21516 | We want certainty in order achieve secure results for action [Dewey] |
Full Idea: The ultimate ground of the quest for cognitive certainty is the need for security in the results for action. | |
From: John Dewey (The Quest for Certainty [1929], p.39), quoted by Erik J. Olsson - Against Coherence 10.5 | |
A reaction: Just what a pragmatist should say. This may be true within an evolutionary account of human nature, but seems unlikely when doing a sudoku. The 'ground' of the quest may not be the same as its 'source'. |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |
Full Idea: 'All ravens are black' might profitably be read as saying not that being a raven 'implies' being black, but rather something more like 'Consider the ravens: each one is black'. | |
From: Nuel D. Belnap (Conditional Assertion and Restricted Quantification [1970], p.7), quoted by Stephen Yablo - Aboutness 04.5 | |
A reaction: Belnap is more interested in the logic than in the paradox of confirmation, since he evidently thinks that universal generalisations should not be read as implications. I like Belnap's suggestion. |