семантическое понятие истины


семантическое понятие истины
классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе "Понятие истины в формализованных языках" (1935). Тарский исходит из классического представления об истине, согласно которому термин "истинно" выражает свойство нашего знания, в частности свойство высказываний, а не объективной действительности. Высказывание считается истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так. Напр., высказывание "Париж находится во Франции" истинно тогда и только тогда, если Париж находится во Франции; высказывание "Сахар растворим в воде" истинно тогда и только тогда, если сахар растворим в воде, и т. п. Подобного рода определения истинности отдельных высказываний Тарский обобщает в виде следующей схемы:
X истинно ? Р.
Для того чтобы получить определение истинности некоторого конкретного высказывания, на место Х в этой схеме нужно поставить кавычковое имя данного высказывания (т. е. высказывание в кавычках), а на место Р - само это высказывание, знак "=" означает "тогда и только тогда, когда". Напр.: "Снег бел" истинно тогда и только тогда, когда снег бел. Общее определение истины должно быть таким, чтобы ему соответствовали все конкретные случаи применения понятия "истинно", представленные приведенной схемой.
Тарский показал, однако, что для обычного естественного языка задача построения общего определения истины не может бытьрешена. Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собственную ложность (типа "Я лгу"). Попытка применить к ним термин "истинно" согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря "семантической замкнутости" естественного языка, т. е. благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты - "обозначать", "истинно", "выполнять" и т. п. Для устранения подобных парадоксов Тарский считает необходимым разделить язык на две части: объективный язык и метаязык. Определение истины должно формулироваться в метаязыке. В этом случае парадоксов не возникает.
С. п. и. не только является одним из основных понятий логической семантики, оно существенно уточняет и наше философское представление об истине.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "семантическое понятие истины" в других словарях:

  • истины семантическое понятие — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… …   Словарь терминов логики

  • язык семантически замкнутый — язык, который содержит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя… …   Словарь терминов логики

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • Реализм (философ.) — Реализм, в философии  философский термин, употребляемый для обозначения направления, постулирующего существование реальности, независимой от познающего субъекта. Термин Реализм употребляется в двух главных значениях: философском и нефилософском.… …   Википедия

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • СЕМАНТИКА — раздел семиотики, в котором изучаются значение и смысл различных знаковых форм, в т. ч. и языковых знаков и выражений. Выделение С. в качестве части семиотики, наряду с теорией синтаксиса синтактикой и теорией употребления знаков прагматикой… …   Современный философский словарь

  • семантика логическая —         СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… …   Энциклопедия эпистемологии и философии науки

  • ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал …   Философская энциклопедия

  • логика научного познания (логика науки) — применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она… …   Словарь терминов логики

Книги

Другие книги по запросу «семантическое понятие истины» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.