T-schema («схема истины »; не путать с «Конвенция Т ») используется для индуктивного определения истины, лежащего в основе любой реализации семантической теории истины Альфреда Тарского . Некоторые авторы называют это «схемой эквивалентности», синонимом, введенным Майклом Даммитом.
. Т-схема часто выражается на естественном языке, но может быть формализована на многосортная логика предикатов или модальная логика ; такая формализация называется «Т-теорией ». T-теории составляют основу многих фундаментальных работ в философской логике, где они применяются в нескольких важных противоречиях в аналитической философии.
, как выражено на полуестественном языке (где S - это имя предложения, сокращенное до S): 'S' истинно тогда и только тогда, когда S
Пример: 'snow is white' истинно тогда и только тогда, когда снег белый.
С помощью схемы можно дать индуктивное определение истинности составных предложений. Атомарным предложениям значения истинности присваиваются дискотционно. Например, предложение «Снег белый» истинно »становится материально эквивалентным предложению« Снег белый », то есть« снег белый »истинен тогда и только тогда, когда снег белый. Истинность более сложных предложений определяется в терминах компонентов предложения:
Джозеф Хит указывает, что «анализ предиката истинности, обеспечиваемый схемой Т Тарского, не может обрабатывать все вхождения предиката истинности в естественном языке. В частности, схема T рассматривает только «автономные» применения предиката - случаи, когда он применяется к законченным предложениям ». Он называет «очевидной проблемой» предложение:
Хит утверждает, что анализ этого предложения с использованием Т-схемы дает фрагмент предложения - «все, во что верит Билл» - справа от Логическая двояковыпуклая.
.