Логика и рост научного знания
Шрифт:
условленное логическими основаниями, с возможными
тать фальсифицируемость критерием демаркации.
сингулярными высказываниями. (Не зря же мы назы-
В дальнейшем (в разд. 20 и далее) я выдвину предпо-
ваем законы природы «законами»: чем больше они за-
ложение о том, что эмпирический методследует харак-
прещают, тем больше они говорят.)
теризовать как метод, который исключает как раз те
Против предложенного
способы игнорирования фальсификации, кЪторые, по
пытаться обратить мою же критику индуктивистского
вполне справедливым замечаниям моих воображаемых
критерия демаркации. На первый взгляд кажется, что
оппонентов, являются логически возможными. Мое
против фальсифицируемости как критерия демаркации
предположение подразумевает, что эмпирический метод
можно выдвинуть возражения, сходные с теми, которые
характеризуется прежде всего тем, что он подвергает
я сам выдвинул против верифицируемости.
фальсификации во всех возможных отношениях данную
Однако такие нападки не очень тревожат меня, так
проверяемую систему. Цель этого метода — вовсе не
как выдвинутый мной критерий основывается на асим-
спасение несостоятельных систем, а, наоборот, отбор
метриимежду верифицируемостью и фальсифицируе-
той из них, которая наиболее приспособлена к выжива-
мостью — асимметрии, которая возникает из логической
нию по сравнению с другими. Это достигается тогда, формы универсальных высказываний. Дело в том, что
когда рассматриваемые системы участвуют в жесточай-
универсальные высказывания никогда не выводимы из
шей борьбе за выживание.
сингулярных высказываний, но последние могут проти-
Предлагаемый нами критерий демаркации ведет
воречить им. Следовательно, посредством чисто дедук-
вместе с тем к решению поставленной Юмом проблемы
тивных выводов (с помощью modus tollens классической
индукции, то есть проблемы обоснованности естествен-
логики) возможно переходить от истинности сингуляр-
ных законов. Проблема эта коренится в очевидном про-
ных высказываний к ложности универсальных. Такое
тиворечии между положением, которое можно назвать
рассуждение о ложности универсальных высказываний
«фундаментальным тезисом эмпиризма» — истинность
представляет собой единственный вид выводов чисто
или ложность высказываний науки может быть опре-
дедуктивного типа, который идет, так сказать, в «ин-
делена только опытом, — и предпринятым Юмом обос-
дуктивном
нованием неприемлемости индуктивных аргументов. Это
зываний к универсальным.
противоречие возникает только при предположении, Третье возражение может показаться более серьез-
что все эмпирические научные высказывания должны
ным. Мои критики могут заявить, что даже при призна-
быть «окончательно разрешимыми», то есть что они в
нии указанной асимметрии возможно по разным при-
принципе могут быть и фальсифицируемы, и верифици-
чинам избежать окончательной фальсификации теорети-
руемы. Если мы переформулируем это требование и
ческой системы. Всегда имеется возможность как-то из-
будем признавать эмпирическими и те высказывания, бавиться от фальсификации, например с помощью вве-
которые разрешимы только в одну сторону — односто-
дения дополнительной гипотезы ad hoc или изменения
ронне разрешимы, в частности фальсифицируемы, то
ad hoc некоторого определения. Можно даже просто
есть которые могут быть проверены при помощи сис-
встать в позицию отказа признать какой-либо фальси-
тематических попыток фальсифицировать их, то проти-
фицирующий опыт, не допуская при этом логической
воречие исчезает. Метод фальсификации предполагает
непоследовательности. Конечно, ученые обычно не по-
не индуктивный вывод, а только тавтологические преоб-
ступают таким образом, но логически такая процедура
разования дедуктивной логики, справедливость которых
вполне возможна, и, как могут мне заявить, это обстоя-
не подлежит сомнению23.
тельство делает логическую ценность выдвигаемого
критерия демаркации по крайней мере весьма сомни-
тельной.
По этому поводу см. мою работу [57].
64
65
7. Проблема «эмпирического базиса»
этого опыта, что опыт делает их истинность «очевид-
ной» и т. п. Все утверждения такого рода четко выра-
Для того чтобы фальсифицируемость в принципе
жают тенденцию подчеркивания тесной связи между
могла быть применена в качестве критерия демаркации, базисными высказываниями и нашим чувственным
необходимо иметь в нашем распоряжении сингулярные
опытом. Однако вместе с тем справедливо считается, высказывания, которые могли бы служить посылками
что высказывания могут быть логически оправданы