Методология научного познания - [7]
Такой подход к критерию научности, хотя и является корректным чисто логически, но не учитывает всей сложности проверки эмпирических систем.
Во-первых, выдвигая определенную гипотезу, ученый стремится подтвердить или обосновать ее с помощью некоторого числа фактов. Если же эти факты опровергнут гипотезу, то он будет искать новую гипотезу. В любом случае ученый никогда не начинает с совершенно необоснованной гипотезы или даже догадки и не действует по принципу простых проб и ошибок, как рекомендует Поппер.
Во-вторых, любая наука представляет собой систему взаимосвязанных гипотез и теорий. Поэтому проверяются обычно не отдельные гипотезы, а системы логически взаимосвязанных утверждений. Если гипотеза окажется верной, то она будет включена в соответствующую теорию.
В-третьих, при проверке гипотез опираются не только на эмпирические факты, но и существующие теории. Более того, каждая теория основывается на определенных вспомогательных допущениях. Все это показывает, что критерий фальсификации К. Поппера также нельзя считать абсолютным критерием научности эмпирических систем. В реальном процессе научного исследования подтверждение и опровержение, верификация и фальсификация выступают в нерасторжимом единстве. Поэтому не противопоставление фальсификации верификации, а учет их взаимосвязи и взаимодействия дают более адекватное представление о научном характере эмпирических систем.
1.6. Анализ исследования и обоснование его результатов
Представления о том, как совершаются открытия в науке и как происходит процесс научного исследования в целом, менялись на протяжении разных этапов ее развития. Начиная с XVII в., когда формировалось экспериментальное естествознание, главные усилия ученых были направлены на открытие простейших эмпирических законов, а также на накопление и систематизацию необходимой научной информации. Многие ученые верили тогда в возможность построения особой логики открытия, с помощью которой можно было чуть ли не механически делать новые открытия в науке.
В области опытных наук, как мы уже отмечали, такого взгляда придерживался Ф. Бэкон, который верил, что созданные им индуктивные методы помогут решить эту задачу. «Наш же путь открытия наук, — писал он, — немногое оставляют остроте и силе дарования, но почти уравнивает их. Подобно тому как для проведения прямой или описания совершенного круга много значат твердость, умелость и испытанность руки, если действовать только рукой, мало или совсем ничего не значит, если пользоваться циркулем и линейкой. Так обстоит и с нашим методом»>1.
Последующее развитие науки показало, однако, что как индуктивные каноны самого Бэкона, так и систематизированные Миллем индуктивные методы исследования причинной зависимости давали возможность устанавливать лишь простейшие эмпирические обобщения и законы. Например, когда по методу единственного различия устанавливают, что перо и монета в вакуумной трубке падают одновременно, а в воздухе перо падает медленнее, чем монета, то причину последнего явления определить легко: она состоит в сопротивлении воздуха падению пера.
Такой же характер имеют и другие индуктивные методы: они могут помочь сформулировать только простейшие эмпирические взаимосвязи или законы между непосредственно наблюдаемыми явлениями. Открытие же подлинно глубоких, теоретических законов о ненаблюдаемых объектах индуктивным способом осуществить нельзя. Действительно, непосредственным наблюдением и измерением мы можем, например, установить, что при нагревании данного металлического стержня его длина увеличивается. Но это наблюдение не объясняет, почему именно происходит увеличение размеров стержня. Здесь для объяснения приходится уже обращаться к молекулярно-кинетической теории вещества, которая вводит понятие о таких ненаблюдаемых объектах, как молекулы и атомы. Законы движения молекул, в частности теоретический закон увеличения среднего пробега молекул, помогает нам объяснить, почему происходит изменение длины стержня при нагревании. Таким образом, путь к глубокому и полному объяснению явлений с помощью теоретических законов лежит через выдвижение предположений и гипотез, вывод из них логических следствий, проверку их на опыте, исправление и уточнение гипотез.
В области дедуктивных наук, и в первую очередь в символической логике, знаменитый немецкий математик и философ Лейбниц мечтал о создании всеобщего метода, который позволил бы свести любое рассуждение к вычислению. С его помощью он надеялся решать любые споры не только в науке, но и в политике и философии.
«В случае возникновения споров, — писал он, — двум философам не придется больше прибегать к спору, как не прибегают к нему счетчики. Вместо спора они возьмут перья в руки, сядут за доски[9] и скажут друг другу: „будем вычислять“»>[10].
Эта идея о полном сведении дедуктивного рассуждения к вычислению, т. е. к алгоритму, хотя и способствовала возникновению математической логики, тем не менее оказалась слишком амбициозной, поскольку даже в рамках математики существуют алгоритмически неразрешимые проблемы, о которых мы упоминали выше. Тем более это относится к недедуктивным наукам, где приходится учитывать непрерывное взаимодействие теории и опыта, логики и интуиции.
