Основные концепции истины в науке
Когерентная концепция истины
Сторонники этой концепции пытаются обойти основную проблему корреспондентской концепции истины: проблему установления соответствия между фрагментами мира знания (суждениями, теориями, концепциями и т. д.) и фрагментами действительности (вещами, свойствами, отношениями). Они видят истинность знания не в том, что оно соответствует действительности, а в том, что оно (знание) является когерентным, то есть самосогласованным, логически связанным, непротиворечивым. Истоки этой концепции уходят в глубокую древность. Совершенно отчётливо они прослеживаются в трудах Аристотеля, сформулировавшего, как известно, основные законы логики (законы правильного, истинного) мышления. Выполнение требований логики, в частности, законов тождества и противоречия, является совершенно естественным и минимальным требованием, предъявляемым к знанию, претендующему на истинность.
Истинность, обеспечиваемую выполнением этих требований, можно назвать формальной истинностью. И. Кант писал в связи с этим: «Формальная истинность состоит всего лишь в согласии знания с самим собой, при полном отвлечении от всяких объектов вообще и от всяких их различий. И поэтому всеобщие формальные критерии истинности – не что иное, как общие логические признаки согласования знания с самим собою, или, что-то же, с всеобщими законами рассудка и разума». Знание, претендующее на звание истинного знания, не может быть самопротиворечивым. Достаточно богатый, достаточно содержательный фрагмент знания, как правило, содержит уже обнаруженные либо имплицитно присутствующие противоречия. Наличие таких противоречий свидетельствует о том, что он исторически обусловлен и ограничен. Наличие таких противоречий – не предмет гордости, не повод для их апологии. Скорее, — это провод для новых усилий по уточнению и усовершенствованию соответствующего фрагмента знания, для усилий, направленных, в частности, на избавление, по крайней мере, от некоторых — наиболее «кричащих» — из этих противоречий. Когерентная концепция в принципе является операциональной, то есть с её помощью, затратив, конечно, определённое усилия, можно установить, способен ли тот или иной массив знания претендовать на истинность. Дело в том, что знание, дедуцированное (логически выведенное) из данной системы, будет когерентно этой системе и самокогерентно. Особенно широко и успешно эта концепция применяется в логико-математических науках, а также в тех разделах естествознания, в которых используются аксиоматический метод и метод формализации. Именно в таких науках легче и надёжнее осуществляется процедура установления когерентности знания. Поскольку, во-первых, в таких науках эксплицитно (явно и точно) формулируются основоположения (аксиомы, постулаты, принципы) теорий, достаточно строго описываются основные объекты теорий и применяемые в этих теориях правила вывода.
