Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

Логико-семантические и формально-логические концепции истины

Temporis filia Veritas - Истина - дочь времени. .

Эстетика возникла от слова "прекрасное", этика - от слова "хорошо", логика - от слова "истина".

Г. Фреге

Термин "истина" принадлежит к числу главных в гносеологии и логике.

Истина (истинность) - свойство высказывания по его содержанию, что обусловлено:

- гносеологічною характеристикой (соответствие содержания высказывания действительности);

- семантической характеристикой (уточнение контекстов - прагматических, исторических, психологических и т.д.), по которым мы определяем истинность

- логической характеристикой (через определение логической структуры высказывания или его соответствия фактическим данным).

Противоположностью истины (истинности) есть ложь (false).

False (ложь) (Лат. falaitas) - ложно высказывание, то есть свойство определенного высказывания не быть истинным по содержанию. Это второе значение истинности, которое формально приписывается определенному высказыванию, то есть высказывания А имеет два значения истинности: 1) истинно (и), 2) ложно (х).

Аристотель впервые предоставил срока "истина" два смыслы: 1) гносеологический - соответствие содержания определенного высказывания действительности ("Не потому ты бледен, что считаешь себя бледным, а именно потому, что ты на самом деле бледный, следовательно, мы, утверждаем это, говорим правду", - отмечал он в "Метафизике"); 2) логический (формальный) - согласование высказываний между собой. Логический смысл термина "истина" Аристотель определил следующим образом: "Истинное высказывание становится предпосылкой для вывода новых высказываний, которые также становятся истинными, если выводить это высказывание из предыдущего истинного высказывания по определенным правилам вывода". Эта логическая форма вывода высказывания из истинных высказываний (оснований), что логично предопределяет его истинность, получило название умозаключения (см. 3.4.3).

Аристотелевское понимание сущности истины в историческом развитии философии (гносеологии и логики) приобрело новых интерпретаций, а также оказалось четкое отделение гносеологического и логико-семантического аспектов трактовки истины и возникновения новых концепций истины.

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

Абсолютная истина (лат. absolutus - безусловный) - полное, исчерпывающее знание об объективном мире в целом; полное исчерпывающее знание о отдельный объект познания.

Относительная истина - знание, полученное на определенном историческом развитии человечества; частичное, ограниченное знание о отдельный объект познания.

В логике термин "истина" приобрел новых смыслов в результате введения понятий "логическая истина", "фактическая истина", "семантическая истина", "істиннісне значение выражения". Сроки "логическая истина" и "фактическая истина" в контексте современной логической семантики имеют то же значение, что и термины "истина разума" и "истина факта", которыми оперировал немецкий философ и логик Г. Ляйбніц с целью разграничения аналитических (необходимых) и фактических (эмпирических, случайных) истин.

Аналитическая истина - логическая характеристика высказывания, которую определяют через выявление внутренней структуры высказывания и связей между его элементами на основании законов логики и независимо от эмпирического опыта людей. Например, выражение "Снег есть или белым или не белым" имеет значение аналитической истины, то есть его истинность детерминирована лишь формально-логическим построением и не зависит от смысла выражения.

В современной логике термин "аналитическая истина" имеет то же значение, что и логическая истина (об этом далее).

Фактическая, или эмпирическая (греч. - опыт) истина (истинность) - логическое значение высказывания, которое устанавливают в результате определения его соответствия действительности (фактическим данным) на основании эмпирического познания мира.

Уточним логический смысл термина "факт".

Факт (лат. factum - сделанное) - в широком смысле - то, что есть; настоящая невыдуманная событие, явление; то, что на самом деле существует. В современной логике факт является аналогом того, что существует в мире ("Мир есть совокупность фактов, а не вещей", - отмечал JL Витгенштейн). Следовательно, сам факт - это совокупность истинного положения дел, событий, происходящих в мире, В логическом континууме факт имеет форму знания о определенный предмет, явление, процесс, действие, событие, выраженные на определенном языке, а языковым выражением конкретного факта высказывания (фактуальное высказывание), которое уже имеет значение истинности ("истина факта"), то есть фактической истинностью. Например, высказывание "У планеты Земля - один естественный спутник Луна" имеет значение фактической истинности, поскольку его содержание соответствует действительности, то есть фактическим данным.

Вместо терминов "аналитическая истина" и "фактическая истина" в современной логической семантике оперируют термином логическая истина (истинность) введенным Г. Карнапом на основании логико-семантического анализа и описания значений языковых выражений методами екстенсіонала и інтенсіонала. В рамках логической теории истины Г. Карнап выделил термины "логическая истинность", "логическая ложь", "фактическая (эмпирическая) истинность", дал экспликацию этих сроков, а также использовал символы искусственного языка для их обозначения.

Логическая истинность (аналитическая, необходимая истина) - логическая характеристика высказывания, основанная только на определении логических связей между структурными частями высказывания на основании логических законов. Логическая истина формально изображается символом Ь (Ь-истинное).

Логическая истинность высказывания в определенной семантической системе 8 устанавливается так: высказывания в семантической системе 5 "Ь-истинное", если и только если семантических правил этой системы достаточно для установления его истинности. Противоположностью логической истинности является логическая ложь.

Логическая ложь - логическая характеристика высказывания, основанная только на определении логических связей между структурными частями высказывания на основании логических законов. Так, логично будет ложным высказывание: "Снег является белым и не белым". Логическая ошибочность формально изображается символом "Ь-ложное".

Высказывания называется логически детерминированным, если оно логически истинное или логически ложное (Высказывания "£-где-терміноване", если оно "Ь-истинное" или "£ ошибочно"). Например: "Если Павел холостой, то он не женат" есть "Ь-истинное"; "Если Игорь солгал, то он говорил правду" есть "Ь-ложное".

Высказывание не является логически детерминированным, если оно выражает факт (фактические данные). Высказывание называется фактически (эмпирически, случайно) истинным, если оно истинно по факту: "Некоторые люди - спортсмены", "Солнце восходит на Востоке", "Река "Днепр" впадает в Черное море".

Фактическую истинность высказывания обозначают символом 2?

Семантическая истина - термин, который уточняет значение истинности высказываний в контексте соответствия определенного высказывания действительному положению дел (фактическим данным). Термин "семантическая истина" впервые определил польский логик

А. Тарский (1901-1983 гг.) в статье "Понятие истины в языках дедуктивных наук", четко разграничивая естественную (разговорный) и формализованную язык. В пределах разговорного языка семантическое определение истинности высказывания подано в контексте соответствия определенного высказывания А действительному положению дел: "Истинным является высказывание, которое утверждает, что положение дел таким и состояние дел действительно является таким". Формально: "Высказывание А является истинным, если и только если действительно п", где р обозначает истинное положение дел. Вместо символа А можно подставить имя, и тогда высказывание приобретает истинного значения, например, такое высказывание "падает снег". Соответственно: "Высказывания "падает снег" является истинным тогда и только тогда, когда на самом деле идет снег" (А. Тарский).

Семантическая концепция истины определяет необходимость уточнения смысла и предметного значения терминов, входящих в структуру высказывания и контекстов (практических, исторических, психологических, временных и др.), при которых высказывания определяется как истинное или ложное.

Особое значение приобретает временной контекст определения истинности высказывания. Во временном контексте истинности высказывания А определяется в ходе поскольку в время t2 оно может стать ошибочным и наоборот, в время t. высказывания А может быть ложным, а в момент t2 - истинным. Скажем, высказывание "Атом - неделимая частица материи" было истинным в такое время fj, когда эксперименты в области физики еще не установили сложную структуру атома, и является ложным в новейшее время t . Высказывания "Книга - единственный источник информации" является ложным в наше время t8> когда существуют другие источники информации, включая электронные.

Уточнение временных контекстов, которые придают высказыванию более точного значения истинности в современной теории речевых актов интерпретируется следующим образом. "Истина не является свойством высказывания, а свойством произнесение (utterances) или речевого акта, которое рассматривается как упорядоченная тройка - "предложение - время - оратор".

Истиной считается отношение между предложением, оратором и время произнесения. Предложение "Я устал" истинно тогда, когда его произнесла лицо г в t тогда и только тогда, когда лицо х действительно уставшая в время t" (Д.Девідсон).

В современной теории речевых актов (іллокутивній логике) "истина определяется как свойство убеждения" (Дж. Остин).

Формально-логическая концепция истины создана вследствие введения терминов "істиннісне значение высказывания" и "описание состояния".

Істиннісне значение высказывания - срок, удостоверяющий чисто формальное свойство высказывания приобретать значение истинности, которое определяют независимо от гносеологического содержания высказывания (как соответствия содержания высказывания фактическим данным).

Формальное определение истинности высказывания обозначается символами и (истинное) и х (ложно). Если высказывание А формально имеет два значения истинности или ху его называют двузначным, а если п > 2 істиннісних значений, - многозначительным (см.: 3; 4.3.1).

Итак, если формально два высказывания А и Б, находятся в определенных логических отношениях, то возможны четыре варианта:

1. Высказывания А и В истинны.

2. Высказывание А - истинно, высказывание Б - ложное.

3. Высказывания А - ложно, высказывание В - истинно.

4. Высказывания А и В - ложны.

Описание состояния (state description) - термин, который ввел в логическую семантику Г. Карнап с целью определения распределения істиннісних значений высказывания в определенном языке 5 (системы простых высказываний). Описание состояния определен Г. Карнап так: "Класс высказываний в системе S, который содержит для каждого простые (атомарные) высказывания или именно это высказывание или его отрицание, но то и другое вместе и не содержит никаких других высказываний". Итак, существует система состоит из п - количества простых (атомарных) высказываний а, в, с,п (1 < п > о). Каждое отдельное простое высказывание имеет лишь два описания состояния: (и) и (х).

Каждая пара простых высказываний (а, в) имеет четыре описания состояния: - 1) и, и; 2) и, х; 3) х; 4) х, х.

Для трех простых высказываний (а, в, с) будет восемь описаний состояния и т. д.

Итак, в целом для п простых высказываний определенной системы 5 существует определенное количество істиннісних значений. С помощью термина "описание состояния" в логической семантике определяют понятие "логическая истинность" и "фактическая истинность".

- высказывание логически истинно тогда и только тогда, когда оно истинно во всех описаниях состояния;

- высказывания фактически истинно тогда и только тогда, когда оно истинно не во всех описаниях состояния, а хотя бы в одном.

Логическое определение истинности рассуждений неразрывно связано с правильностью построения рассуждений, следовательно, истинность и правильность - свойства соображений по их содержанию и форме построения. По смыслу рассуждения могут быть истинными или ложными, а по логической форме правильно или неправильно построенными.

Формальная правильность - свойство соображениям соответствовать требованиям законов логики. Связь между истинностью соображений по содержанию и их формальной правильностью по логической форме не имеет логически необходимого характера, что означает некое рассуждение может быть логически правильно построенное по форме, но не является истинным по содержанию. Это возникает тогда, когда намеренно или нечаянно нарушаются законы логики (см. 3.3).

Список рекомендуемой литературы

Антология средневековой мысли: В 2 т. - С.-Пб., 2001.

Аристотель. Сочинения: В 4 т. - М., 1978.

Арутюнова Н. Предложение и его смысл (логико-семантические проблемы). - М., 1976.

Вит генш тайн Л. Trac ta tus logico-phslosophicus. Философские исследования. - К., 1995.

Дамміт M. Логические основы метафизики. - К., 2001.

Дэвидсон Д. Истина и значение // Новое в зарубежной лингвистике. 1986. - Вып. 18.

Жоль К. Мысль. Слово. Метафора. - М., 1987.

Ишмуратов А. Вступление к философской логики. - К., 1996.

Кант И. Сочинения: В 6 т. - М., 1964. - Т. 3.

Карнап Р. Значение и необходимость. - М., 1959.

Конверский А. Логика (традиционная и современная). - К., 2004.

Лейбниц Г. Сочинения: В 4 т. - М., 1984.

Остин Дж. Значение слова // Три способа пролить чернила. - С.-Пб., 2006.

Рассел Б. Философия логического атомизма. - Томск, 1999.

Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. - М., 1999.

Теория речевих актов // Новое в зарубежной лингвистике. - 1986. - Вып. 17.

Тягло А. Критическое мышление. - X., 2008.

Фреге Г. О смысле и значении // Логика и логическая семантика. - М., 2000.

Шуман А. Современная логика. Теория и практика. - М., 2004.

Хинтикка Я. Истина после Тарского //Carnap R. Introduction to semantics. - Cambridge, Mass., 1942.

Carnap R. Logische Syntax der Sprache. - Wien, 1934.

Chomsky N. Studies on semantic in generative grammar. - Paris; Mouton, 1972.

Searle J., D. Vanderveken Foundations of illocutionary Logic. - Cambridge, 1985.

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 

Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее