more from this thinker     |     more from this text


Single Idea 12910

[filed under theme 3. Truth / A. Truth Problems / 1. Truth ]

Full Idea

In a true proposition the concept of the predicate is always present in the subject.

Gist of Idea

The predicate is in the subject of a true proposition

Source

Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)

Book Ref

Leibniz,Gottfried: 'The Leibniz-Arnauld Correspondence', ed/tr. Mason,HT/Parkinson,GHR [Manchester UP 1967], p.58


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.

Related Idea

Idea 19333 A truth is just a proposition in which the predicate is contained within the subject [Leibniz]


The 31 ideas with the same theme [whether truth exists, and what it is in general]:

Truth is a matter of asserting correct combinations and separations [Aristotle]
Simple and essential truth seems to be given, with further truth arising in thinking [Aristotle]
Truth is either intuiting a way of being, or a putting together [Aristotle]
The concept of truth was originated by the senses [Lucretius]
There cannot be more than one truth [Cicero]
Anselm of Canterbury identified truth with God [Anselm, by Engel]
Truth is universal, but knowledge of it is not [Aquinas]
Types of lying: Speak lies, intend lies, intend deception, aim at deceptive goal? [Aquinas, by Tuckness/Wolf]
Truth is its own standard [Spinoza]
A truth is just a proposition in which the predicate is contained within the subject [Leibniz]
The predicate is in the subject of a true proposition [Leibniz]
Truth consists of having the same idea about something that God has [Joubert]
Truth is a property of a belief, but dependent on its external relations, not its internal qualities [Russell]
For Heidegger there is 'ontic' truth or 'uncoveredness', as in "he is a true friend" [Heidegger, by Wrathall]
Truth is a value of thought [Weil]
Truth is a relation between a representation ('bearer') and part of the world ('truthmaker') [Martin,CB]
'The rug is green' might be warrantedly assertible even though the rug is not green [Putnam]
Putnam's epistemic notion of truth replaces the realism of correspondence with ontological relativism [Putnam, by O'Grady]
It is part of the concept of truth that we aim at making true statements [Dummett]
A sentence is held true because of a combination of meaning and belief [Davidson]
Rules of reasoning precede the concept of truth, and they are what characterize it [Pollock]
The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich]
A true proposition is consistent with every other true proposition [Scruton]
The epistemic theory of truth presents it as 'that which is licensed by our best theory of reality' [O'Grady]
To say a relative truth is inexpressible in other frameworks is 'weak', while saying it is false is 'strong' [O'Grady]
Some truths have true negations [Beall/Restall]
Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles [Horsten]
Truth is a property, because the truth predicate has an extension [Horsten]
Truth-value 'gluts' allow two truth values together; 'gaps' give a partial conception of truth [Halbach]
Truth axioms prove objects exist, so truth doesn't seem to be a logical notion [Halbach]
The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt]