4 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. |
12723 | The most primitive thing in substances is force, which leads to their actions and dispositions [Leibniz] |
Full Idea: Since everything that one conceives in substances reduces to their actions and passions and to the dispositions that they have for this effect, I don't see how one can find there anything more primitive than the principle of all of this, which is force. | |
From: Gottfried Leibniz (Letters to Jacques Lenfant [1693], 1693.11.25), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
A reaction: This is an attempt to connect Aristotelian essentialism with the notion of force in the new physics, and strikes me as an improvement on the original, and as good a basis for metaphysics as any I have heard of. |
15160 | Davidson rejected ordinary meaning, and just used truth and reference instead [Davidson, by Soames] |
Full Idea: Davidson held that knowledge of truth and reference could give us a notion of meaning. He embraced Quine's rejection of analyticity, synonymy and ordinary meaning, and substituted truth and reference, when there was something genuine to capture. | |
From: report of Donald Davidson (Semantics for Natural Languages [1970]) by Scott Soames - Philosophy of Language 2.3 | |
A reaction: I always get a warm glow when anyone suggests that the concept of meaning involves the concept of truth. I largely reject Quine. Davidson made a helpful suggestion! |
14612 | Davidson aimed to show that language is structured by first-order logic [Davidson, by Smart] |
Full Idea: Davidson's program was to show the underlying structure of natural languages as that of first-order logic. | |
From: report of Donald Davidson (Semantics for Natural Languages [1970], 2) by J.J.C. Smart - The Tenseless Theory of Time 2 | |
A reaction: First order logic just reasons about a domain of objects with predicates attached to them. Language appears to refer to properties and relations as well as objects. |