T-schema

From Wikipedia, the free encyclopedia

The T-schema (also known as Convention T) is the inductive definition that lies at the heart of any realisation of Alfred Tarski's semantic theory of truth, expressing the commutation of truth over logical operators.

The T-schema is often expressed in natural language, but they readily admit formalisation in many-sorted predicate logic or modal logic; such a formalisation is called a T-theory. T-theories form the basis of much fundamental work in philosophical logic, where they are applied in several important controversies in analytic philosophy. They are also a fundamental intuition behind model theory; or to put it another way, model theory implements them.