Неопровержимость теорий по Карлу Попперу
Согласно критерию фальсифицируемости теорий по Карлу Попперу, если некая теория принципиально неопровержима, её нельзя относить к научным.
Таковы, например, философские теории…
«Теперь перед нами перечень пяти философских теорий.
Первая - детерминизм: будущее содержится в настоящем, поскольку оно целиком детерминировано настоящим.
Вторая - идеализм: мир есть моя греза.
Третья - иррационализм: у нас есть иррациональный или сверхрациональный опыт, в котором мы воспринимаем себя как вещь в себе, поэтому мы обладаем некоторым способом познания вещей в себе.
Четвертая - волюнтаризм: в собственном волевом акте мы познаем себя как волю. Вещь в себе есть воля.
Пятая - нигилизм: в нашей скуке мы познаем себя как ничто. Вещь в себе есть ничтожность.
Свои примеры я выбрал таким образом, чтобы иметь возможность сказать: я убеждён, что все эти теории ложны. Если выражаться точнее, то я прежде всего индетерминист, во-вторых, реалист, в-третьих, рационалист. Что же касается четвёртого и пятого примеров, то вместе с Кантом и другими критическими рационалистами я вполне допускаю, что мы не можем получить сколько-нибудь полного знания о бесконечно многообразном реальном мире. Ни физика, ни какая-либо другая наука не способны дать нам такого знания. Волюнтаристская формула «Мир есть воля» нам также не может помочь, А наших нигилистов и экзистенциалистов, которые надоели самим себе (и, возможно, другим), я могу лишь пожалеть. Они, по-видимому, слепы и глухи, ибо то, что они говорят о мире, напоминает рассуждения слепого о красках Перуджино или глухого о музыке Моцарта.
Почему же в таком случае я выбрал для своих примеров такие философские теории, которые сам я считаю ложными? - Потому, что хочу таким образом яснее сформулировать проблему, содержащуюся в следующем важном утверждении.
Несмотря на то что каждую из перечисленных пяти теорий я считаю ложной, тем не менее я убежден в том, что каждая из них неопровержима.
Дойдя до этого утверждения, Вы вполне можете удивиться: как это я, считающий себя рационалистом, могу называть какую-то теорию ложной и неопровержимой в одно и то же время? Как может рационалист утверждать, что теория ложна и неопровержима? Не обязан ли он, как рационалист, сначала опровергнуть теорию, а уже потом называть её ложной? И напротив, не обязан ли он согласиться с тем, что если теория неопровержима, то она истинна? Эти вопросы привели нас наконец к нашей проблеме.
Ответить на последний вопрос сравнительно просто. Есть мыслители, полагающие, что истинность теории следует из её неопровержимости. Это очевидная ошибка, если учесть, что могут существовать две несовместимые теории, которые равно неопровержимы, например, детерминизм и индетерминизм. Две несовместимые теории не могут быть вместе истинными, поэтому из того, что обе они неопровержимы, мы можем заключить, что неопровержимость не влечет истинности.
Следовательно, нельзя выводить истинность теории из её неопровержимости, как бы при этом мы ни истолковывали неопровержимость. Обычно слово «неопровержимость» употребляют в следующих двух смыслах.
Во-первых, в чисто логическом смысле: «неопровержимо» означает «неопровержимо чисто логическими средствами». Однако это означает то же самое, что и «непротиворечиво». Но совершенно ясно, что истинность теории нельзя вывести из её непротиворечивости.
Во втором смысле слово «неопровержимо» ссылается на опровержения, использующие не только логические (или аналитические), но также эмпирические (или синтетические) предположения, иными словами, говорит об эмпирических опровержениях. В этом втором своем смысле слово «неопровержимо» означает «эмпирически неопровержимо», точнее, «совместимо с любым возможным эмпирическим утверждением» или «совместимо с любым возможным опытом». И логическая, и эмпирическая неопровержимость утверждения вполне могут сочетаться с его ложностью. Для логической неопровержимости это усматривается из того факта, что любое эмпирическое утверждение и его отрицание - оба логически неопровержимы. Например, два утверждения «Сегодня понедельник» и «Сегодня не понедельник» оба логически неопровержимы. Отсюда сразу же следует, что существуют ложные утверждения, которые логически неопровержимы.
С эмпирической неопровержимостью дело обстоит несколько иначе. Простейшим примером эмпирически неопровержимых утверждений являются так называемые чисто экзистенциальные утверждения, например, «Существует жемчужина, которая в десять раз больше самой большой из известных жемчужин». Если слово «существует» относится к некоторой конечной пространственно-временной области, то это утверждение может оказаться опровержимым. Например, следующее утверждение очевидно эмпирически опровержимо: «В данный момент в этой шкатулке существует жемчужина, которая в десять раз больше любой другой жемчужины из этой шкатулки». Однако такое утверждение не является строго или чисто экзистенциальным утверждением, оно представляет собой ограниченное экзистенциальное утверждение. Строго или чисто экзистенциальное утверждение относится ко всему универсуму, и оно неопровержимо просто в силу того, что у нас нет метода его опровержения. Сколь бы полно мы ни исследовали наш универсум, строго экзистенциальное утверждение не будет опровергнуто, ибо всегда можно сказать, что искомая жемчужина скрывается там, куда мы ещё не успели заглянуть».
Карл Поппер, Кантовская критика и космология / Предположения и опровержения: рост научного знания, М., «Аст», 2004 г., с. 325-328.
