T-схема ( «истина схема », не следует путать с « Конвенцией T ») используется , чтобы дать индуктивное определение истины , которая лежит в основе любой реализации Альфред Тарского «s семантической теории истины . Некоторые авторы называют это «схемой эквивалентности», синонимом, введенным Майклом Даммитом . [1]
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 ).
Естественные языки [ править ]
Джозеф Хит указывает [2], что «анализ предиката истинности, предоставляемый схемой Т Тарского, не способен обработать все вхождения предиката истинности на естественном языке. В частности, схема T рассматривает только« автономные »варианты использования предиката - случаи, когда это применяется к законченным предложениям ". Он называет «очевидной проблемой» предложение:
- Все, во что верит Билл, правда.
Хит утверждает, что анализ этого предложения с использованием Т-схемы генерирует фрагмент предложения - «все, во что верит Билл» - на правой стороне логического двоякого условия .
См. Также [ править ]
Ссылки [ править ]
- ^ Вольфганг Кюнне (2003). Представления об истине . Кларендон Пресс. п. 18 . ISBN 978-0-19-928019-3.
- ^ Джозеф Хит (2001). Коммуникативное действие и рациональный выбор . MIT Press. п. 186. ISBN. 978-0-262-08291-4.
Внешние ссылки [ править ]
- Залта, Эдвард Н. (ред.). «Определения истины Тарского» . Стэнфордская энциклопедия философии .
- Залта, Эдвард Н. (ред.). «Последствия семантических парадоксов» . Стэнфордская энциклопедия философии .
