СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ
- СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ
- СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ
-
— формально-логическое уточнение классической (корреспондентной) концепции истины, экспликация интуитивного представления об истине как соответствии реальности, разработанная в логико-семантической теории А. Тарского. Впервые эта концепция была изложена Тарским в 1933. Непосредственным поводом к ее формулировке послужило стремление преодолеть присущие естественному языку семантические парадоксы (типа известного парадокса «Лжец»). В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, «семантически замкнутыми», т.е. содержащими как сами выражения, так и их имена, а также семантические термины типа «истинно», применимые по отношению к выражениям определенного языка. При этом Тарский исходил из принципиальной возможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости. Первому требованию отвечает следующая формулировка (т.н. конвенция-Т): «Р» истинно, если и только если P, которая не является тавтологией, поскольку здесь четко различаются стоящее справа предложение, обозначающее определенную ситуацию в реальности (Р), и стоящее слева имя этого предложения («Р»). Второму требованию отвечает перевод предложения Р из формализованного объектного языка в более богатый метаязык, в котором оказывается возможным построить непротиворечивое определение истины и др. семантических понятий. В свою очередь, семантика метаязыка определяется в метаметаязыке, и так до бесконечности. Эта концепция истины сыграла важную роль в разработке методов построения семантики формализованных языков. Развивая концепцию Тарского, К. Поппвр к Д. Дэвидсон показали впоследствии ее применимость к неформализованным, естественным языкам.
Философия: Энциклопедический словарь. — М.: Гардарики.
Под редакцией А.А. Ивина.
2004.
- СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ
-
Новая философская энциклопедия: В 4 тт. М.: Мысль.
Под редакцией В. С. Стёпина.
2001.
.
Полезное
Смотреть что такое "СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ" в других словарях:
СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ — формально логическое уточнение классической (корреспондентной) концепции истины, экспликация интуитивного представления об истине как соответствии реальности, разработанное в логико семантической теории Тарского. Впервые эта концепция была… … Современная западная философия. Энциклопедический словарь
семантическое понятие истины — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… … Словарь терминов логики
истины семантическое понятие — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… … Словарь терминов логики
КОРРЕСПОНДЕНТНАЯ ТЕОРИЯ ИСТИНЫ — КОРРЕСПОНДЕНТНАЯ ТЕОРИЯ ИСТИНЫ совокупность методологических направлений, определяющих истинность некоторого фрагмента знания (высказывания, теории) через соответствие (лат. correspondentia) объекту этого знания; основным вариантом… … Философская энциклопедия
ФИЛОСОФСКАЯ ЛОГИКА — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в 19 в. отделилась («отпочковалась») от философии и перестала … Философская энциклопедия
СЕМАНТИКА — раздел семиотики, в котором изучаются значение и смысл различных знаковых форм, в т. ч. и языковых знаков и выражений. Выделение С. в качестве части семиотики, наряду с теорией синтаксиса синтактикой и теорией употребления знаков прагматикой… … Современный философский словарь
ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА — существовавшая в кон. 19 пер. пол. 20 в. пол. школа, активно занимавшаяся проблемами философии и логики. Л. в.ш. была основана К. Твардовским во Львове, в ее развитии можно выделить два периода: львовский до конца Первой мировой войны и львовско… … Философская энциклопедия
МЕТАЯЗЫК — язык описания какого либо языка. Описываемый язык называют при этом языком объектом. Иногда первичный язык называют объектным или предметным языком, предполагая, что он обозначает реальные предметы. Однако последнее не является необходимым. В… … Современный философский словарь
философская логика — ФИЛОСОФСКАЯ ЛОГИКА широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики. На самом деле термин «Ф.… … Энциклопедия эпистемологии и философии науки
ТАРСКИЙ (TARSKI) Альфред — (1902 1984) польск. логик и математик. Его взгляды сформировались в рамках Львовско варшавской школы, на них повлияли идеи Котарбиньского, Лукасевича и Лесьневского. С 1926 преподавал в Варшавском ун те. В 1939 эмигрировал в США, с 1942 работал в … Современная западная философия. Энциклопедический словарь
