Кроме того, точная характеристика научной деятельности через ее метод, возможно, могла бы снять остроту проблемы истины. Ведь понятия истины и научного метода взаимосвязаны. Нам нужен не столько универсальный критерий истины, сколько правильный исследовательский метод, т.к. в нем уже заложены истинностные критерии. Итак, возникает предположение о возможности определить истину через научный метод; тогда истина станет коррелятом научного метода, его продуктом. Такое предложение в свое время выдвинул Ч. Пирс. Но что представляет собой научный метод? В чем его сущность? Так, мы привычно употребляем выражения «научное исследование», «научные методы», но что в действительности означает «исследовать научными методами»?
Прежде всего необходимо разобраться с основополагающими методологическими понятиями. Что такое метод? Метод — это совокупность предписаний, организованная в систему.
При этом предписания, входящие в состав того или иного метода, могут иметь различный уровень требовательности и определенности: они могут достаточно жестко определять структуру деятельности, а могут функционировать в роли только регулятивных принципов. В последнем случае они лишь направляют деятельность, оставляя достаточное пространство для ее трансформации, не сводя ее к однозначной программе. Следует, отличать понятия: подход, метод, программа и алгоритм. Прежде всего коснемся соотношения метода с программой и алгоритмом. Метод — более широкое понятие, программа и алгоритм — более Узкие.
Заслуживает внимание и еще один подход, который пытается снять напряжение вопроса о критериях истины отрицанием самой возможности найти такой критерий. Еще И. Кант утверждал, что понятие всеобщего критерия истины является бессодержательным. Ведь такой критерий должен быть адекватен в отношении любого предмета познания; но это значит, что он должен быть безразличен к конкретным особенностям той или иной познавательной ситуации, т.е. он совершенно формален и недостаточен. К. Поппер обращает внимание на то, что уточненная А. Тарским классическая теория истины показывает лишь логически корректное определение понятия «истина», но не может дать никаких ее критериев. Действительно, ряд логических результатов показывает, что при уточнении логическими средствами какой-либо концептуальной системы, при строгой фиксации ее языка, исходных постулатов, допустимых правил рассуждений остается неформализованным сам критерий истины. Так, знаменитая теорема Геделя демонстрирует, что у нас имеются и такие истинные предложения, которые тем не менее не являются доказанными средствами данной концептуальной системы. На основании этого К. Поппер делает вывод о том, что точно фиксируемого и универсального критерия истины вообще не существует, поэтому нам нет смысла заниматься его поисками. В реальной же научной практике проблема истины решается не на основе этого гипотетического критерия, а всякий раз конкретно и предметно. Добавим также, что отсутствие решающего критерия не означает того, что вообще не существует объективной истины. По словам К. Поппера, непротиворечиво полагать, что объективная истина действительно существует даже в отсутствие ее критериев: «Мы ищем истину, но не знаем, когда нам удается найти ее… у нас нет критерия истины, но мы тем не менее руководствуемся идеей истины как регулятивным принципом…»2
Каковы критерии истины? С помощью каких процедур мы можем отличить истинные предложения от ложных? Реально в научном познании используется достаточно большая и разнородная совокупность различных критериев, оценок, содержательных соображений. При оценке приемлемости той или иной системы утверждений они используются, как правило, комплексно, и заключение производится на основе совокупности этих факторов, включающей рассмотрение конкретных обстоятельств данного вопроса. Можно попробовать выделить основные группы критериев, действующих в научном познании. Рассмотрим следующие четыре группы критериев. Критерии, связанные с когерентным пониманием истины. Эти критерии чрезвычайно важны; они проверяют научное знание на предмет его обоснованности, внутренней согласованности, совместимости с общим теоретическим контекстом. К ним относится прежде всего критерий логической непротиворечивости. Заметим, что он имеет решающее значение в математических науках, поскольку там мы не имеем возможности проверить математические положения согласием с эмпирическими данными. Более того, норма непротиворечивости может быть там не только критерием истинности, но и критерием существования математического объекта.