Проверку гипотезы на истинность посредством подтверждения ее фактами принято называть верификацией. Логические позитивисты, выдвинувшие верификацию в качестве единственного критерия научного знания, считают, что с его помощью можно разграничить не только суждения эмпирических наук от неэмпирических, но и осмысленные суждения от суждений бессмысленных. К таким бессмысленным суждениям они относят прежде всего утверждения философии, которую в западной литературе именуют метафизикой. Хотя непосредственно верифицировать фактами можно действительно лишь суждения эмпирических наук, но совершенно необоснованно считать все другие, неверифицируемые суждения, бессмысленными. Если придерживаться такого подхода, тогда придется объявить бессмысленными и все суждения чистой математики. Более того, поскольку общие законы и теории естественных наук также нельзя непосредственно верифицировать с помощью эмпирических фактов, то и они оказываются бессмысленными.

314

Впоследствии логические позитивисты попытались избежать таких крайних выводов, тем не менее поставленная ими цель не была достигнута. Все эти и другие недостатки, вызванные абсолютизацией критерия верификации, в конечном счете обусловлены эмпирической и антидиалектической позицией логических позитивистов. Как и их ранние предшественники в лице О. Кон-та, Дж.С. Милля и других, они считают надежным только эмпирическое знание и поэтому стремятся свести к нему теоретическое знание, которое некоторые их сторонники считают результатом чисто спекулятивного мышления. Сами логические позитивисты ясно сознавали, что они продолжают концепцию эмпиризма, дополнив ее логическим анализом структуры науки. Не случайно поэтому они называли себя как эмпирическими, так и логическими позитивистами.

Пожалуй, одним из первых резко выступил против критерия верификации К. Поппер, когда он жил еще в Вене и присутствовал на заседаниях Венского кружка, положившего начало формированию логического позитивизма. Указывая на логически некорректный характер верификации, Поппер выдвинул в качестве критерия научности эмпирических систем возможность их опровержения, или фальсификации, опытом. Этот критерий с логической точки зрения является безупречным, так как опирается на правило опровержения основания гипотезы в случае ложности ее следствия, известного в логике как modus tollens. В то время как подтверждение гипотезы ее следствиями обеспечивает лишь вероятность ее истинности, ложность следствия опровергает, или фальсифицирует, саму гипотезу.

Эта принципиальная возможность фальсифицируемости гипотез и теоретических систем и была принята Поппером в качестве подлинного критерия их научности. Такой критерий, по его мнению, давал возможность, во-первых, отличать эмпирические науки от неэмпирических наук (математики и логики); во-вторых, он не отвергал философию как псевдонауку, а лишь показывал абстрактный, неэмпирический характер философского знания; в-третьих, он отделял подлинные эмпирические науки от псевдонаук (астрология, фрейдизм и др.). Их предсказания не поддаются опровержению из-за неясности, неточности и неопределенности. Учитывая это обстоятельство, Поппер называет свой критерий фальсифицируемости также критерием демаркации, или разграничения, подлинных наук от псевдонаук.

315

"Если мы хотим избежать позитивистской ошибки, заключающейся в устранении в соответствии с нашим критерием демаркации теоретических систем естествознания, то нам, - указывал Поппер, - следует выбрать такой критерий, который позволял бы допускать в область эмпирической науки даже такие высказывания, верификация которых невозможна. Вместе с тем я, конечно, признаю некоторую систему эмпирической, или научной, только в том случае, если имеется возможность опытной ее проверки. Исходя из этих соображений, можно предположить, что не верифицируемость, а фальсифицируемость системы следует рассматривать в качестве критерия демаркации" [1].

1 Поппер К. Логика и рост научного знания М., 1983. С. 62-63.

Такой чисто отрицательный подход к критериям научности и демаркации хотя и является корректным с чисто формальной точки зрения, тем не менее едва ли приемлем методологически, а тем более эвристически. Начиная научный поиск, ученый либо уже располагает фактами, которые нельзя объяснить с помощью старой теории, либо пытается подтвердить возникшую у него идею или предположение посредством некоторых фактов. В любом случае он никогда не начинает с совершенно необоснованной догадки и не действует посредством простых проб и ошибок, как представляет процесс научного исследования Поппер. Не подлежит сомнению, что догадки, предположения и гипотезы, предложенные для решения определенной проблемы, нуждаются в критическом анализе и в этом отношении метод рациональной критики Поппера заслуживает внимания. Но критика должна распространяться не только на сформулированные предположения и гипотезы, но также на те аргументы, доводы и основания, на которые они опираются. В реальном научном исследовании верификация и фальсификация выступают в нерасторжимом единстве, они взаимодействуют и влияют друг на друга. Таким образом, не противопоставление фальсификации верификации, а их взаимосвязь и взаимодействие дают более полное и адекватное представление о критериях научности.

4. Модели анализа научного открытия и исследования

Представления о том, как совершаются открытия в науке и как в ней происходит сам процесс исследования в целом, менялись на протяжении всей ее истории. Поскольку начиная с XVII в. среди эмпирических наук доминировало экспериментальное ес

316

тествознание, постольку впервые эти проблемы возникли именно в его рамках. Однако на протяжении XVII-XVIII вв. оно лишь накапливало и систематизировало необходимую эмпирическую информацию, делало простейшие индуктивные обобщения на основе фактического материала и устанавливало элементарные эмпирические законы. Многие философы тогда верили в возможность создания особой логики, с помощью которой можно было бы почти чисто механически совершать открытия в науке. В области эмпирических наук наиболее ясно такой взгляд выразил Ф. Бэкон, который надеялся на то, что созданные им каноны индуктивной логики помогут осуществить эту задачу. "Наш же путь открытия наук, - утверждал он, - немногое оставляет остроте и силе дарования, но почти уравнивает их. Подобно тому как для проведения прямой или описания совершенного круга много значат твердость, умелость и испытанность руки, если действовать только рукой, - мало или совсем ничего не значит, если пользоваться циркулем и линейкой. Так обстоит и с нашим методом" [1].

Однако как индуктивные каноны самого Бэкона, так и усовершенствованные и систематизированные впоследствии Дж.С. Миллем методы исследования (сходства, различия, сопутствующих изменений и остатков) дают возможность устанавливать только простейшие эмпирические (по терминологии Милля "причинные") связи между непосредственно наблюдаемыми свойствами явлений. Но даже в этом случае нередко приходится обращаться к гипотезе и уточнению прежних гипотез.

В области дедуктивных наук Г. В. Лейбниц мечтал о создании всеобщего метода, который позволил бы свести любое рассуждение к вычислению. С помощью такого метода он надеялся решать любые споры не только в науке, но и в политике и философии. "В случае возникновения споров, - считал он, - двум философам не придется больше прибегать к спору, как не прибегают к нему счетчики. Вместо спора они возьмут перья в руки, сядут за доски [2] и скажут друг другу: "будем вычислять" [3]. Эта идея о сведении дедуктивного рассуждения к вычислению хотя и привела к созданию математической логики, тем не менее оказалась утопической, ибо даже в рамках математики существуют алгоритмически неразрешимые проблемы.

1 Бэкон Ф. Новый Органон // Соч.: В 2 т. М., 1972. Т. 2. С. 27-28.

2 Имеется в виду счетная доска - абак.

3 Цит. по: Новые идеи в математике. Сб. № 1. СПб., 1913. С. 87.