Основное меню

истина в формализованных языках - в словаре-справочнике по философии.

Что такое истина в формализованных языках в философии?

истина в формализованных языках:

истина в формализованных языках — одно из осн. понятий логической семантики, являющееся уточнением аристотелевского понятия истины применительно к высказываниям формализованных языков. попытки определения понятия “истинное высказывание” в обычном (разговорном) языке неизбежно приводят к антиномиям типа “лжец” (семантические антиномии). первое строгое и непротиворечивое определение понятия “истинное высказывание” было получено тарским в 1931 для языка нек-рого исчисления классов с помощью понятия “выполнимость” в специально построенном метаязыке (метаязык и язык-объект): высказывание х истинно, если и только если оно выполняется всеми предметами (для исчисления классов классами), и ложно, если не существует предметов, его выполняющих. тарский показал, что формально, точное определение понятия истинности высказывания нек-рого языка l может быть дано лишь в нек-ром метаязыке ml, причем необходимо, чтобы ml был логически более богатым, чем l, а именно чтобы ml содержал l в качестве своей части и, кроме того, чтобы в ml имелись выражения более высоких логических типов (типов теория), чем в языке l. а данное условие заведомо не выполняется, если в качестве l выступает естественный язык без к.-л. ограничений. существенным результатом этих исследований было установление факта несовпадения классов истинных и доказуемых высказываний языка исчисления классов (и др. логически более богатых языков): каждое доказуемое высказывание является истинным, но не каждое истинное высказывание доказуемо. существование же истинных недоказуемых высказываний формализованного языка свидетельствует о его неполноте и непротиворечивости (логический синтаксис. полнота аксиоматической теории). существуют и др. способы определения понятия и. в ф. я. (дж. мак-кинси, кар-нап, р. мартин).

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина истина в формализованных языках.