Апория «о месте» и «метрическая апория»

2.1.2. Апория «о месте» и «метрическая апория».

К рассмотренной апории примыкают приводимые Аристотелем зеноновские апории «о месте» и «метрическая». Первую Аристотель излагает так: «…если все существующее помещается в известном месте, то ясно, что будет и место места, и так идет в бесконечность».

Аристотель писал: «ничто ведь не препятствует, чтобы первичное место было в другом… не как в месте, а так, как здоровье заключается в теплом как свойство, а теплое в теле как состояние. Таким образом, нет необходимости идти в бесконечность».

Разъяснения Аристотеля о месте как о некотором состоянии вещи или даже о свойстве некоторого состояния нельзя признать удачной аргументацией.

Пример с теплом как «свойством здоровья» не избавляет от требования «места месту», если место как-то подобно теплу, ибо тепло, как и любое состояние вещи, «разлить по всей вещи», и вместе с ней занимает то же самое место, что и вещь, обладающая этим состоянием.

Рассуждения, аналогичные по своей структуре только что рассмотренной апории, встречаются и в современных основаниях математики, когда идущий в бесконечность натуральный ряд чисел порождается из «ничего» (из Ø) посредством того, что сначала рассматривается Ø; затем множество {Ø}, единственным элементом которого является Ø; далее множество {Ø, {Ø}} и так далее.

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

2.1.3. Логическая структура апорий данного типа

может быть представлена конъюнкцией:

"x ( S(x) ® P(x) ) Ù х ( ùS(x) Ù P(x) ),

обнаруживающей нарушение принципа логической непротиворечивости мысли, где S(x) – знак предиката «быть вещью» или «быть подлинным (не равным Ø) множеством», P(x) – «обладать местом», или «быть множеством вообще».

Уход в бесконечность в анализируемых апориях – результат приведенной логической некорректности в сфере мысли. Некорректность такого рода выражена уже, например, в заявке строить натуральный ряд чисел, не опираясь ни на что. На самом же деле вместо абстракции «ничто» при таких построениях используются знаки Ø, {Ø}, {Ø, {Ø}} и так далее, то есть опять-таки совершается подмена несуществующего объекта мысли («Ø») вполне материальными символами, реализующими «тайну» построения натурального ряда из «ничего».

В тесной связи с рассмотренной апорией находится и метрическая апория Зенона, то есть апория, связанная с размерами объекта, конструируемого из «ничего». Аристотель писал об этом: «Если что-нибудь, будучи прибавлено к какой-нибудь вещи или отнято от нее, не делает эту вещь больше, соответственно меньше, тогда, по словам Зенона, оно не принадлежит к числу существующего, причем существующая, очевидно, понимается как величина телесная: ведь именно такая величина обладает бытием в полной мере… точка же и 1(0) не создадут увеличения ни при каких обстоятельствах».

«Данная апория, - пишет Ю.А. Петров, - вскрывала трудности, связанные с представлением конечного тела в виде бесконечной совокупности неделимых. Эти неделимые в свою очередь представлялись не имеющими измерений точками. Их сумма полагалась равной нулю, из чего следовало, что тело, имеющее измерение, лишено измерения. Если же неделимые представлялись имеющими измерение, то тело большим по величине. В обоих случаях получались противоречия».

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

2.1.4. «Взгляд со стороны». Суждения мыслителей.

Ещё со времен Евклида философы и математики сомневались в справедливости понимания протяженного континуума как совокупности непротяженных элементов. Этим вопросом, кроме Зенона, уделяли внимание такие мыслители, как Аристотель, Кавальери, Текет, Паскаль, Больцано, Лейбниц, Кантор, У. Джеймс, Бриджмен и другие. Так, например, Бриджмен, писал: «если бы линию понимали так, что она буквально состоит из совокупности точек нулевой длины, а интервал времени представляет собою сумму неделящихся мгновений, тогда уже само это понимание было бы парадоксальным».

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

А. Грюнбаум считает, что современная теория точечных множеств позволяет «преодолеть противоречивый характер утверждений о том, что положительный линейный интервал состоит из непротяженных элементов - точек». Эти толкования не в состоянии помочь А. Грюнбауму избежать основной трудности – доказать возможность получения протяженной длины из непротяженных каких бы то ни было объектов, ибо не столь важно, какова их конкретная природа или названия, но важно то, что они не обладают протяженностью.

На аналогичных позициях находился и Б. Рассел, считавший точку и момент объектами, не имеющими измерений. Однако, по его мнению, из бесконечного континуального множества этих объектов состоят реальное пространство и время. Б. Рассел утверждал, что если отбросить идеи об актуально бесконечных малых, трудности бесконечности и непрерывности, дескать, исчезают, а «… аргументы Зенона, в большинстве своем веские, не поднимают серьезных затруднений».

Оценивая подобного рода подходы к решению обсуждаемой апории Зенона, С. Яновская, на мой взгляд, правильно подчеркивала, что «таким образом отнюдь не решаются гносеологические трудности, связанные с неконструктивностью «построения» протяженных объектов в виде актуально-бесконечных (к тому же еще и несчетных) множеств непротяженных элементов». Некорректность подобных решений анализируемой апории должна быть ясна из того, что суммирование какого угодно множества не обладающих протяженностью точек не дает нам хоть какой-нибудь минимально протяженной величины: «Ведь сколько раз ни повторять ничто, ничего и не получится». Однако, если располагать актуально бесконечными малыми, но реальными протяженными какими-то квантами пространственно-временного типа, то, опираясь на движение и свойство отражения объектов, можно получить сколь угодно протяженные конечные тела.