"Если мы хотим избежать позитивистской ошибки, заключающейся в устранении в соответствии с нашим критерием демаркации теоретических систем естествознания, то нам, - указывал Поппер, - следует выбрать такой критерий, который позволял бы допускать в область эмпирической науки даже такие высказывания, верификация которых невозможна. Вместе с тем я, конечно, признаю некоторую систему эмпирической, или научной, только в том случае, если имеется возможность опытной ее проверки. Исходя из этих соображений, можно предположить, что не верифицируемость, а фальсифицируемость системы следует рассматривать в качестве критерия демаркации" [1].
1 Поппер К. Логика и рост научного знания М., 1983. С. 62-63.
Такой чисто отрицательный подход к критериям научности и демаркации хотя и является корректным с чисто формальной точки зрения, тем не менее едва ли приемлем методологически, а тем более эвристически. Начиная научный поиск, ученый либо уже располагает фактами, которые нельзя объяснить с помощью старой теории, либо пытается подтвердить возникшую у него идею или предположение посредством некоторых фактов. В любом случае он никогда не начинает с совершенно необоснованной догадки и не действует посредством простых проб и ошибок, как представляет процесс научного исследования Поппер. Не подлежит сомнению, что догадки, предположения и гипотезы, предложенные для решения определенной проблемы, нуждаются в критическом анализе и в этом отношении метод рациональной критики Поппера заслуживает внимания. Но критика должна распространяться не только на сформулированные предположения и гипотезы, но также на те аргументы, доводы и основания, на которые они опираются. В реальном научном исследовании верификация и фальсификация выступают в нерасторжимом единстве, они взаимодействуют и влияют друг на друга. Таким образом, не противопоставление фальсификации верификации, а их взаимосвязь и взаимодействие дают более полное и адекватное представление о критериях научности.
4. Модели анализа научного открытия и исследования
Представления о том, как совершаются открытия в науке и как в ней происходит сам процесс исследования в целом, менялись на протяжении всей ее истории. Поскольку начиная с XVII в. среди эмпирических наук доминировало экспериментальное ес
316
тествознание, постольку впервые эти проблемы возникли именно в его рамках. Однако на протяжении XVII-XVIII вв. оно лишь накапливало и систематизировало необходимую эмпирическую информацию, делало простейшие индуктивные обобщения на основе фактического материала и устанавливало элементарные эмпирические законы. Многие философы тогда верили в возможность создания особой логики, с помощью которой можно было бы почти чисто механически совершать открытия в науке. В области эмпирических наук наиболее ясно такой взгляд выразил Ф. Бэкон, который надеялся на то, что созданные им каноны индуктивной логики помогут осуществить эту задачу. "Наш же путь открытия наук, - утверждал он, - немногое оставляет остроте и силе дарования, но почти уравнивает их. Подобно тому как для проведения прямой или описания совершенного круга много значат твердость, умелость и испытанность руки, если действовать только рукой, - мало или совсем ничего не значит, если пользоваться циркулем и линейкой. Так обстоит и с нашим методом" [1].
Однако как индуктивные каноны самого Бэкона, так и усовершенствованные и систематизированные впоследствии Дж.С. Миллем методы исследования (сходства, различия, сопутствующих изменений и остатков) дают возможность устанавливать только простейшие эмпирические (по терминологии Милля "причинные") связи между непосредственно наблюдаемыми свойствами явлений. Но даже в этом случае нередко приходится обращаться к гипотезе и уточнению прежних гипотез.
В области дедуктивных наук Г. В. Лейбниц мечтал о создании всеобщего метода, который позволил бы свести любое рассуждение к вычислению. С помощью такого метода он надеялся решать любые споры не только в науке, но и в политике и философии. "В случае возникновения споров, - считал он, - двум философам не придется больше прибегать к спору, как не прибегают к нему счетчики. Вместо спора они возьмут перья в руки, сядут за доски [2] и скажут друг другу: "будем вычислять" [3]. Эта идея о сведении дедуктивного рассуждения к вычислению хотя и привела к созданию математической логики, тем не менее оказалась утопической, ибо даже в рамках математики существуют алгоритмически неразрешимые проблемы.
1 Бэкон Ф. Новый Органон // Соч.: В 2 т. М., 1972. Т. 2. С. 27-28.
2 Имеется в виду счетная доска - абак.
3 Цит. по: Новые идеи в математике. Сб. № 1. СПб., 1913. С. 87.
317