Логике научного исследования - Поппер Карл Раймунд - Страница 21

Как мы уже видели, степень универсальности и точности некоторой теории возрастает вместе со

степенью ее фальсифицируемости. Таким образом, мы, по-видимому, можем отождествить степень

строгости теории, то есть степень, так сказать, жесткости тех ограничений, которые теория при по-

мощи закона налагает на природу, с ее степенью фальсифицируемости. Отсюда следует, что понятие

степени фальсифицируемости выполняет те самые функции, которые, по мнению Шлика и Фейгля, должно выполнять понятие простоты. Я могу добавить, что различение, которое Шлик хотел прове-

сти между законом и случаем, также может быть уточнено с помощью идеи степеней фальсифициру-

емости. Оказывается, что вероятностные высказывания о последовательностях со случайными харак-

теристиками, во-первых, имеют бесконечную размерность (см. раздел 65), во-вторых, являются

сложными, а не простыми (см. раздел 58 и конец раздела 59) и, в-третьих, фальсифицируемы только

при принятии специальных мер предосторожности (см. раздел 68).

Сравнение степеней проверяемости подробно обсуждалось ранее, в разделах 31-40. Приводимые

там примеры и отдельные соображения легко перенести на проблему простоты. Это верно, в частно-

сти, для понятия степени универсальности некоторой теории. Мы знаем, что более универсальное

высказывание может заменить много менее универсальных высказываний, и по этой причине его

можно назвать «более

воззрением на простоту, ни с каким-либо другим понятием (типа проверяемости или содержания), которое помогло бы

объяснить наше эпистемологическое предпочтение более простых теорий.

Предпринятая Вейлем попытка охарактеризовать простоту некоторой кривой при помощи малочисленности ее парамет-

ров, как мы отметили, была предвосхищена в 1921 году Джеффрисом и Ринчем {Jeffries H., Wrinch D. // Philosophical Magazine, 1921, vol. 42, p. 369 и след.). Однако если Вейль просто не смог заметить то, что теперь (согласно Нилу) «легко заме-

тить», то Джеффрис действительно придерживался и до сих пор придерживается воззрения, совершенно противоположного

моей теории простоты: он приписывает более простому закону большую априорную вероятность, а не большую априорную

невероятность, как это делаю я. (Таким образом, сопоставление взглядов Джеффриса и Нила может служить иллюстрацией

к замечанию Шопенгауэра о том, что решение проблемы часто сначала выглядит как парадокс, а потом как трюизм.) Я хо-

тел бы добавить здесь, что в последнее время я значительно продвинулся в разработке моих взглядов на понятие простоты, при этом я старался усвоить, и, надеюсь, небезуспешно, кое-что из книги Нила (ср. Приложение *Х и раздел *15 моего Postscript).

1 Schlick M. Die Kausalitдt in der gegenwдrtigen Physik // Naturwissenschaften, 1931, Bd. 19, H. 7, S. 148 (см. примечание 1 к

предшествующему разделу).

131

простым». Можно также сказать, что понятие размерности теории придает точность идее Вейля об

использовании числа параметров для определения понятия простоты*2. Несомненно также, что наше

различение материальной и формальной редукций размерности теории (см. раздел 40) может подска-

зать ответ на некоторые возможные возражения против теории Вейля, например на возражение, со-

32

гласно которому множество эллипсов, для которых даны соотношения их осей и численный эксцен-

триситет, имеет в точности столько же параметров, как и множество окружностей, хотя второе мно-

жество, очевидно, является более «простым».

Самое же важное состоит в том, что наша теория объясняет, почему простота ценится столь вы-

соко. Чтобы понять это, нам не нужно принимать ни «принцип экономии мышления», ни какой-либо

другой принцип такого же рода. Когда нашей целью является знание, простые высказывания следует

ценить выше менее простых потому, что они сообщают нам больше, потому, что больше их эмпи-

рическое содержание и потому, что они лучше проверяемы.

44. Геометрический образ и функциональная форма

Наша концепция простоты помогает нам разрешить ряд противоречий, которые до сих пор стави-

ли под сомнение полезность применения понятия простоты.

Немногие, я думаю, считают геометрический образ, скажем логарифмической кривой, очень про-

стым. Однако закон, который может быть представлен с помощью логарифмической функции, обыч-

но считается простым. Аналогичным образом функция синуса, по общему мнению, является простой, хотя геометрический образ синусоиды, возможно, не является столь простым.

Трудности такого рода можно устранить, если мы вспомним о связи между числом параметров и

степенью фальсифицируемости и проведем

*2Как упоминалось в примечании 7 к разделу 42 и в примечании *1 к этому разделу, именно Ха-

ролд Джеффрис и Дороти Ринч впервые предложили измерять простоту некоторой функции мало-

численностью ее свободно заменимых параметров. Однако они вместе с тем предлагали приписывать

более простой гипотезе большую априорную вероятность. Таким образом, их взгляды могут быть

выражены следующей схемой:

простота = малочисленность параметров = высокая априорная вероятность.

Получилось так, что я исследовал эту проблему совсем с другой стороны. Меня интересовала оценка степеней проверя-

емости, и я вначале обнаружил, что проверяемость можно измерить при помощи «логической невероятности» (которая в

точности соответствует используемому Джеффрисом понятию «априорной» невероятности). Затем я обнаружил, что прове-

ряемость и, следовательно, априорная невероятность могут быть отождествлены с малочисленностью параметров, и только

в конечном итоге я отождествил высокую степень проверяемости с высокой степенью простоты. Таким образом, мои взгля-

ды могут быть выражены такой схемой:

проверяемость=высокая априорная невероятность = малочисленность параметров = простота.

Заметим, что две эти схемы частично совпадают. Однако в решающем пункте, когда речь заходит о вероятности и неве-

роятности, они находятся в прямом противоречии друг с другом. См. также Приложение *VIII.

132

различение между формальной и материальной редукциями размерности. (Здесь могут помочь и соображения о роли

инвариантности по отношению к преобразованиям систем координат.) Когда речь идет о геометрической форме или

об образе некоторой кривой, мы требуем от нее инвариантности по отношению ко всем преобразова-

ниям, принадлежащим к группе переносов. Мы можем также потребовать при этом инвариантности

по отношению к преобразованиям подобия, так как обычно предполагается, что геометрическая фор-

ма или геометрический образ не связаны с определенным местом на плоскости. Следовательно, если

мы рассматриваем форму однопараметрической логарифмической кривой у = logax, не связывая ее с

определенным местом на плоскости, то такая кривая будет зависеть от пяти параметров (если допу-

стить преобразования подобия). Таким образом, она ни в коем случае не является весьма простой

кривой. Если же некоторая логарифмическая кривая представляет теорию или закон, то указанные

преобразования координат не имеют значения. В таких случаях использование вращений, параллель-

ных переносов и преобразований подобия не имеет смысла, так как логарифмическая кривая здесь, как правило, является графическим представлением, в котором оси координат не взаимозаменяемы (к

примеру, ось х может представлять атмосферное давление, а ось у — высоту над уровнем моря). По

этой же причине преобразования подобия также не играют здесь никакой роли. Аналогичные сооб-