Logical Truth - Truth Values and Tautologies

Truth Values and Tautologies

Considering different interpretations of the same statement leads to the notion of truth value. Simplest approach to truth values means that the statement may be "true" in one case, but "false" in another. In one sense of the term "tautology", it is any type of formula or proposition which turns out to be true under any possible interpretation of its terms (may also be called a valuation or assignment depending upon the context). This is synonymous to logical truth.

However, the term "tautology" is also commonly used to refer to what could more specifically called truth-functional tautologies. Whereas a tautology or logical truth is true solely because of the logical terms it contains in general (e.g. "every", "some", and "is"), a truth-functional tautology is true because of the logical terms it contains which are logical connectives (e.g. "or", "and", and "nor"). Not all logical truths are tautologies of such kind.

Read more about this topic:  Logical Truth

Famous quotes containing the words truth, values and/or tautologies:

    I am sorry to think that you do not get a man’s most effective criticism until you provoke him. Severe truth is expressed with some bitterness.
    Henry David Thoreau (1817–1862)

    Our culture is ill-equipped to assert the bourgeois values which would be the salvation of the under-class, because we have lost those values ourselves.
    Norman Podhoretz (b. 1930)

    Propositions show what they say: tautologies and contradictions show that they say nothing.
    Ludwig Wittgenstein (1889–1951)