WikiDer > Семантическая теория истины

А семантическая теория истины это теория истины в философия языка который утверждает, что истина является свойством предложений.^[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".

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

• Атомарное предложение F(Икс₁,...,Икс_п) истинно (относительно назначение значений переменных Икс₁, ..., Икс_п)) если соответствующий значения из переменные нести связь выраженный предикат F.

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

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

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

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

• Когерентизм
• Т-схема
• Парадигма триединого континуума

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

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

• Саймон Блэкберн и Кейт Симмонс, ред., 1999. Правда. Издательство Оксфордского университета, ISBN 0-19-875250-4.
• Майкл К. Батлер, 2017. Дефляционизм и семантические теории истины. Пендлбери Пресс, ISBN 0993594549.
• Уилфрид Ходжес, 2001. Определения истины Тарского. в Стэнфордская энциклопедия философии.
• Ричард Киркхэм, 1992. Теории истины. Брэдфорд Букс, ISBN 0-262-61108-2.
• Саул Крипке, 1975. «Очерк теории истины». Журнал Философии, 72: 690–716.
• Альфред Тарский, 1935. "Понятие истины в формализованных языках". Логика, семантика, метаматематика, Индианаполис: Hackett 1983, 2-е издание, 152–278.
• Альфред Тарский, 1944 год. Семантическое понятие истины и основы семантики. Философия и феноменологические исследования 4.

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

• Семантическая теория истины, Интернет-энциклопедия философии
• Определения истины Тарского (запись Стэнфордская энциклопедия философии)
• Альфред Тарский, 1944. Семантическое понятие истины и основы семантики. Философия и феноменологические исследования 4.