The Semantic Theory of Truth
The Semantic Theory of Truth The semantic theory of truth (STT, ci-après, par la suite) was developed by Alfred Tarski in the 1930s. The theory has two separate, although interconnected, aspects. D'abord, it is a formal mathematical theory of truth as a central concept of model theory, one of the most important branches of mathematical logic. Deuxième, it is also a philosophical doctrine which elaborates the notion of