Т-схема - T-schema

T-схема ( «истина схема », не следует путать с « Конвенцией T ») используется , чтобы дать индуктивное определение истины , которая лежит в основе любой реализации Альфред Тарского «s семантической теории истины . Некоторые авторы называют это «схемой эквивалентности», синонимом, введенным Майклом Даммитом .

T-схема часто выражается на естественном языке , но ее можно формализовать в многоуровневой логике предикатов или модальной логике ; такая формализация называется « Т-теорией ». Т-теории составляют основу многих фундаментальных работ по философской логике , где они применяются в нескольких важных дискуссиях в аналитической философии .

Как выражено на полуестественном языке (где 'S' - это название предложения, сокращенного до S): 'S' истинно тогда и только тогда, когда S.

Пример: «снег белый» истинно тогда и только тогда, когда снег белый.

Индуктивное определение

Используя схему, можно дать индуктивное определение истинности составных предложений. Атомарным предложениям значения истинности присваиваются произвольно . Например, предложение «снег белый» истинно »становится материально эквивалентным предложению« снег белый », то есть« снег белый »истинен тогда и только тогда, когда снег белый. Истинность более сложных предложений определяется в терминах компонентов предложения:

• Предложение формы «A и B» истинно тогда и только тогда, когда A истинно, а B истинно.
• Предложение формы «A или B» истинно тогда и только тогда, когда A истинно или B истинно.
• Предложение формы «если A, то B» истинно тогда и только тогда, когда A ложно или B истинно; увидеть материальный подтекст .
• Предложение формы «не А» истинно тогда и только тогда, когда А ложно.
• Предложение формы «для всех x, A ( x )» истинно тогда и только тогда, когда для каждого возможного значения x истинно A ( x ).
• Предложение формы «для некоторого x, A ( x )» истинно тогда и только тогда, когда для некоторого возможного значения x истинно A ( x ).

Естественные языки

Джозеф Хит отмечает, что «анализ предиката истинности, предоставляемый схемой Т Тарского, не способен обработать все вхождения предиката истинности на естественном языке. В частности, схема T рассматривает только« автономные »варианты использования предиката - случаи, когда он применяется к законченным предложениям ". Он называет «очевидной проблемой» предложение:

• Все, во что верит Билл, правда.

Хит утверждает, что анализ этого предложения с использованием Т-схемы порождает фрагмент предложения - «все, во что верит Билл» - на правой стороне логического двоякого условия .

Смотрите также

• Принцип двухвалентности
• Закон исключенного среднего

Рекомендации

Внешние ссылки

• Залта, Эдвард Н. (ред.). «Определения истины Тарского» . Стэнфордская энциклопедия философии .
• Залта, Эдвард Н. (ред.). «Последствия семантических парадоксов» . Стэнфордская энциклопедия философии .