- классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе «Понятие истины в формализованных язык ах» (1935). Тарский исходит из классического представления об истине, согласно которому термин « истинно » выражает свойство нашего знания , в частности свойство высказываний, а не объективной действительно сти. Высказывание считается истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так. Напр., высказывание « Париж находится во Франции» истинно тогда и только тогда, если Париж находится во Франции; высказывание « Сахар растворим в воде » истинно тогда и только тогда, если сахар растворим в воде, и т. п. Подобного рода определения истинности отдельных высказываний Тарский обобщает в виде следующей схемы: X истинно º Р. Для того чтобы получить определение истинности некоторого конкретного высказывания, на место Х в этой схеме нужно поставить кавычковое имя данного высказывания (т. е. высказывание в кавычках), а на место Р — само это высказывание, знак «=» означает «тогда и только тогда, когда». Напр.: « Снег бел» истинно тогда и только тогда, когда снег бел. Общее определение истины должно быть таким, чтобы ему соответствовали все конкретные случаи применения понятия «истинно», представленные приведенной схемой. Тарский показал, однако , что для обычного естественного языка задача построения общего определения истины не может быть решена. Одной из причин этого является то обстоятельство , что в естественном языке имеются предложения, утверждающие собственную ложность ( типа «Я лгу»). Попытка применить к ним термин «истинно» согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря «семантической замкнутости» естественного языка, т. е. благодаря тому , что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты — «обозначать», «истинно», «выполнять» и т. п. Для устранения подобных парадоксов Тарский считает необходимым разделить язык на две части: объективный язык и метаязык . Определение истины должно формулироваться в метаязыке. В этом случае парадоксов не возникает. С. п. и. не только является одним из основных понятий логической семантики, оно существенно уточняет и наше философское представление об истине.
Что такое Семантическое Понятие Истины? Значение Семантическое Понятие Истины в словаре логики
Семантическое Понятие Истины - - классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе «Понятие истины в формализованных языках» (1935). Тарский исходит из классического представления об истине, согласно которому термин «истинно» выражает свойство нашего знания, в частности свойство высказываний, а не объективной действительности. Высказывание считается истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так. Напр., высказывание «Париж находится во Франции» истинно тогда и только тогда, если Париж находится во Франции; высказывание «Сахар растворим в воде» истинно тогда и только тогда, если сахар растворим в воде, и т. п. Подобного рода определения истинности отдельных высказываний Тарский обобщает в виде следующей схемы: X истинно º Р. Для того чтобы получить определение истинности некоторого конкретного высказывания, на место Х в этой схеме нужно поставить кавычковое имя данного высказывания (т. е. высказывание в кавычках), а на место Р — само это высказывание, знак «=» означает «тогда и только тогда, когда». Напр.: «Снег бел» истинно тогда и только тогда, когда снег бел. Общее определение истины должно быть таким, чтобы ему соответствовали все конкретные случаи применения понятия «истинно», представленные приведенной схемой. Тарский показал, однако, что для обычного естественного языка задача построения общего определения истины не может быть решена. Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собственную ложность (типа «Я лгу»). Попытка применить к ним термин «истинно» согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря «семантической замкнутости» естественного языка, т. е. благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты — «обозначать», «истинно», «выполнять» и т. п. Для устранения подобных парадоксов Тарский считает необходимым разделить язык на две части: объективный язык и метаязык. Определение истины должно формулироваться в метаязыке. В этом случае парадоксов не возникает. С. п. и. не только является одним из основных понятий логической семантики, оно существенно уточняет и наше философское представление об истине.
Соседние слова
Что такое СвязкаЧто значит Семантика Логическая
Что означает Семантическая Категория
Значение Семантические Парадоксы
↑ Семантическое Понятие Истины ↓
Что такое Семиотика
Что значит Силлогизм
Что означает Символ
Значение Символика Логическая
Узнайте лексическое, прямое, переносное значение следующих слов:
- Спор - столкновение мнений или позиций, в ходе которого ...
- Сорит - (от греч. soros куча) цепь сокращенных ...
- Содержание И Форма - см.: Логическая форма. ...
- Совместимость - — вид отношения между понятиями и суждениями. Два ...
- Собирательное Понятие - см.: Понятие. ...
- Случайность Логическая - одна из модальных характеристик высказывания наряду с ...
- Следствие - см.: Логическое следование. ...
- Рациональность - (от лат. ratio разум) относящееся к ...
- Разрешения Проблема - или: Разрешимости проблема, — проблема нахождения для данной ...
- Разделительно-Условное Умозаключение - см.: Дилемма. ...
- Разделительное Суждение - дизъюнктивное (от лат. disjunctio — разобщаю) сложное ...
- Равнозначность - (равносильность, эквивалентность) отношение между высказываниями или формулами, ...
- Противоречие - два высказывания, из которых одно является отрицанием ...
- Противоположность Логическая - – вид отношения между противоположными понятиями или суждениями ...
- Гипотетическое Утверждение - утверждение, которое высказывается не как установленная истина, ...