display all the ideas for this combination of texts
3 ideas
| 12910 | The predicate is in the subject of a true proposition [Leibniz] |
| Full Idea: In a true proposition the concept of the predicate is always present in the subject. | |
| From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
| A reaction: This sounds very like the Kantian notion of an analytic truth, but Leibniz is applying it to all truths. So Socrates must contain the predicate of running as part of his nature (or essence?), if 'Socrates runs' is to be true. |
| 19333 | A truth is just a proposition in which the predicate is contained within the subject [Leibniz] |
| Full Idea: In every true affirmative proposition, necessary or contingent, universal or particular, the concept of the predicate is in a sense included in that of the subject; the predicate is present in the subject; or else I do not know what truth is. | |
| From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14) | |
| A reaction: Why did he qualify this with "in a sense"? This is referred to as the 'concept containment theory of truth'. This is an odd view of the subject. If the truth is 'Peter fell down stairs', we don't usually think the concept of Peter contains such things. |
| 10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
| Full Idea: Sentences or assertions can be derivately called true, if they succeed in expressing determinate propositions. A sentence can be ambiguous or vague or paradoxical or ungrounded or not declarative or a mere expression of feeling. | |
| From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.276) | |
| A reaction: Lewis has, of course, a peculiar notion of what a proposition is - it's a set of possible worlds. I, with my more psychological approach, take a proposition to be a particular sort of brain event. |