На пути к мышлению или интеллектуальные путешествия в страну Философию

Задавая второй вопрос, мы стремимся установить критерии (условия) истинности наших утверждений. Это нормативный вопрос. Мы стремимся выяснить, при каких условиях и при наличии каких критериев мы можем утверждать, что что-либо является истинным. Не все эпистемологи считают, что на второй вопрос возможно дать ответ. Например, Карл Поппер решительно отвергает все попытки предоставить критерии истины. По его мнению, отсутствие критериев истины не лишает смысла вопрос об истине так же, как и отсутствие критериев здоровья не лишает смысла само понятие здоровья.

Так что же является условием истинности наших знаний? Существуют ли четкие критерии истины? Какие теории истины сегодня самые распространенные и самые влиятельные? Попробуем ответить на эти вопросы.

3.1. Классическая или корреспондентная теория истины

Корреспондентная теория считается классической теорией истины. Она также хорошо согласуется со здравым смыслом, с обычным представлением о том, что именно считать истинным. Если спросить «что такое истина?» у рядового человека, он скорее всего даст такой ответ: истина - это то, что согласуется с реальностью, то, что соответствует фактам. Например, высказывание «на улице идет дождь» является истинным, если сейчас на улице действительно идет дождь. Корреспондентная теория истины так и определяется.

• Утверждение или убеждение является истинным тогда и только тогда, когда оно согласуется с фактами (соответствует фактам). Формально корреспондентную теорию можно определить следующим образом: р есть истинное, если р соответствует факту/или событию е.

Существует также другое определение корреспондентной теории истины, которое можно сформулировать следующим образом.

• Утверждение или убеждение является истинным тогда и только тогда, когда его (при оптимальных условиях) можно подтвердить или обосновать.

Считается, что впервые корреспондентая теория истины была сформулирована Платоном и Аристотелем. Именно Аристотель утверждал, что высказывание является истинным, если оно соответствует фактам или определенным аспектам мира. Наиболее известен его тезис из четвертой книги «Метафизики»: «Говорить о сущем, что его нет, или о не-сущем, что оно есть, - значит говорить ложное (pseydos); а говорить, что сущее есть и не-сущее не есть, - значит говорить истинное (alêthes)» (Met. 1011b 25). Наиболее известным стало определение Фомы Аквинского: «Истина состоит в соответствии между вещами и понятиями интеллекта» (veritas est adaequatio rei et intellectus). Уже в схоластической философии слово «согласованность», «соответствие» (adaequatio) приобрело различные версии для своего выражения: correspondentia, conformitas, convenientia. Важно помнить, что контекстом Аквинатовой (и вообще схоластической) версии корреспондентной теории истины является теологическое учение о сотворении мира по божественному замыслу. Человеческий разум может адекватно познавать внешний мир прежде всего потому, что и этот разум, и этот мир суть творения Бога.

Семантическую теорию истины Альфреда Тарского можно рассматривать как версию корреспондентной теории. Его 119-страничный труд «Понятие истины в языках дедуктивных наук» в 1933 году был опубликован на польском языке, в 1936 году - на немецком, а в 1956 году - на английском. Тарский отмечает, что его намерение состояло в исследовании истины согласно интуициям Аристотеля. По мнению Поппера Тарский «реабилитировал теорию соответствия» (то есть корреспондентную теорию).

Семантическая теория истины позволяет избегать парадоксов, связанных с естественными языками, например, парадоксов такого типа: «Р: обозначенное с помощью “Р” утверждение является ложным». Наиболее известным примером логического парадокса является так называемый парадокс лжеца. Я говорю: «то, что я сейчас сказал - ложно» или «я вру». Исторически формулировка парадокса лжеца принадлежит Эпимениду. Критянин Эпименид сказал: «Все критяне - лжецы». По Тарскому подобные парадоксы связаны с «семантической замкнутостью естественных языков»: предикаты «истинный» и «ложный» функционируют в рамках отношений между высказываниями определенного естественного языка L и предметами, обозначаемыми с помощью высказываний L. Если мы хотим избежать парадоксов, то семантические предикаты надлежит толковать как высказывания другого языка, так называемого метаязыка (ML).