Семантическая теория истины является теорией истины в философии языка , который считает , что истина является свойством предложений. [1]
Источник
Семантическая концепция истины, которая связана по - разному как в переписку и дефляционные концепции, из - за работу на польском логике Тарского . Тарский в своей работе «О концепции истины в формальных языках» (1935) попытался сформулировать новую теорию истины, чтобы разрешить парадокс лжецов . В ходе этого он сделал несколько метаматематических открытий, в первую очередь теорему Тарского о неопределенности, используя ту же формальную технику, которую Курт Гёдель использовал в своих теоремах о неполноте . Грубо говоря, это означает, что предикат истинности, удовлетворяющий Соглашению T для предложений данного языка, не может быть определен на этом языке.
Теория истины Тарского
Чтобы сформулировать лингвистические теории [2] без семантических парадоксов, таких как парадокс лжеца , обычно необходимо различать язык, о котором говорят ( объектный язык ), от языка, который используется для разговора ( метаязык ). Далее цитируемый текст - это использование объектного языка, а некотируемый текст - использование метаязыка; предложение в кавычках (такое как « P ») всегда является именем метаязыка для предложения, так что это имя является просто предложением P, переданным на языке объекта. Таким образом, метаязык можно использовать, чтобы говорить об объектном языке; Теория истины Тарского ( Альфред Тарский, 1935) требовала, чтобы объектный язык содержался в метаязыке.
Условие материальной адекватности Тарского , также известное как Конвенция T , гласит, что любая жизнеспособная теория истины должна включать для каждого предложения « P » предложение следующей формы (известной как «форма (T)»):
(1) «P» истинно тогда и только тогда , когда P.
Например,
(2) «снег белый» истинно тогда и только тогда, когда снег белый.
Эти предложения (1 и 2 и т. Д.) Стали называть «Т-предложениями». Причина, по которой они выглядят тривиально, состоит в том, что и объектный язык, и метаязык являются английскими; вот пример, где язык объекта - немецкий, а метаязык - английский:
(3) «Schnee ist weiß» истинно тогда и только тогда, когда снег белый.
Важно отметить, что, как первоначально сформулировал Тарский, эта теория применима только к формальным языкам . Он привел ряд причин не распространять свою теорию на естественные языки , в том числе проблему, заключающуюся в том, что не существует систематического способа определения того, правильно ли сформировано данное предложение естественного языка, и что естественный язык замкнут (то есть он может описывать семантические характеристики своих собственных элементов). Но подход Тарского был расширен Дэвидсоном в подход к теориям значения для естественных языков, который включает рассмотрение «истины» как примитивного, а не определенного понятия. (См. Семантику условий истинности .)
Тарский разработал теорию, чтобы дать индуктивное определение истины следующим образом. (См. Т-схему )
Для языка L, содержащего ¬ («не»), ¬ («и»), ∨ («или»), ∀ («для всех») и ∃ («существует»), индуктивное определение истины Тарским выглядит так: это:
- (1) Примитивное утверждение « » истинно тогда и только тогда, когда .
- (2) «¬ A » истинно тогда и только тогда, когда « A» не истинно.
- (3) « A ∧ B » истинно тогда и только тогда, когда « A» истинно, а « B» истинно .
- (4) « A ∨ B » истинно тогда и только тогда, когда « A» истинно или « B» истинно или (« A» истинно, а « B» истинно ).
- (5) «∀ x ( Fx )» истинно тогда и только тогда, когда для всех объектов x; "Fx" верно.
- (6) «∃ x ( Fx )» истинно тогда и только тогда, когда существует объект x, для которого истинно «Fx».
Они объясняют, как условия истинности сложных предложений (построенных из связок и кванторов ) могут быть сведены к условиям истинности их составляющих . Простейшие составные части - это атомарные предложения . Современное семантическое определение истины определило бы истину для атомарных предложений следующим образом:
- Атомарное предложение Р ( х 1 , ..., х п ) верно ( по отношению к заданию значений переменных х 1 , ..., х п )) , если соответствующие значения из переменных несут отношение , выраженный предикат F .
Сам Тарский определил истину для атомарных предложений вариантным способом, который не использует никаких технических терминов из семантики, таких как «выражено через» выше. Это потому, что он хотел определить эти семантические термины в контексте истины. Поэтому было бы неправильно использовать один из них в определении самой истины. Семантическая концепция истины Тарского играет важную роль в современной логике, а также в современной философии языка . Вопрос о том, следует ли считать семантическую теорию Тарского теорией соответствия или дефляционной теорией, является довольно спорным . [3]
Теория истины Крипке
Теория истины Крипке ( Saul Kripke 1975) основана на частичной логике (логике частично определенных предикатов истины вместо логики полностью определенных предикатов истины Тарского) с сильной схемой оценки Клини . [4]
Смотрите также
- Когерентизм
- Т-схема
- Парадигма триединого континуума
Рекомендации
- ^ Хейл, Боб; Райт, Криспин, ред. (1999). «Теории истины». Товарищ по философии языка . стр. 309 -330. DOI : 10.1111 / b.9780631213260.1999.00015.x . ISBN 9780631213260., п. 326
- ↑ Части раздела адаптированы из Kirkham, 1992.
- ^ Кемп, Гэри. Куайн против Дэвидсона: правда, ссылка и значение. Оксфорд, Англия: Издательство Оксфордского университета, 2012 г., стр. 110.
- ^ Аксиоматические теории истины (Стэнфордская энциклопедия философии)
дальнейшее чтение
- Саймон Блэкберн и Кейт Симмонс, ред., 1999. Правда . Издательство Оксфордского университета, ISBN 0-19-875250-4 .
- Майкл К. Батлер, 2017. Дефляционизм и семантические теории истины . Пендлбери Пресс, ISBN 0993594549 .
- Уилфрид Ходжес , 2001. Определения истины Тарского . В Стэнфордской энциклопедии философии .
- Ричард Киркхэм , 1992. Теории истины . Брэдфорд Букс, ISBN 0-262-61108-2 .
- Саул Крипке , 1975. «Очерк теории истины». Journal of Philosophy , 72: 690–716.
- Альфред Тарский , 1935. «Понятие истины в формализованных языках». Логика, семантика, метаматематика , Индианаполис: Hackett 1983, 2-е издание, 152–278.
- Альфред Тарский, 1944. Семантическая концепция истины и основы семантики . Философия и феноменологические исследования 4.
Внешние ссылки
- Семантическая теория истины , Интернет-энциклопедия философии
- Определения истины Тарского (статья в Стэнфордской энциклопедии философии )
- Альфред Тарский , 1944. Семантическая концепция истины и основы семантики . Философия и феноменологические исследования 4.