High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! The T-schema or truth 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 it can be formalized 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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.