Семантическая теория истины
Семантическая теория истины — это теория истины в философии языка, которая утверждает, что истина — это свойство предложений. [1]
Происхождение [ править ]
Семантическая , концепция истины, которая по-разному связана как с корреспондентной так и с дефляционной концепциями, возникла благодаря работам польского логика Альфреда Тарского . Тарский в книге «О понятии истины в формальных языках» (1935) попытался сформулировать новую теорию истины, чтобы разрешить парадокс лжеца . В ходе этого он сделал несколько метаматематических открытий, в первую очередь теорему о неопределимости Тарского, используя ту же формальную технику, которую Курт Гёдель использовал в своих теоремах о неполноте . Грубо говоря, это означает, что предикат истинности, удовлетворяющий соглашению T для предложений данного языка, не может быть определен внутри этого языка.
Теория истины Тарского [ править ]
Формулировать лингвистические теории [2] без семантических парадоксов , таких как парадокс лжеца , обычно необходимо отличать язык, о котором говорят ( объектный язык ), от языка, на котором говорят ( метаязык ). Далее текст в кавычках представляет собой использование объектного языка, а текст без кавычек — метаязыка; предложение в кавычках (например, « P метаязыка ») всегда является именем предложения, так что это имя представляет собой просто предложение P , представленное на объектном языке. Таким образом, метаязык можно использовать для разговора об объектном языке; Теория истины Тарского ( Альфред Тарский, 1935) требовала, чтобы объектный язык содержался в метаязыке.
Тарского Условие материальной адекватности , также известное как Конвенция Т , утверждает, что любая жизнеспособная теория истины должна влечь за собой для каждого предложения « Р » предложение следующей формы (известной как «форма (Т)»):
(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» истинно.
Они объясняют, как условия истинности сложных предложений (построенных из связок и кванторов ) могут быть сведены к условиям истинности их составляющих . Простейшими составляющими являются атомарные предложения . Современное семантическое определение истины определило бы истину для атомарных предложений следующим образом:
- Атомарное предложение F ( x 1 ,..., x n ) истинно (относительно присвоения значений переменным x 1 , ..., x n )), если соответствующие значения переменных , находятся в отношении выраженном соотношением предикат Ф.
Сам Тарский определил истинность атомарных предложений другим способом, не использующим никаких технических терминов из семантики, таких как «выраженное» выше. Это потому, что он хотел определить эти семантические термины в контексте истины. Поэтому было бы ошибочно использовать один из них в определении самой истины. Семантическая концепция истины Тарского играет важную роль в современной логике , а также в современной философии языка . Вопрос о том, следует ли считать семантическую теорию Тарского корреспондентной или дефляционной теорией , является довольно спорным . [3]
Теория истины Крипке [ править ]
Теория истины Крипке ( Саул Крипке 1975) основана на частичной логике (логике частично определенных предикатов истины вместо логики Тарского полностью определенных предикатов истины) с сильной схемой оценки Клини . [4]
См. также [ править ]
Ссылки [ править ]
- ^ Хейл, Боб; Райт, Криспин; Миллер, Александр, ред. (18 февраля 2017 г.). Компаньон по философии языка . Западный Суссекс , Англия: John Wiley & Sons . стр. 309–330 . дои : 10.1111/b.9780631213260.1999.00015.x . ISBN 9780631213260 . Проверено 28 февраля 2024 г. , п. 326
- ^ Части раздела адаптированы из Киркхэма, 1992.
- ^ Кемп, Гэри. Куайн против Дэвидсона: истина, ссылка и значение. Оксфорд, Англия: Издательство Оксфордского университета, 2012, стр. 110.
- ^ Аксиоматические теории истины (Стэнфордская энциклопедия философии)
Дальнейшее чтение [ править ]
- Саймон Блэкберн и Кейт Симмонс, ред., 1999. Правда . Издательство Оксфордского университета, ISBN 0-19-875250-4 .
- Майкл К. Батлер, 2017. Дефляционизм и семантические теории истины . Пендлбери Пресс, ISBN 0993594549 .
- Уилфрид Ходжес , 2001. Определения истины Тарского . В Стэнфордской энциклопедии философии .
- Ричард Киркхэм , 1992. Теории истины . Брэдфорд Книги, ISBN 0-262-61108-2 .
- Саул Крипке , 1975. «Очерк теории истины». Журнал философии , 72: 690–716.
- Альфред Тарский , 1935. «Понятие истины в формализованных языках» . Логика, семантика, метаматематика , Индианаполис: Хакетт, 1983, 2-е издание, 152–278.
- Альфред Тарский, 1944. Семантическая концепция истины и основы семантики . Философия и феноменологические исследования 4.
Внешние ссылки [ править ]
- Семантическая теория истины , Интернет-энциклопедия философии
- Определения истины Тарского (запись в Стэнфордской энциклопедии философии )
- Альфред Тарский , 1944. Семантическая концепция истины и основы семантики . Философия и феноменологические исследования 4.
