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