Предположения и опровержения. Рост научного знания

Таким образом, проблема, которую я пытался решить, выдвигая критерий фальсифицируемости, не была ни проблемой осмысленности, или наличия значения, ни проблемой истинности или приемлемости. Это была проблема проведения границы (насколько это возможно сделать) между высказываниями или системами высказываний эмпирических наук и всеми другими высказываниями — религиозными, метафизическими или просто псевдонаучными. Несколькими годами позже — (73:) приблизительно в 1928 или 1929 году — я назвал эту первую мою проблему «проблемой демаркации». Решением этой проблемы является критерий фальсифицируемости, говорящий, что для того чтобы считаться научными, высказывания или системы высказываний должны быть способны вступать в конфликт с возможными, или мыслимыми, наблюдениями.

III

Сегодня я понимаю, конечно, что этот критерий демаркации — критерий проверяемости, фальсифицируемости, или опровержимости, — отнюдь не очевиден, так как даже в наши дни мало кто понимает его значение. Однако в то далекое время, в 1920 году, он казался мне почти тривиальным, хотя решал глубоко волновавшую меня интеллектуальную проблему и имел очевидные практические следствия (например, политические). И все-таки я еще не вполне осознавал все его приложения и философское значение. Когда я рассказал об этом критерии одному из своих товарищей — студенту математического факультета (ныне известному в Великобритании математику), он предложил мне опубликовать мои соображения. В то время мне показалось это абсурдным, ибо я был убежден, что проблема, представлявшаяся мне столь важной, должно быть, привлекала внимание многих ученых и философов, которые, несомненно, уже должны были прийти к моему очевидному решению. О том, что этого не произошло, я узнал из книги Витгенштейна и из того приема, который она встретила. Поэтому тринадцатью годами позднее я опубликовал свои результаты в форме критики критерия осмысленности Витгенштейна.

Как вам хорошо известно, Витгенштейн в своем «Логико-философском трактате»* (см., например, его утверждения 6.53; 6.54 и 5) пытался показать, что все так называемые философские, или метафизические, предложения в действительности

* Русский перевод: Людвиг Витгенштейн. Философские работы. Ч. 1. — М., 1994. — Примеч. пер. (74:)

представляют собой псевдопредложения — что они лишены значения, или бессмысленны. Все подлинные (или осмысленные) предложения являются функциями истинности элементарных или атомарных предложений, описывающих «атомарные факты», то есть факты, которые в принципе можно установить наблюдением. Иными словами, осмысленные предложения целиком сводимы к элементарным или атомарным предложениям — простым предложениям, которые описывают возможные положения дел и в принципе могут быть обоснованы или отвергнуты с помощью наблюдения. Называя некоторое предложение «предложением наблюдения» не только в том случае, когда оно говорит о действительно наблюдаемых вещах, но также тогда, когда оно говорит о чем-то, что можно наблюдать, мы должны будем признать (согласно «Трактату», утверждения 5 и 4.52), что каждое подлинное предложение представляет собой функцию истинности предложений наблюдения и, следовательно, выводимо из них. Все остальные выражения, имеющие вид предложений, будут псевдопредложениями, лишенными значения, то есть фактически бессмысленной чепухой.

Эту идею Витгенштейн использовал для характеристики науки как чего-то противоположного философии. Мы читаем (например, в его утверждении 4.11, в котором естествознание противопоставляется философии): «Целокупность истинных предложений — наука в ее полноте (или целокупность наук)» Это означает, что к науке принадлежат те предложения, которые выводимы из истинных предложений наблюдения; предложения науки могут быть верифицированы с помощью истинных предложений наблюдения. Если бы нам были известны все истинные предложения наблюдения, нам было бы известно также все, что может сказать естествознание.

Это равнозначно довольно грубой формулировке верификационного критерия демаркации. Чтобы сделать ее несколько менее грубой, следует уточнить ее таким образом: «Предложения, которые можно отнести к области науки, должны быть такими, чтобы существовала возможность верифицировать их (75:) с помощью предложений наблюдения; совокупность таких предложений совпадает с классом всех подлинных или осмысленных предложений». Таким образом, при рассматриваемом подходе верифицируемостъ, осмысленность и научность совпадают.