Поппер отвергает любые попытки подобного отделения имеющего значение от не имеющего и заменяет их новым демаркационным критерием, разделяющим все человеческое знание на два непересекающихся класса — «науку» и «ненауку». В XIX в. традиционным решением этой демаркационной проблемы было бы следующее: наука отличается от ненауки тем, что она использует метод индукции, то есть наука исходит из опыта и переходит от наблюдения и экспериментов к формулировке универсальных законов с помощью правил индукции. К сожалению, проблема логического обоснования индукции беспокоила философов еще со времен Дэвида Юма. Возьмем конкретный пример: люди выводят универсальный закон о том, что солнце всегда восходит утром, из прошлого опыта; тем не менее это не может быть логически убедительным заключением, когда из верности предпосылок с необходимостью следует верность вывода, поскольку нет никакой гарантии, что происходившее в прошлом будет происходить и в будущем. Утверждать, что универсальный закон восхода солнца основан на неизменном опыте, означает, как сказал Юм, считать утверждение не требующим доказательств, поскольку тем самым мы лишь переносим проблему индукции с рассматриваемого случая на другой; проблема же состоит именно в том, каким образом можно логически утверждать что–либо о будущем опыте на основе исключительно прошлого опыта. На определенном этапе рассуждения индуктивный переход от частных случаев к универсальному закону требует нелогичного мыслительного скачка, дополнительного элемента, вполне способного привести нас от верных предпосылок к ложным выводам. Юм не отрицал, что мы постоянно обобщаем отдельные случаи по привычке и в силу спонтанной ассоциации идей, но считал это логически неоправданными догадками. Это и есть знаменитая проблема индукции.
Из рассуждений Юма вытекает фундаментальная асимметрия между индукцией и дедукцией, между доказательством и опровержением, между верификацией и фальсификацией, между утверждением и опровержением утверждения. Ни одно универсальное утверждение не может быть логически строго выведено или окончательно установлено из сколь угодно большого числа частных утверждений, но любое универсальное утверждение может быть логически опровергнуто одним–единственным частным утверждением с помощью дедуктивной логики. Проиллюстрируем сказанное любимым попперовским примером (на самом деле его впервые привел Джон Стюарт Милль): сколько бы раз мы не видели белых лебедей, это не дает нам права утверждать, что все лебеди — белые, однако достаточно один раз увидеть черного лебедя, чтобы опровергнуть данное утверждение. Короче говоря, вам никогда не удастся доказать, что нечто фактически верно, но вы можете доказать, что некоторые вещи фактически ложны. Это — утверждение, которое мы можем принять как первую заповедь методологии науки. Поппер использует указанную фундаментальную асимметрию, формулируя свой критерий демаркации: наука — это совокупность синтетических Утверждений о реальном мире, которые могут, по крайней мере в принципе, быть опровергнуты эмпирическими наблюдениями. Таким образом, науку характеризует используемый ей метод формулирования и проверки утверждений, а не ее предмет или заверения в истинности знаний; если наука и может хоть в чем–то дать уверенность, так это уверенность в незнании.
Проведенная таким образом граница между наукой и ненаукой, однако, не абсолютна: как опровержимость, так и верифицируемость имеют различные степени (Popper К., 1959, р. 113; 1972b, p. 257; 1976, р. 42). Иными словами, демаркационный критерий следует понимать как описывающий более или менее непрерывный спектр знания, на одном конце которого находятся некоторые из «твердых» естественных наук, такие как физика и химия (рядом с ними стоят более «мягкие» эволюционная биология, геология и космология), на другом — поэзия, искусство, литературная критика и т.п., а где–то в середине, хотелось бы верить, ближе к научному полюсу — общественные науки.
Логическая ошибка
Давайте проясним разницу между верифицируемостью и опровержимостью, сделав краткое отступление в захватывающую область логических ошибок. Рассмотрим гипотетический силлогизм: «Если А истинно, то Б истинно; А истинно, следовательно, Б истинно». Гипотетическое утверждение большой посылки разбивается на антецедент — «если А истинно» и кон–секвент — «то Б истинно». Чтобы прийти к выводу «Б истинно», мы должны быть способны сказать, что А действительно истинно, или говоря техническим языком логики, мы должны «подтвердить антецедент» большой посылки в нашем гипотетическом утверждении, чтобы с логической необходимостью прийти к выводу «Б истинно». Заметим, что под термином «истинно» здесь подразумевается логическая, а не фактическая истина.
Читать дальше