Словари

Главная / Словарь логики / С / Семантическое Понятие Истины

Что такое Семантическое Понятие Истины? Значение и толкование слова semanticheskoe ponjatie istiny, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Семиотика -  - общая теория знаковых систем, к числу кото­рых относятся как естественные языки, так и...
Силлогизм - (от греч. sillogismos) категорический  - дедуктив­ное умозаключение, в котором из двух суждений,...
Символ - (от греч. symbolon — знак, опознавательная приме­та)  - идея, образ или объект, имеющий...
Символика Логическая -  - система знаков (символов), ис­пользуемая в логике для обозначения термов, предикатов, выска-...
Символическая Логика -  - одно из названий современного этапа в развитии формальной логики. Символы применял в ряде...
Символы Собственные И Несобственные -  - символы, получающиеся в результате разложения предложения или иного языкового выражения на...
Синкатегорематическое Выражение - см.: Символы соб­ственные и несобственные.
Синонимия -  — одно из важнейших понятий логической семан­тики, выражающее тождество значений языковых...
Синтаксис - (греч. syntaxis — построение, порядок)  — раздел семиотики, исследующий структурные свойства...
Синтаксическая Категория -  - класс однотипных выра­жений словаря формализованного языка. Этот словарь обычно включает:...