3. Вероятностный характер вторичных критериев

Нам остается решить одну серьезную проблему. Вводя в дело вторичные критерии, рассуждают по схеме: если истинная теория проста, красива и т.д. (а это наблюдается повсеместно, то неуклонно следует, что, утверждая истинность теоретического построения, мы тем самым принимаем как факт и его простоту. В основе подобного рассуждения лежит дедуктивное условно-категорическое умозаключение типа modus ponens. У нас шла речь о нем в гл. X, 1:

a-> b

Дано: Если a, то b, и еще a, Следовательно, b.

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

Однако в случае использования вторичных критериев рассуждение проходит несколько по иному сценарию. Мы ведь обернули ситуацию: если простота - признак истины, по признаку простоты предложили искать истинное знание. В этом случае схема рассуждения уже иная:

a-> b

__b

a

Здесь мы идем не от основания (a) к следствию (b), а, наоборот, - от следствия к основанию, полагая, что если признано, что истинные теории просты, то любая простая теория должна по одному этому быть истинной. Логика квалифицирует подобные рассуждения как ошибочные. Здесь осуществлена логическая операция конверсии - выяснение отношения предиката (P) к субъекту (S) на основании знания отношения субъекта к предикату. Из того факта, что все истинные теории (S) обладают свойством простоты (P) мы и сделали вывод, что каждая простая теория истинна. Символически это можно представить формулой вида:

x(Sx-> Px)-> (Px-> Sx).

Однако, как нами уже отмечено, подобное умозаключение некорректно. Проиллюстрируем это более прозрачным примером: на основании того, что, скажем, что все космонавты спортсмены вовсе не следует, что все спортсмены космонавты. Имеем право утверждать о том лишь, что некоторые спортсмены космонавты. Следовательно, можно говорить с уверенностью только о том, что по крайней мере некоторые простые теории истинны. Соответственно, правильная формула приобретает запись:

 x(Sx-> Px)-> x(Px-> Sx),

где - квантор существования и читается: "Существует такой x, что...".

Почему же ученые используют этот достаточно зыбкий прием? Во-первых, такое использование весьма распространено в практике профессиональной деятельности ряда специалистов: при диагностировании в медицине, ветеринарии, определении дефектов механизмов и машин, в геологической разведке полезных ископаемых, в следственной работе по отысканию преступника. Скажем, врач, наблюдая больного, имеет дело лишь с симптомами болезни (то есть следствиями) и по ним судит о самой болезни как основании этих следствий. Или детектив по следам преступления заключает о его исполнителе.

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

В силу вероятностного характера вторичных критериев нет гарантии от ошибок при их использовании. О возможности совершить такую ошибку, которую, однако, удалось избежать, убедительно говорит эпизод, имевший место при выведении Кеплером первого закона движения планет. До Кеплера считалось, что планеты движутся по круговым орбитам. Но многолетние наблюдения движения Марса, собранные датчанином Тихо де Браге (XVI в.), и обобщенные в его знаменитых таблицах (плод двадцатилетних усилий), говорят о другом. Изучив таблицы, Кеплер увидел не окружность, а эллипс. Предстояло принять ответственное решение.

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

Потому природа в конструировании своих объектов и их движений обращается к окружности и шару: дождевые капли, град, мыльные пузыри, Солнце, Луна, Земля - все шарообразной или почти шарообразной формы. "А вы замечали, - говорит Д. Пойе - как ведет себя кот в холодную погоду? Он сворачивается клубком, чтобы максимально уменьшить площадь теплопередачи. Надо полагать, заключает Пойа, кот имеет некоторое представление об изометрической теореме Декарта.

Круг совершенен и в другом отношении. Говоря о симметрии фигур, выделяют ось и центр симметрии. Ось - это линия, (вещественная или воображаемая), которая проходит через центр фигуры. Различают порядок оси - число совмещений фигуры самой с собой при полном обороте ее вокруг собственной оси. Так, равнобедренный треугольник владеет осью второго, равносторонний треугольник - третьего, квадрат - четвертого и т.д. порядка... Читатель уже чувствует, к чему склоняется дело. У окружности особая стать. Она обладает осью бесконечного порядка, так называемой поворотной симметрией, представимой группой преобразований бесконечного порядка, тогда как все иные фигуры имеют симметрию, выразимую группой преобразований лишь конечного значения.

И еще одно обстоятельство в пользу круговой орбиты. Согласно учению церкви, на нашей грешной Земле движения тел могут совершаться по самым различным траекториям, на небе же, в сферах божественного, допустимы лишь круговые премещения. А. Кеплер был глубоко верующим человеком, имел образование теолога. Он закончил теологический факультет Тюбингенского университета и должен был служить священником. И хотя обстоятельства сложились так, что Кеполлер принял должность преподавателя гимнащзиив городе Гратц (Австрия), однако от служения делу религии не отказался, заявив: "Я и здесь буду прославлять Бога".

Как видим, существовал мощный фон давлений, подталкивающий Кеплера остановиться на признании круга. Неистовствовали авторитеты. Поначалу он колебался, заявляя: "Кто я, Иоганн Кеплер, такой, чтобы разрушать божественную симметрию круговых орбит?" Все же, учитывая данные таблиц де Браге, он выбирает эллиптическую форму, замечая при этом, что с красотой и гармонией считаться надо, но практические наблюдения более важный аргумент для исследователя. Свои противоречивые чувства Кеплер подытожил следующим признанием. Конечно, эллипсы - это навоз. Но, вводя их, я избавил астрономию от еще большего количества навоза".

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

 Если и - две заданные точки, а - произвольная точка эллипса, то сумма отрезков + не зависит от того, где именно расположена точка на эллипсе, то есть является постоянной. Две заданные точки и являются фокусами эллипса. Соответственно первый закон Кеплера и утверждает, что планеты движутся вокруг Солнца по эллипсам, в одном из фокусов которого находится Солнце.