Избранные работы
жүктеу/скачать 3,46 Mb. Pdf көрінісі
|
logic of scientific discovery
| асим-
метрии между верифицируемостью и фальсифицируе- мостью — асимметрии, которая возникает из логической формы универсальных высказываний. Дело в том, что универсальные высказывания никогда не выводимы из сингулярных высказываний, но последние могут проти- воречить им. Следовательно, посредством чисто дедук- тивных выводов (с помощью modus tollens классической логики) возможно переходить от истинности сингуляр- ных высказываний к ложности универсальных. Такое рассуждение о ложности универсальных высказываний представляет собой единственный вид выводов чисто дедуктивного типа, который идет, так сказать, в «ин- дуктивном направлении», то есть от сингулярных выска- зываний к универсальным. Третье возражение может показаться более серьез- ным. Мои критики могут заявить, что даже при призна- нии указанной асимметрии возможно по разным при- чинам избежать окончательной фальсификации теорети- ческой системы. Всегда имеется возможность как-то из- бавиться от фальсификации, например с помощью вве- дения дополнительной гипотезы ad hoc или изменения ad hoc некоторого определения. Можно даже просто встать в позицию отказа признать какой-либо фальси- фицирующий опыт, не допуская при этом логической непоследовательности. Конечно, ученые обычно не по- ступают таким образом, но логически такая процедура вполне возможна, и, как могут мне заявить, это обстоя- тельство делает логическую ценность выдвигаемого критерия демаркации по крайней мере весьма сомни- тельной. 64 Я вынужден признать справедливость такой крити- ки, но это вовсе не принуждает меня отказаться счи- тать фальсифицируемость критерием демаркации. В дальнейшем (в разд. 20 и далее) я выдвину предпо- ложение о том, что эмпирический метод следует харак- теризовать как метод, который исключает как раз те способы игнорирования фальсификации, кЪторые, по вполне справедливым замечаниям моих воображаемых оппонентов, являются логически возможными. Мое предположение подразумевает, что эмпирический метод характеризуется прежде всего тем, что он подвергает фальсификации во всех возможных отношениях данную проверяемую систему. Цель этого метода — вовсе не спасение несостоятельных систем, а, наоборот, отбор той из них, которая наиболее приспособлена к выжива- нию по сравнению с другими. Это достигается тогда, когда рассматриваемые системы участвуют в жесточай- шей борьбе за выживание. Предлагаемый нами критерий демаркации ведет вместе с тем к решению поставленной Юмом проблемы индукции, то есть проблемы обоснованности естествен- ных законов. Проблема эта коренится в очевидном про- тиворечии между положением, которое можно назвать «фундаментальным тезисом эмпиризма» — истинность или ложность высказываний науки может быть опре- делена только опытом, — и предпринятым Юмом обос- нованием неприемлемости индуктивных аргументов. Это противоречие возникает только при предположении, что все эмпирические научные высказывания должны быть «окончательно разрешимыми», то есть что они в принципе могут быть и фальсифицируемы, и верифици- руемы. Если мы переформулируем это требование и будем признавать эмпирическими и те высказывания, которые разрешимы только в одну сторону — односто- ронне разрешимы, в частности фальсифицируемы, то есть которые могут быть проверены при помощи сис- тематических попыток фальсифицировать их, то проти- воречие исчезает. Метод фальсификации предполагает не индуктивный вывод, а только тавтологические преоб- разования дедуктивной логики, справедливость которых не подлежит сомнению 23 . По этому поводу см. мою работу [57]. 65 |