Theory of truth (1935).
Semantic concept formalized by the Polish-American mathematician and logician Alfred Tarski (1902-1983), although other thinkers had previously discussed the idea.
Truth theory concerns the truth-values of sentence structures in various formal logical languages. Tarski suggested a table by which these values could be determined (although he was less sure about whether the same rules could be applied to natural languages).
Also see: correspondence theory of truth
Source:
A Tarski, ‘The Concept of Truth in Formalized Languages’, Logic, Semantics and Metamathe-matics (1956)
Table of Contents
- correspondence theory of truth
- truth conditional semantics
- redundancy theory of truth
- coherence theory of truth
- emotive theory of truth
Last update 2020-06-17. Price and product availability may change.