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

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

Семантическая теория истины является теорией истины в философии языка , который считает , что истина является свойством предложений.

Происхождение

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

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

Чтобы сформулировать лингвистические теории без семантических парадоксов, таких как парадокс лжеца , обычно необходимо различать язык, о котором говорят ( объектный язык ), от языка, который используется для разговора ( метаязык ). В дальнейшем цитируемый текст - это использование объектного языка, а некотируемый текст - использование метаязыка; предложение в кавычках (например, « 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».

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

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

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

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

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

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

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

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

внешние ссылки