Развитие современных научных теорий показывает, что их основные принципы не являются очевидными в декартовском смысле. В каком-то смысле ученый открывает исходные принципы теории интуитивно. Но эти принципы далеки от декартовской очевидности: и принципы геометрии Лобачевского, и основания квантовой механики, теории относительности, космологии Большого взрыва и т. д.
Попытки построения различного рода логик открытия прекратились еще в прошлом веке как полностью несостоятельные. Стало очевидным, что никакой логики открытия, никакого алгоритма открытий в принципе не существует.
Модели научного познания
Немецкий философ и логик Рейхенбах написал о принципе индукции так: «Этот принцип определяет истинность научных теорий. Устранение его из науки означало бы ни более и не менее как лишение науки ее способности различать истинность и ложность ее теорий. Без него наука, очевидно, более не имела бы права говорить об отличии своих теорий от причудливых и произвольных созданий поэтического ума».
Принцип индукции гласит, что универсальные высказывания науки основываются на индуктивных выводах. На этот принцип мы фактически ссылаемся, когда говорим, что истинность какого-то утверждения известна из опыта. Основной задачей методологии науки Рейхенбах считал разработку индуктивной логики.
В современной методологии науки осознано, что эмпирическими данными вообще невозможно установить истинность универсального обобщающего суждения.
Сколько бы не испытывался эмпирическими данными какой-либо закон, не существует гарантий, что не появятся новые наблюдения, которые будут ему противоречить. Карнап писал: «Никогда нельзя достигнуть полной верификации закона. Фактически мы вообще не должны говорить о „
Р.Карнап так сформулировал свою программу:
«Я согласен, что не может быть создана индуктивная машина, если цель машины состоит в изобретении новых теорий. Я верю, однако, что может быть построена индуктивная машина со значительно более скромной целью. Если даны некоторые наблюдения
Если бы такая программа была реализована, то вместо того, чтобы говорить, что один закон обоснован хорошо, а другой – слабо, мы бы имели точные, количественные оценки степени их подтверждения. Хотя Карнап построил вероятностную логику простейших языков, его методологическую программу реализовать не удалось. Карнап своим упорством продемонстрировал бесперспективность этой программы.
Вообще установлено, что степень подтверждения фактами какой-то гипотезы не является решающей в процессе научного познания. Ф.Франк писал:
«Наука похожа на детективный рассказ. Все факты подтверждают определенную гипотезу, но правильной оказывается в конце концов совершенно другая гипотеза». К.Поппер отметил: «Легко получить подтверждения, или верификации, почти для каждой теории, если мы ищем подтверждений».
Поскольку не существует никакой логики научного открытия, никаких методов, гарантирующих получение истинного научного знания, постольку научные утверждения представляют собой
Это положение составляет основу гипотетико-дедуктивной модели научного познания, разработанной в первой половине XX века. В соответствии с этой моделью, ученый выдвигает гипотетическое обобщение, из него дедуктивно выводятся различного рода следствия, которые затем сопоставляются с эмпирическими данными.