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

Везде, где я говорю (как на с. 64 настоящей книги), что у нас есть основания полагать, что мы добились продвижения вперед, я говорю, конечно, не на фактуальном языке-объекте наших теорий (скажем, T ₁или T ₂), и не заявляю — на метаязыке, — что Т ₂фактически ближе к истине, чем Т ₁. Скорее я даю оценку состояния обсужденияэтих теорий, в свете которого Т ₂представляется более предпочтительной, чем Т ₁, с точки зрения нацеленности на истину.

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

362

См. Миллер (Miller [1975(a)])f pp. 170 и l80f., а также разд. 4 моей статьи [1976(Ь)]

Доказательство Дэвида Миллера можно изложить следующим образом. Следующие два множества (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 Justifiablythe 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].

Musgrave A. Popper and "Diminishing Returns from Repeated Tests" // Australasian Journal of Philosophy. Vol.53, December 1975. Pp. 248-53. [1975].