Ad
related to: the semantic theory of truth
Search results
Results From The WOW.Com Content Network
A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences. [1] Origin
This approach to semantics is principally associated with Donald Davidson, and attempts to carry out for the semantics of natural language what Tarski's semantic theory of truth achieves for the semantics of logic. [1] Truth-conditional theories of semantics attempt to define the meaning of a given proposition by explaining when the sentence is ...
The semantic theory of truth has as its general case for a given language: 'P' is true if and only if P. where 'P' refers to the sentence (the sentence's name), and P is just the sentence itself. Tarski's theory of truth (named after Alfred Tarski) was developed for formal languages, such as formal logic.
Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as truth-conditional semantics, which was pioneered by Donald Davidson. Kripke semantics introduces innovations, but is broadly in the Tarskian mold.
In philosophy and logic, a deflationary theory of truth (also semantic deflationism [1] or simply deflationism) is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.
The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett. [1]
Then referring to the semantic theory of truth, interpretations are used to formulate a presupposition: "Every interpretation which makes the question truly answerable is an interpretation which makes the presupposed sentence true as well."
To illustrate with an example: suppose that, in a particular truth theory [2] which is a theory of truth where truth is somehow made acceptable despite semantic terms as close as possible, the word "Nixon" refers to Richard M. Nixon, and "is alive" is associated with the set of currently living things.