Семантическая теория истины - Semantic theory of truth

«Конвенция Т» перенаправляется сюда. Не следует путать с Т-схема.

А семантическая теория истины это теория истины в философия языка который утверждает, что истина является свойством предложений.[1]

Источник

В семантический концепция истины, которая по-разному связана как с переписка и дефляционный концепции, из-за работы Польский логик Альфред Тарский. Тарский в работе «О концепции истины в формальных языках» (1935) попытался сформулировать новую теорию истины, чтобы разрешить парадокс лжеца. В ходе этого он сделал несколько метаматематических открытий, в первую очередь Теорема Тарского о неопределенности используя ту же формальную технику Курт Гёдель используется в его теоремы о неполноте. Грубо говоря, это означает, что предикат истинности, удовлетворяющий Конвенция T для предложений данного языка не могут быть определены в этот язык.

Теория истины Тарского

Сформулировать лингвистические теории[2] без смысловой парадоксы такой как парадокс лжеца, обычно необходимо различать язык, о котором идет речь ( объектный язык ) с языка, на котором говорят ( метаязык ). Далее цитируемый текст - это использование объектного языка, а нецитированный текст - использование метаязыка; цитируемое предложение (например, "п") всегда является метаязыком имя для предложения, так что это имя просто предложение п отображается на объектном языке. Таким образом, метаязык можно использовать, чтобы говорить об объектном языке; Теория истины Тарского (Альфред Тарский 1935) требовал, чтобы объектный язык содержался в метаязыке.

Тарского условие материального соответствия, также известный как Конвенция T, считает, что любая жизнеспособная теория истины должна включать для каждого предложения "п", предложение следующей формы (известное как" форма (T) "):

(1) "P" верно если и только если, П.

Например,

(2) «снег белый» истинно тогда и только тогда, когда снег белый.

Эти предложения (1, 2 и т. Д.) Стали называть «Т-предложениями». Причина, по которой они выглядят тривиально, заключается в том, что и объектный язык, и метаязык являются английскими; вот пример, где язык объекта - немецкий, а метаязык - английский:

(3) «Schnee ist weiß» истинно тогда и только тогда, когда снег белый.

Важно отметить, что, как первоначально сформулировал Тарский, эта теория применима только к формальные языки. Он привел ряд причин не распространять свою теорию на естественные языки, в том числе проблема, заключающаяся в том, что не существует систематического способа определения того, правильно ли сформировано данное предложение естественного языка, и что естественный язык закрыто (то есть может описывать семантические характеристики собственных элементов). Но подход Тарского был расширен Дэвидсон в подход к теориям смысл для естественных языков, что предполагает трактовку «истины» как примитивного, а не определенного понятия. (Видеть истинно-условная семантика.)

Тарский разработал теорию, чтобы дать индуктивное определение истины следующим образом.

Для языка L содержащее ¬ («не»), ∧ («и»), ∨ («или»), ∀ («для всех») и ∃ («существует»), индуктивное определение истины Тарским выглядит так:

  • (1) Примитивное утверждение "А"верно тогда и только тогда, когда, А.
  • (2) "¬А"верно тогда и только тогда, когда"А " не правда.
  • (3) "А∧B"верно тогда и только тогда, когда"А "верно и "B "верно.
  • (4) "А∨B"верно тогда и только тогда, когда"А "верно или же "B "верно или же ("А "верно и "B "верно).
  • (5) "∀Икс(Fx) "истинно тогда и только тогда, когда для всех объектов x;" Fx "истинно.
  • (6) "∃Икс(Fx) "истинно тогда и только тогда, когда существует объект Икс для которого верно "Fx".

Они объясняют, как истинные условия сложный предложения (построенные из связки и кванторы ) сводятся к условиям истинности их составляющие. Самые простые составляющие: атомарные предложения. Современное семантическое определение истины определило бы истину для атомарных предложений следующим образом:

Сам Тарский определил истину для атомарных предложений вариантным способом, который не использует никаких технических терминов из семантики, таких как «выражено через» выше. Это потому, что он хотел определить эти семантические термины в контексте истины. Поэтому было бы неправильно использовать один из них в определении самой истины. Семантическая концепция истины Тарского играет важную роль в современная логика а также в современном философия языка. Вопрос о том, следует ли считать семантическую теорию Тарского либо теория соответствия или как дефляционная теория.[3]

Теория истины Крипке

Смотрите также: Истина § семантика Крипке

Теория истины Крипке (Саул Крипке 1975) основан на частичной логике (логике частично определенных предикаты истины вместо логики полностью определенных предикатов истинности Тарского) с сильная схема оценки Клини.[4]

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

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

  1. ^ Хейл, Боб; Райт, Криспин, ред. (1999). «Теории истины». Товарищ по философии языка. стр.309 –330. Дои:10.1111 / б.9780631213260.1999.00015.x. ISBN  9780631213260., п. 326
  2. ^ Части раздела адаптированы из Kirkham, 1992.
  3. ^ Кемп, Гэри. Куайн против Дэвидсона: правда, ссылка и значение. Оксфорд, Англия: Издательство Оксфордского университета, 2012 г., стр. 110.
  4. ^ Аксиоматические теории истины (Стэнфордская энциклопедия философии)

дальнейшее чтение

внешняя ссылка