Объективное знание. Эволюционный подход

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

(5) Решающие эксперименты в физике. Логический анализ идей, используемых в методологии науки, — предмет интересный и важный, и я уверен, что он приведет к новым и интересным прозрениям (insights). Вместе с тем нам не следует позволять обескураживать себя отрицательным результатам — таким, как еще один очень интересный результат Дэвида Миллера, создающий ситуацию, аналогичную ситуации с парадоксом Рассела[362]. Этот результат состоит в том, что если одна ложная теория Т₁ дает лучшие метрические приближения, чем Т₂, к истинным (или к измеряемым) значениям по крайней мере двух параметров, то всегда можно преобразовать эти теории в логически эквивалентные им теории, которые должны будут получить противоположную оценку по отношению к другому множеству параметров, определимому в терминах первого множества (причем эта определимость взаимная).

Доказательство Дэвида Миллера можно изложить следующим образом. Следующие два множества (i) и (ii) из двух уравнений каждое взаимно выводимы и следовательно эквивалентны:

(I):

x = q - 2p,

y = 2q - 3p,

(II):

p = y - 2x,

q= 2у - 3х.

Если любые два из этих четырех значений «даны» («даны» как истинные или как измеренные), то остальные два можно вычислить. Примем x = 0; у = 1; p = 1; q = 2 либо за истинные, либо за измеренные значения (либо и то, и другое).

Пусть из теории Т₁ вытекает, что

x = 0,100, у = 1,000.

Пусть из теории T₂ вытекает, что

x = 0,150, у = 1,225.

Тогда кажется, что Т₁ по точности превосходит Т₂. Однако если мы рассчитаем параметры p и q,вытекающие из Т₁ и Т₂, мы получим противоположный результат: из Т₂ вытекает р = 0,925 и q = 2,000, так что Т₂ кажется более точной, чем Т₁, из которой следует, что p = 0,800 и q = 1,700.

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

Кажется, что это разрушает фундаментальный метод физики при выборе одной из двух конкурирующих теорий на основе решающих экспериментов, иначе говоря — на основе лучшего или худшего согласия с экспериментальными измерениями. (Этот метод, кстати, не исходит ни из каких допущений о правдоподобности).

Столкнувшись с парадоксом Рассела, Фреге сказал: «Арифметика шатается». Хочется сказать, что результат Миллера показывает, что физика шатается. Однако Фреге оказался неправ в своем диагнозе. И у нас есть солидные основания думать, что физика не шатается, но способна успешно справляться с исключительно трудными и тонкими проблемами. Поэтому нельзя принимать то, что выглядит как очевидные и скептические следствия простого доказательства Миллера.

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

Избранная библиография

Bartley W. W. Ill The Retreat to Commitment. New York, Alfred A. Knopf. [1962].

Feyerabend P. K. and Maxwell G. (eds.), Mind, Matter and Method: Essays in Philosophy and Science in Honor of Herbert Feigl. Minneapolis, Minnesota, University of

Minnesota Press. [1966].

Grunbaum A. Can a Theory Answer More Questions than one of its Rivals? // British Journal for the Philosophy of Science. Vol. 27, March 1976. Pp. 1-23. [1976(a)].

Grunbaum A. Is the Method of Bold Conjectures and Attempted Refutations Justifiably the Method of Science? // British Journal for the Philosophy of Science. Vol. 27, June 1976. Pp. 105-36. [1976(b)].

Haack Susan. Is it True What They Say About Tarski? // Philosophy. Vol. 51. Pp. 323-36. [1976].

Harris J. H. Popper's Definitions of Verisimilitude // British Journal for the Philosophy of Science. Vol.25, June 1974. Pp. 160-6. [1974].

Hayek F.A. von. New Studies in Philosophy, Politics, Economics and the History of Ideas. London, Routledgc & Kegan Paul. [1978].

Hume D. A Treatise of Human Nature. Ed. L. S. Selby-Bigge. Oxford, Clarendon Press. [1888] (Русский перевод: Юм Д. Трактат о человеческой природе / Юм Д. Сочинения в 2 т. Т. 1. М., 1966).

Lewis Н. D. (ed.), Contemporary British Philosophy, Third Series. London, Alien & Unwin. [1956].

Miller D. W. Popper's Qualitative Theory of Verisimilitude // British Journal for the Philosophy of Science. Vol. 25, June 1974. Pp. 166-77. [1974(a)].

Miller D. W. On the Comparison of False Theories by Their Bases // British Journal for

Miller D. W. The Accuracy of Predictions // Synthese. Vol. 30. Pp. 159-91. [1975(a)].

Miller D. W. The Accuracy of Predictions: A Reply // Synthese. Vol. 30. Pp. 207-19. [1975(b)].

Miller D. W. Verisimilitude Redeflated // British Journal for the Philosophy of Science. Vol.27, December 1976. Pp. 363-81. [1976].

Miller D. W. On Distance from the Truth as a True Distance // Bulletin of the Section of Logic. Institute of Philosophy and Sociology, Polish Academy of Sciences, Wroclaw, 6, March 1977. Pp. 15-26. [1977].