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

⁸ В работе «Логика научного открытия» я проанализировал некоторые возможные возражения против моей концепции и ответил на них. Впоследствии эти возражения действительно были выдвинуты, однако без ссылки на мои ответы. Одно из них заключается в утверждении, что фальсификация закона природы столь же невозможна, как и его верификация. Ответ на это возражение состоит в указании на то, что в нем смешиваются два совершенно разных уровня анализа (подобно тому, как это происходит с утверждением, что математические доказательства невозможны, ибо, сколько бы их ни проверяли, у нас никогда не будет полной уверенности в том, что мы не пропустили ошибки). На первом уровне имеет место логическая асимметрия: одно сингулярное высказывание, скажем, о перигелии Меркурия, может формально фальсифицировать законы Кеплера, однако их нельзя формально верифицировать никаким числом сингулярных высказываний. Попытка уменьшить эту асимметрию может привести лишь к путанице. На втором уровне мы можем испытывать колебания по поводу любого высказывания, включая даже самые простейшие высказывания наблюдения; в этом случае мы осознаем, что каждое высказывание включает интерпретацию в свете теорий и потому проблематично. Это обстоятельство не влияет на указанную фундаментальную асимметрию, но оно имеет важное значение: большая часть анатомов, исследовавших сердце до Гарвея, видела ошибочные вещи, а именно те, которые они ожидали увидеть. Не может существовать вполне надежного наблюдения, не подверженного опасности ошибочных интерпретаций. (В этом состоит одна из причин, объясняющих бесплодность теории индукции.) «Эмпирический базис» в значительной мере состоит из смеси теорий низкой степени универсальности (описывающих «воспроизводимые эффекты»). Однако независимо от этого, фактом является то, что какой бы базис ни принял на свой риск исследователь, он может проверить свою теорию, только пытаясь опровергнуть ее.

⁹ Юм говорил не о «логических», а о «демонстративных» аргументах, употребляя терминологию, которая, как мне кажется, не вполне верна. Следующие две цитаты взяты из «Трактата о человеческой природе», кн. 1, часть 3, разделы 6 и 12 (Юм Д. Соч. в 2-х томах, т. 1. М., Мысль, 1965). (Курсив Юма.)

¹⁰ Эта и следующие цитаты взяты из указ. Соч., разд. 6. См. также «Исследование человеческого понимания», разд. 4, часть 2. (115:)

¹¹ «Трактат о человеческой природе» — там же, гл. 13, правило 4, с. 282.

¹²F. Bage, Zur Entwicklung, etc., Zeitschrift f. Hundeforschung, 1933; см. также: D. Katz, Animals and Men, ch. vi, footnote.

¹³ См. раздел 30 «Логики научного открытия».

¹⁴Katz, loc. cit.

¹⁵ Кант был убежден в том, что динамика Ньютона априорно верна (см. его работу «Метафизические начала естествознания», опубликованную в период между первым и вторым изданиями «Критики чистого разума»). Однако если справедливость теории Ньютона можно объяснить, как он считал, тем, что наш разум налагает свои законы на природу, то отсюда, как мне представляется, следует, что наш разум должен достигать в этом успеха. Но в таком случае трудно понять, почему априорное знание — такое, как теория Ньютона, — добывается с таким трудом (несколько более развернутое изложение этого вопроса можно найти в гл. 2, раздел X и гл. 7 и 8 настоящей книги).

¹⁶ Диссертация, представленная под названием Gewohnheit und Gesetzerlebnis в Венский педагогический институт (неопубликована).

¹⁷ Дальнейшие комментарии по этому поводу можно найти в гл. 4 и 5 ниже.

¹⁸Мах Born. Natural Philosophy of Cause and Chance, Oxford, 1949, p. 7.

¹⁹Natural Philosophy of Cause and Chance, p. 6.

²⁰ Я не сомневаюсь в том, что Борн и многие другие ученые согласятся с тем, что теории принимаются лишь временно. Однако широко распространенная вера в индукцию показывает, что мало кто замечает, к каким важным следствиям приводит эта точка зрения.

²¹ Витгенштейн придерживался этого взгляда еще в 1946 году; см. примечание 8 к гл. 2 ниже.

²² См. примечание 5 выше.

²³ «Логика научного открытия» (см. примечание 5 выше), гл. X, в частности, разделы 80—83, а также раздел 34. См. также мою заметку A Set of Independent Axioms for Probability, Mind, N.S. 47, 1938, p. 275. С некоторыми изменениями эта заметка была перепечатана в новом приложении *ii к «Логике». См. также следующие примечания к настоящей главе.

²⁴ Определение в терминах теории вероятностей (см. следующее примечание) величины C(t, e), то есть степени подкрепления теории относительно свидетельства е, удовлетворяющее требованиям, перечисленным в моей «Логике научного открытия», разд. 82-83, выглядит следующим образом:

C(t, е) = E(t, е) (1 + P(t)P(t, e)),