И.В. Берестов

132

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Regressus ad infinitum в обосновании Зеноном Элейским немножественности сущего



Мы хотели бы продемонстрировать возможность того, что некоторые из аргументов Зенона Элейского в пользу немножественности сущего могут интерпретироваться как корректно (в рамках предположительно подразумеваемых Зеноном посылок) доказывающие тезис: «Если сущее множественно, то попытка охватить или связать его некоторым актом «правильного» связывания (или «правильного» мышления), задаваемым довольно здравыми допущениями, не будет иметь успеха». Это доказательство может интерпретироваться таким образом, что его посылки, хотя бы на первый взгляд, производят впечатление вполне здравых, а некорректность аргументов вовсе не очевидна. Данная интерпретация противостоит большинству интерпретаций аргументации Зенона, в которых Зенону приписываются либо тривиально ошибочные умозаключения, либо очень спорные и интуитивно неприемлемые посылки. Мы стремимся показать, что рассуждение Зенона можно интерпретировать как основывающееся на некоторых принципах, которые стали затем очень широко обсуждаться и использоваться, представляя интерес для проблемного подхода к истории древнегреческой философии; также проблемы, выявляемые Зеноном, представляют интерес для анализа эпистемического поиска.

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

Для всех аргументов является общим то, что они являются доказательствами a contrario, все они допускают одну посылку, ради обоснования того, что её допущение является абсурдным и ведутся все доказательства: Пусть имеется множественное сущее, т.е. имеются несколько нетождественных друг другу сущих, или одно сущее, которому присущи различные свойства.

Положение не вызывает споров среди исследователей. Зенона можно было бы назвать первым философом, у которого доказательства a contrario встречаются в явном и ясном виде, и до нас дошло множество свидетельств этого. Приведём лишь одну цитату: Зенон «на основании каждой [из эпихерем] показывает, что тому, кто говорит, что многое есть, сопутствует высказывать противоречивые [положения] (tw~| polla< ei+nai le>gonti sumbai>nei ta< ejnanti>a le>gein)» - 29 В 3 DK = Симпликий, Комм. на Физику Аристотеля, 139.6-7.

Для демонстрации неприемлемости (Plur) через reductio ad absurdum будет использовано допущение, полагаемое очевидным: (T&P) Любое множественное сущее представляет собой некоторую связанную целостность, некое связанное единое целое, такое, что это целое связывается из частей, из связываемых компонентов, таких, что связываемые компоненты имеют друг с другом что-то общее или связываются друг с другом некоторым промежуточным [а также чем-то отличаются друг от друга, и тогда их связывает то, что они находятся в отношении различия].

При изложении доказательств Зенона удобно использовать термины «целое» (to< o(lon) и «часть» (to< me>rov). Эти термины встречаются в 29 А *20b DK = 2 Lee. Однако лежащее в основании всех доказательств положение (T&P) о связи сущих, если их много, Зенон в явном виде нам не предъявляет там, где речь идёт о целом и его частях. Однако рассуждение в 2 Lee показывает нам, что Зенон переходит от допущения о множественности сущего к рассмотрению его как чего-то целого, содержащего части, так, как если бы из первого следовало второе:

«Другой аргумент Парменида [в изложении Порфирия] через дихотомию стремился показать, что сущее есть только одно (to< o) n e (n ei+nai mo>non) [т.е.

1. единственное, или 2. во всех отношениях единое, не содержащее никакой множественности] и поэтому бесчастное (ajmere<v) и неделимое (или неразделённое, ajdiai>reton). Ведь, если [сущее] делимо (или разделено, diaireto>n), то разделим [его] пополам [затем оставшиеся части опять разделим пополам и т.д.]. Тогда имеем две альтернативы [1]. Либо останутся некоторые последние (e) scata) [т.е. далее неделимые или уже не разделённые] величины, наименьшие и неделимые (ejla>cista kai< a) toma), количеством же бесконечные (plh>qei de< a) peira), так что целое (to< o(lon) будет состоять из наименьших, количеством же бесконечных [величин]. [2.] Либо [сущее] исчезнет и в конце концов распадётся в ничто (eijv oujde<n) [т.е. каждая часть станет иметь строго нулевую величину], и [исходное целое] будет состоять из ничего (ejk tou~ mhdeno<v). Но и то и другое абсурдно» - Симпликий, Комм. на Физику Аристотеля, 139.27, 8-14, пагинация по 2 Lee.

Кроме того, мы видим рассуждения о «промежуточном» ([to<] metaxu>), так связывающем что-то с чем-то, что между ним и любым из связываемых предметов имеется второе «промежуточное», и т.д. до бесконечности в 29 В 3 DK. Рассуждения об обязательном наличии чего-то связывающего элементы множественного сущего, можно обнаружить и в 29 В 1 DK. Действительно, 29 В 1 DK можно интерпретировать таким образом, что несколько различных сущих всегда имеют некоторое сущее, которое должно «отстоять», «держаться на удалении» от них всех, или «удерживается» (ajpe>cein) от слияния с ними всеми. Следовательно, должно иметься `нечто, удерживающее сущие от слияния друг с другом', или некоторая граница, которая связывает их посредством разделения. Это `то, что удерживает' является «предстоящим», «держащимся впереди» или «превосходящим» (prou>contov) сущим по отношению ко всем множественным или различным сущим как conditio sine qua non их множественности, обособленности, различённости. Последнее сущее, в свою очередь, имеет сущее, «предстоящее» по отношению к нему и ко всем «предыдущим» сущим, и т.д. до бесконечности.

Таким образом, `тем, посредством чего сущие связаны' из (T&P) и последующих посылок, может быть: нечто целое, образуемое из этих сущих; что-то общее; пограничное между сущими (промежуточное); то, что их разделяет (различает). Учитывая это, введём несколько сокращений:

К - компонент;

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

немножественность элейский сущее

(P?T)

Уже приняты (Plur) и (T&P).

Теперь сделаем ещё одно допущение:

Нечто целое не тождественно ни одной своей части, или:

(P?T) С не тождественно СК.

Касаясь свидетельств в пользу признания Зеноном этого положения, следует, прежде всего, упомянуть 29 B 3 DK = 11 Lee. В первой части этого фрагмента Зенону приписывается положение, что число сущих плюс ещё одно сущее не может быть тождественно изначальному числу сущих. Тем самым Зенон запрещает возможность наличия бесконечного числа сущих, а основанием для этого, как можно предположить, является положение «целое больше части», поскольку положение «для любого х, если х=х, то х?х+1» (посылка 3 в логической реконструкции первой части этого фрагмента, как эта реконструкция представлена в [7. P. 262]) могло рассматриваться Зеноном как следствие этого положения. Это крайне лаконичное рассуждение дошло до нас в следующем виде:

«eij polla> ejsti ajna>gkh tosau~ta ei+nai o [sa ejsti< kai< ou] te plei>ona aujtw~n ou] te ejla>ttona. eij de< tosau~ta> ejstin o [sa ejsti>, peperasme>na a} n ei] h» - Симпликий, Комм. на Физику Аристотеля, 140, 27, 14-16, пагинация по 11 Lee.

«Если существует много [сущих], то их должно быть [именно] столько, сколько их существует, не более и не менее. Но если их существует [именно] столько, сколько их существует, то [сущие] были бы конечны [по числу]».

Помимо этого, мы имеем явную формулировку (P?T) в виде «часть не тождественна целому» (to< ga<r me>rov e [teron ei+nai tou~ o(lou) в 29 A 22 DK = Симпликий, Комм. на Физику Аристотеля, 138, 11-12. Здесь это положение рассматривается как то, в чём Ксенократ Халкедонский «уступил» Зенону, из чего следует, что Зенон придерживался этого положения.

Вообще положение «целое больше части» можно считать общепризнанным как для греческих философов, так и математиков. Эвклид в Началах, кн. I, также принимает это положение (Koinai< e) nnoiai, e >: Kai< to< o [lon tou~ me>rouv mei~zo>n [ejstin]) [8. P. 7]. Прокл в Началах теологии, § 1, 11-12 [9. P. 1], неявно ссылается на это положение, когда пытается использовать его для обоснования конечности сущего (как мы писали выше по поводу 29 B 3 DK, используемая здесь интерпретация положения «целое больше части» является спорной и не единственно возможной): «…никакое сущее не состоит из бесконечного числа бесконечных (ведь невозможно быть больше бесконечного, а [целое,] состоящее из всех [своих частей,] больше каждой [своей части])».

(Tr)

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

(Tr) Если С №1 связывает, в числе прочего, некоторый СК, связанный посредством С №1, который, в свою очередь, есть С №2, т.е. связывает некоторый СК, связанный посредством С №2, то этот СК, связанный посредством С №2, есть некоторый СК, связанный посредством С №1.

Косвенным свидетельством признания Зеноном (Tr) является то, что Дихотомия, обосновывающая немыслимость движения (29 А 25 DK), очевидно, может излагаться с явным использованием этого принципа: чтобы пройти целую дистанцию, надо пройти все её части. Следовательно, надо пройти половину, для этого нужно пройти половину этой половины, поскольку часть части есть часть исходного целого, и т.д. до бесконечности.

(¬Inf)

Сделаем допущение о невозможности regressus ad infinitum:

(¬Inf) Невозможно осуществить бесконечную последовательность дискретных актов.

Наиболее ясно Зенон заявляет (¬Inf) в качестве своей посылки в 29 А

*20с DK = 3 Lee. Здесь мы читаем:

«eJka>sthn ga<r mona>da ajpeira>kiv temei~n ajna>gkh, o [per a] topon» -

Иоанн Филопон, Комм. на Физику Аристотеля, 81.7.

«Ведь [если чего-то неделимого или неразделённого, абсолютно простого единого «в собственном смысле» (kuri>wv e (n, см. выше, страница 80, строка 27) не существует, то] каждую монаду (mona>da) [т.е. каждый компонент целого] необходимо разделить бесконечное число раз, что абсурдно».

Положение (¬Inf) является предметом оживлённых дискуссий в современных работах, касающихся парадоксов Зенона, хотя болм ьшая часть работ посвящена не немыслимости множественности, а низвержению парадоксов, направленных против возможности помыслить движение - Дихотомии и Ахиллеса. Например, Грегори Властос писал по поводу Дихотомии:

«Заявление, что выполнение бесконечной последовательности дискретных актов («В» для краткости) есть самопротиворечивое понятие, вовсе не является очевидно ложным. Выдающиеся современные мыслители доказывали, что оно истинно. Доказали ли они это? Лёгким путём сделать это было бы определить В как «совершение всех актов в последовательности, включая последний». Это кажется, в итоге, тем, что Росс сделал выше, т.к. он рассматривает «достижение конца» находящимся в очевидном противоречии с тем фактом, что последовательность «не имеет конца» (что, в этом контексте, могло бы означать только «не имеет последнего члена»). Если бы это определение было обязательным, то, разумеется, выполненная бесконечная последовательность (которая, в случае обычных прогрессий типа Z-последовательностей, не может иметь последнего члена) была бы столь же недвусмысленным противоречием, как и круглый квадрат. Но В может быть определено альтернативно, как «достижение точки, для которой более нет ни одного такого акта, который надлежало бы выполнить, не пропустив по пути ни одного акта»» [10. P. 98].

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

Положение (¬Inf) является важным элементом как в парадоксах, касающихся движения, так и в парадоксах, касающихся множественности. Зеноновские парадоксы, касающиеся движения, могут быть обобщены, например, может быть показано, что парадокс, родственный Дихотомии, может быть сконструирован для мышления любой протяжённости или континуума, не обязательно, чтобы таковым выступало время, и необязательно, чтобы эту величину требовалось «пройти»⁴. Другим известным парадоксом, представляющим собой обобщение Дихотомии или распространение её на другую сферу, является знаменитый парадокс Льюиса Кэролла, показывающий невозможность дедукции заключения из посылок из-за того, что в любом списке посылок всякий раз обнаруживается посылка, не включённая этот список, что порождает «бесконечную последовательность дискретных актов». Заметим, что рассматриваемые нами ниже аргументы против множественности, использующие regressus ad infinitum, также можно интерпретировать как обобщение или распространение Дихотомии на другую сферу.

Современные философы дискутируют также и по поводу множества других парадоксов, конструируемых по образцу Дихотомии, возникновение которых возможно благодаря положению (¬Inf). Например, рассматривается стена, состоящая из слоёв, такая, что толщина слоёв задаётся Z-последовательностью. С той стороны стены, с которой толщина слоёв стремится к нулю, в стену кидают мяч. Принимается, что мяч, если он отскакивает от стены, отскакивает именно от первого слоя, встретившегося на его пути, т.е. от последнего слоя, описываемого последним членом Z-последовательности. Спрашивается: отскочит ли мяч от стены, учитывая, что последнего члена бесконечной последовательности не существует? Другим примером является куб, построенный из горизонтальных слоёв, окрашенных в чередующиеся цвета, толщина которых задаётся Z-последовательностью. Если наблюдатель посмотрит на куб, то какой цвет верхней грани он увидит? Аналогично строится напоминающий луковицу шар, сферические слои которого уменьшаются в соответствии с Z-последовательностью по мере удаления от центра. Обсуждение аналогичного парадокса также ведётся на примере так называемой «лампы Томсона», которая включена в течение первых 0,5 с, выключена в последующие 0,25 с, включена в течение 0,125 с и т.д., в соответствии с Z-последовательностью. Спрашивается: будет ли лампа светить, если наблюдатель посмотрит на неё через 2 с после того, как она впервые была включена? Все эти парадоксы, включая рассматриваемые ниже парадоксы, касающиеся множественности, основываются на положении (¬Inf), которое можно считать следствием «противоречия выполнения последовательности ходов, которая не имеет предела для выполнения» [Cave, 2007. P. 109].

Исходная дилемма

Уже приняты допущения (Plur), (T&P), (P?T), (Tr) и (¬Inf). Рассмотрим дилемму: элементы исходного вводимым (Plur) множественного сущего, а значит, по (T&P), СК-ы некоторого С, либо (первый «рог» дилеммы, см. приводимые ниже рассуждения (a), (aґ), (aґґ), (aґґґ)) делимы или разделены (diaireto>n), т.е. являются некоторым С, связывающим свои СК-ы, либо

(второй «рог» дилеммы, см. приводимое ниже рассуждение в (b)) неделимы или не разделены (ajdiai>reton, ajmere>v, a) tomon), т.е. не являются некоторым С, связывающим свои СК-ы. Видно, что в данном контексте было бы точнее говорить не о «делимости» и «неделимости», а об «актуальной разделённости» и об «отсутствии актуальной разделённости». Разделённость здесь понимается «логически», а не «физически», т.е. разделённость означает наличие аспектов, выделяемых хотя бы мысленно.

Первый «рог» дилеммы

(a) Аргументация присутствует в 29 А *20а DK = 1 Lee, 29 А *20b DK = 2 Lee, 29 А *20c DK = 3 Lee. Если СК-ы исходного С имеют свои собственные СК-ы, то можно неограниченное число раз повторять вопрос: имеют ли последние СК-ы свои собственные СК-ы? Если после конечного числа ответов мы доходим до «неделимого», то рассуждение о нём приведено в (b). Если же после конечного числа ответов мы не доходим до «неделимого», то, при мышлении С, мы вынуждены мыслить бесконечную последовательность дискретных актов мышления, выделяющих в очередном С связываемые им СК-ы. Если принимаются (P?T) и (Tr), то получаем бесконечный ряд дискретных актов (хотя бы мысленного) выделения СК-ов, таких, что каждый последующий член этого ряда не тождествен ни одному из предыдущих. Данный результат полагается Зеноном явно абсурдным. Можно предположить, что в 3 Lee эта «абсурдность» является следствием (¬Inf), см. выше, Иоанн Филопон, Комм. на Физику Аристотеля, 81.7.

Но Зенон выдвигает и другие доводы, демонстрирующие «абсурдность» бесконечной делимости (или разделённости) сущего, с целью показать невозможность первого «рога» дилеммы.

(aґ) Во-первых, 3 Lee можно интерпретировать таким образом, что в случае бесконечной разделённости нельзя указать «единицы в собственном смысле» или элементы, из которых состоит многое. Теперь, поскольку многое состоит из множества «единиц», или элементов, то отсутствие «элементов» влечёт отсутствие того, что из них состоит, т.е. целого или многого. Именно таким может быть один из вариантов истолкования высказывания Зенона из 29 А *20с DK = 3 Lee = Иоанн Филопон, Комм. на Физику Аристотеля, 80.27-28: «если нет ни одного полностью (во всех отношениях, абсолютно, в собственном смысле) «одного» (kuri>wv e(n), то нет и многого, ведь `многое' (ta< polla<) складывается (su>gkeitai) из многих «одних»».

(aґґ) Во-вторых, в результате бесконечной разделённости, целое окажется разделённым или разложенным на бесконечное число ничто или частей, имеющих нулевую величину, но тогда даже бесконечная их сумма не сможет дать ненулевую величину - см., например, приведённую выше цитату из 29 А *20b DK = 2 Lee = Симпликий, Комм. на Физику Аристотеля, 139.27, 8-14, пагинация по 2 Lee.

(aґґґ) В-третьих, элементы, получившиеся в результате бесконечного процесса выделения частей из целого, имеют либо нулевую, либо ненулевую величину. В первом случае исходное целое, имеющее, по исходному допущению, конечную ненулевую величину, будет иметь нулевую величину, поскольку даже бесконечная сумма нулей даёт 0. Во втором случае бесконечная сумма ненулевых величин даст бесконечную величину, что также противоречит исходному допущению. Доказательство представлено в 10.8-10 Lee.

Структурное сходство (а) и Дихотомии

Заметим, что бесконечный ряд дискретных актов, полученный в (а), строится способом, сходным со способом построения того ряда, который описывается в Дихотомии (29 А 25 DK = Аристотель, Физика Z, 9, 239 b 10-11): «Первый [аргумент] - о невозможности движения, так как перемещающееся [нечто] прежде должно дойти до половины [дистанции, которую следует преодолеть, перед тем, как дойти] до конца». В обоих случаях наличие чегото целого (или С, в общем случае) влечёт наличие другого целого, такого, что второе целое не совпадает с первым целым (P?T), а часть фиксированной части есть часть того целого, компонентом которого является эта фиксированная часть (Tr). Иначе говоря, если первое целое записать в виде N₁(у, z, …), а второе - в виде N₂(x, w, …), где у, z, … - компоненты целого N₁(у, z, …) или `всё то, что связывается в целое' N₁(у, z, …), а x, w, … - компоненты целого N₂(x, w, …), то порождение бесконечного ряда подпадает под схему:

(Nex1) (?у) (?z) (?…) (?N₁) [N₁(у, z, …) > (?x) (?w) (?N₂) N₂(x, w, …)].

Теперь допустим, что хотя бы какое-нибудь целое, или, в общем случае, С, имеет место или мыслится. Это является следствием (Plur) и (T&P). Видно, что в этом случае (Nex1) порождает бесконечный ряд N₁(…), N₂(…), N₃(…), …. Используя (P?T) и (Tr), получаем важное свойство этого ряда:

(Ineq) N_i(…) ? N_j(…), где i?1, j?1, i?j.

Неформально положение (Ineq) можно записать следующим образом:

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

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

Для обоих рассматриваемых случаев (Дихотомия и выделение части из целого в 1, 2, 3 Lee, как описано в (а)) можно построить схему, подпадающую под (Nex1), но более подробно описывающую рассматриваемые процедуры - дихотомии и выделения части из части:

(Nex2) (?у) (?z) (?…) (?N₁) [N₁(у, z, …) > (?x) (?w) (?…) (?N₂) N₁(у, N₂(x, w, …), …)].

Видно, что вместо z из N₁(у, z, …) в антецеденте в консеквенте подставлено N₂(x, w, …). Теперь будем интерпретировать каждое N_i(…) как нечто целое или С. Тогда схема (Nex2) описывает случай Дихотомии, в котором целое, состоящее из двух частей, представляется как целое, состоящее из первой части и второй части, которая, в свою очередь, состоит из двух частей. Также схема (Nex2) пригодна и для описания (а), ведь в (а) на каждом шаге мы отказываемся признать неделимость получившегося компонента целого в рассматриваемом сейчас первом «роге» дилеммы (в Дихотомии нет нужды каждый раз спрашивать, состоит ли из частей получившийся фрагмент исходной дистанции, ибо любой отрезок полагается состоящим из частей).

Однако, по (¬Inf), бесконечная последовательность различных актов, генерирующих, в соответствии с (Nex1) и (Nex2), каждый раз новые связи или новые целые (их различие доказывается из (P?T) и (Tr), поэтому (Ineq) выполнено для (Nex2) так же, как оно выполнено для (Nex2), ведь (Nex2) подпадает под (Nex1)), не может быть осуществлена. Следовательно, допущение о бесконечной делимости (скорее, бесконечной разделённости) С придётся отбросить. Часть какого-либо целого не может содержать части, содержащие части, и т.д. до бесконечности; ряд вложенных друг в друга частей обязательно должен «фундироваться» чем-то, более не содержащим частей, так что этот ряд не должен быть бесконечным.

Второй «рог» дилеммы

(b) Примем исходное допущение: пусть СК-ы исходного множественного сущего, составляющее некое С, неделимы, т.е. являются чем-то «немножественным», не содержащим своих собственных СК-ов. Это означает, что нечто «неделимое», не связывающее никаких СК-ов, связывается в некое С. Но это невозможно для Зенона. Мы предполагаем, что это невозможно потому, что Зенон неявно принимал следующее допущение:

(Indiv) Для любого P, для любого S сказать «S имеет свойство P» означает сказать «P входит в состав S / конституирует S / принадлежит S / содержится в S / связывается в S / является некоторым СК для S как некоего С, связывающего свои компоненты».

В случае принятия (Indiv) обоснование неприемлемости допущения о неразложимости компонентов исходного множественного сущего можно представить в следующем виде. Пусть а входит в состав чего-то. Иначе говоря, пусть а имеет свойство D «входить в состав чего-то». Допустим, что некое а «неделимо», т.е. а не является С, связывающим свои СК-ы. Используя (Indiv), получаем противоречие этому допущению. Действительно, по (Indiv), «а имеет свойство D» влечёт «D является некоторым СК, для а как некоего С, связывающего свои К-ы». Таким образом, мы вынуждены отказаться от допущения, что множественное сущее состоит из далее неразложимых компонентов¹.

Поскольку выше, в (а), было показано, что сущее не может состоять также и из разложимых компонентов, то допущение о множественности сущего (Plur) следует отбросить, Q.E.D².

Тексты, содержащие (а) и (b)

Способ рассуждения, основывающийся на (а) и (b), очень хорошо подтверждён сохранившимися фрагментами. Возможно, Зенон говорит о «неопределимости одного» (29 А 16 DK), исходя именно из (Indiv): то, что является одним и единым во всех отношениях, является неделимым, а неделимому невозможно ничего предицировать, его невозможно как-либо охарактеризовать.

Доказательство (b) можно усмотреть в рассуждении из 29 А *20с = 3 Lee, Иоанн Филопон, Комм. на Физику Аристотеля, 3-4, пагинация по 3 Lee, где Зенон пишет: «…если нет ни одного полностью (во всех отношениях, абсолютно, в собственном смысле) «одного» (kuri>wv e(n), то нет и многого, ведь `многое' (ta< polla<) складывается (su>gkeitai) из многих «одних»». Одним из вариантов интерпретации этого высказывания является признание Зеноном, что «совершенно единые» и «неделимые» единицы нельзя связать во что-либо, ибо они не будут «собственно единицами», т.е. будут содержать в себе что-то, какие-то части.

Ниже, в этом же фрагменте 3 Lee, мы видим рассуждение, в котором (а) и (b) рассматриваются вместе:

«Каждая единица [т.е. компонент, входящий в состав многого или чего-то целого] тогда [т.е. в том случае, если существует множество] либо есть единая и неделимая [или неразделённая] (ajdiai>retov), либо сама делится на множество [единиц]. Тогда если каждая единица есть единая и неделимая [или неразделённая] (ajdiai>retov), то всё [или целое] (to< pa~n) состоит из негласиться с «аксиомой пустого множества» из ZF. Широко известное неоплатоническое учение об абсолютном Едином или абсолютно простом Едином, как и положено учению, приписывает Единому некоторые характеристики. Однако обладание предикатами, с точки зрения Плотина и других неоплатоников, противоречит абсолютной простоте Единого. Это часто отмечаемое в неоплатонических текстах противоречие обусловлено явным или неявным признанием неоплатониками чего-то подобного положению (Indiv). Признание Единого как «неизречимого» и «сверхмысленного» также можно представить как следствие нежелания отказаться от (Indiv).

1 Заметим, что имеются интерпретации, отклоняющие второй «рог» без использования (Indiv). Например, С. Мэкин [30. P. 227] полагает, что для Зенона часть наследует все свойства целого, поэтому, если целое разделено, то такова и часть, и т.д. до бесконечности. Это допущение не может даже претендовать на «очевидность», в отличие от (Indiv). Другим способом отклонить второй «рог» является отправная точка интерпретации из [22. P. 43], что если сущее имеет величину и всюду делимо, которое также неочевидно и не следует из (Plur).

2 В качестве вывода из доказательств (а) и (b) можно трактовать утверждение Зеноном абсолютного единства, неразличённости и беспредельности всего сущего (29 A 30 DK). Если Зенон придерживался трактовки сущего как `того, что существует в мышлении', то в этом фрагменте утверждается та же немыслимость различий (а значит, и суждений) «правильным» мышлением, которую, с нашей точки зрения, пытался доказать Парменид. Наиболее значимыми текстами для такой нашей интерпретации Парменида являются 28 В 3; 4.1 DK. См. об этом подробнее в [31. P. 292-294; 32. С. 128-129; 33. С. 124, прим. 20; 34]. О существовании всего мыслящегося (или немыслимости несущего) у Парменида см. [34. С. 88-92]. О возможном использовании Парменидом regressus ad infinitum см. [32. С. 125-139; 35. С. 82-88; 33. С. 119-121].

Если же [единицы ещё] и сами делятся (diairou~ntai), то опять о каждой разделившийся монаде (tw~n diairoume>nwn mana>dwn) спросим то же самое [т.е. спросим, делится ли она на множество компонентов]. И так далее до бесконечности. Таким образом, всё [или целое] (to< pa~n) будет бесконечное число раз бесконечным (ajpeira>kiv a) peiron), если бы сущие были множественными (eij polla< ei) h ta< o] nta) [явная ссылка на (Plur), как на допущение для доказательства a contrario]. Если же это [т.е. сущего бесконечным] абсурдно, то, следовательно, сущее есть единственное (mo>nwv), и также сущее не может быть многим. Ведь [если чего-то неделимого или неразделённого, абсолютно простого единого «в собственном смысле» (kuri>wv e (n, см. выше, 3 Lee, строка 3) не существует, то] каждую монаду mona>da) [т.е. каждый компонент целого] необходимо разделить бесконечное число раз, что абсурдно [как мы указывали выше, последнее предложение можно рассматривать как ссылку на (¬Inf)]» - Иоанн Филопон, Комм. на Физику Аристотеля = 3 Lee, 7-14, пагинация по 3 Lee.

Обоснование (а), использующее regressus ad infinitum, сходный с задаваемым (Nex2), можно усмотреть также и в одном из вариантов перевода и истолкования рассуждения из 29 B 1 DK = 10 Lee = Симпликий, Комм. на Физику Аристотеля, 140, 34, 3-8, пагинация по 10 Lee. Здесь говорится, что нечто множественное (Plur), а значит, и целое (T&P), всегда имеет некий «передний» (tou~ prou>contov) компонент, который не может быть абсолютно простым (Indiv), а значит, опять является чем-то целым, имеющим некий «передний» компонент. Далее, в 6-8, утверждается, что указанные предпосылки задают regressus ad infinitum.

Также regressus ad infinitum используется Зеноном и в другом фрагменте, хотя Зенон здесь и не рассматривает его как основание для невозможности помыслить множественное (и имеющее величину, как здесь, вероятно, подразумевается) сущее:

«Если многие [сущие] суть, [то] сущие бесконечны [по числу], ведь всегда в промежутке (metaxu<) другие сущие суть, и опять в промежутке между этими [промежуточными сущими] - другие. Итак, сущие бесконечны [по числу]» - Симпликий, Комм. на Физику Аристотеля, 140.27, 16-18, пагинация по 11 Lee.

Существует интерпретация, в которой regressus ad infinitum, напоминающий (Nex2), неявно используется Зеноном при обосновании утверждения, рассматриваемого Зеноном как самопротиворечивое: «один и тот же [Сократ] будет и одним, и многим» - Иоанн Филопон, Комм. на Физику Аристотеля, 42.27. Дж. Барнс пишет по этому поводу:

«[a] Каждая вещь есть только одна вещь, т.е. имеет уникальную сущность. [b] Если вещь а имеет предикат Р, то `обладание предикатом Р' есть то, чем вещь а является; т.е. оно есть сущность вещи а» [Barnes, 2005. Р. 201].

Из [b] и допущения «а имеет предикат Р» Дж. Барнс выводит противоречие с [a]. Таким образом, понятие «сущность», как оно задаётся через [a] и [b], является противоречивым. Заметим, что здесь описывается процедура наделения вещи новым предикатом, исходя всего лишь из того, что она обладает хотя бы одним предикатом. Это процедура напоминает regressus ad infinitum в (Nex2): вещь связана с предикатом, следовательно, вещь связана со `связанностью с предикатом' и т.д. до бесконечности. Оказывается, что интуитивно приемлемое положение «если что-то с чем-то связано, то оно связано также и со связывающей их связью» порождает regressus ad infinitum, приводящий к немыслимости чего-либо множественного, целого, а значит, и любых пропозиций.

Помимо этого, приведённое рассуждение можно интерпретировать как обоснование (Indiv). Если некая вещь х обладает предикатом Р, то х обладает также `обладанием предикатом Р', `обладанием `обладанием предикатом Р'', и т.д. до бесконечности. Таким образом, если х связана с чем-то в некоторое С, то х не является абсолютно простой, что и утверждается в (Indiv).

Также в качестве свидетельства в пользу признания Зеноном (Indiv) можно трактовать следующий фрагмент:

«Ни одно [из сущих] не имеет величины (me>geqov) [т.е. не может рассматриваться как нечто связанное с чем-либо во что-то целое] на том основании, что каждое из [предполагаемых] многих [сущих после разложения их до абсолютно простых, единых и далее не разложимых элементов] тождественно самому себе и [есть только лишь] одно [ведь, если бы одно было связано с чем-либо, то оно, по (Indiv), было бы уже не только одним, но также и чем-то множественным, целым] (…eJautw~| taujto<n ei+nai kai< e(n)» (29 В 2 DK = Симпликий, Комм. на Физику Аристотеля, 149.18-19).

Заметим, что если в качестве простых элементов, не имеющих величины, рассмотреть точки, лежащие на отрезке, то (Indiv) в этом случае будет иметь следующую наглядную интерпретацию: даже бесконечная сумма нулевых величин точек равна нулю, хотя величина отрезка не равна нулю; так что отрезок нельзя составить из точек.

В качестве свидетельства в пользу наличия у Зенона (b) можно рассматривать также и фрагмент 29 А 21 DK = Симпликий, Комм. на Физику Аристотеля, 99.7: «сущих не может быть много, так как ни одно из сущих не есть [абсолютно] единое, тогда как многое есть множество единиц [так что, если нет ничего абсолютно простого, мы уйдём в бесконечность при попытке помыслить нечто множественное]». Легче всего объяснить отрицание Зеноном возможности для чего-то абсолютно простого быть СК-ом некоторого С тем, что он подразумевает нечто вроде (Indiv).

Итак, мы показали, что аргументация Зенона может интерпретироваться как основывающаяся на следующих принципах:

– запрещение «регресса в бесконечность»;

– принцип «даже множественное сущее есть в некотором отношении единое, или нечто одно»;

– принцип «целое не тождественно своей части»;

– принцип транзитивности для части, т.е. «если часть некоего исходного целого имеет части, то эти части суть части этого исходного целого»;

– принцип «обладать каким-либо свойством может только нечто множественное» и др.

Общеизвестно, что эти принципы на протяжении последующих веков постоянно обсуждались, признавались, оспаривались и использовались в рассуждениях, имеющих большую значимость для человеческой жизни - например, для доказательств существования Ума (Аристотель), Единого (Плотин и другие неоплатоники) или Бога (Фома Аквинский, Дунс Скот и другие схоластики). Очевидно, что указанные принципы и проблемы, ими вызываемые, крайне значимы для истории дедуктивных наук, поскольку стимулировали развитие и совершенствование способов доказательств вплоть до возникновения «теории множеств».



Литература

немножественность элейский сущее

1. Вольф М.Н., Берестов И.В. Проблемный подход к исследованию древнегреческой философии // SCHOLE: Философское антиковедение и классическая традиция. 2007. Т. 1, вып. 2. С. 203-246.

2. Вольф М.Н. Эпистемический поиск в диалоге Платона «Менон» // Наст. кн.

3. Die Fragmente der Vorsokratiker / Diels H., Kranz W., ed. (=DK). Griechisch und deutsch H. Diels; elfte Auflage herausgegeben W. Kranz. V.I. Zьrich, Berlin: Weidmannsche verlagsbuchhandlung, 1964.

4. Simplicii in Aristotelis physicorum libros octo commentaria, libri 1-4. Vol. 1 // Commentaria in Aristotelem Graeca. Vol. 9. Berlin: Reimer, 1882.

5. Фрагменты ранних греческих философов. Ч. 1: От эпических теокосмогоний до возникновения атомистики / Под ред. А.В. Лебедева. М.: Наука, 1989.

6. Lee H.P.D. Zeno of Elea. Cambridge: CUP, 1936.

7. Peterson S. Zeno's Second Argument against Plurality // Journal of the History of Philosophy. 1978. Vol. 16. P. 261-270.

8. Euclid. Elements of Geometry / The Greek text from Euclidis Elementa, edidit et Latine interpretatus est I.L. Heiberg, in aedibus B.G. Teubneri, 1883-1885. Edited, and provided with a modern English translation, by Richard Fitzpatrick. 2007.

9. Proclus. The Elements of Theology: a Revised Text with Translation, Introduction and Commentary (2-d ed.) / Ed. by E.R. Dodds. Oxford: Clarendon Press, 1992.

10. Vlastos G. Zeno's Race Course // Journal of the History of Philosophy. 1966. Vol. 4, Iss. 2. P. 95-108.

11. Ioannis Philoponi in Aristotelis physicorum libros octo commentaria, libri 1-3. Vol. 1 // Commentaria in Aristotelem Graeca. Vol. 16. Berlin: Reimer, 1887.

12. Russell B. Our Knowledge of the External World (rev. ed.). London: Allen & Unwin, 1926.

13. Russell B. Principles of Mathematics (2-d ed.). New York: W.W. Norton & Company, 1937.

14. Keiser N. Russell's Paradox and the Residual Achilles // Apeiron. 1972. Vol. 6, Iss. 1. P. 39-48.

15. Cave P. With and Without End // Philosophical Investigations. 2007. Vol. 30. Iss. 2. P. 105 - 126.

16. Papa-Grimaldi A. Why Mathematical Solutions of Zeno's Paradoxes Miss the Point: Zeno's One and Many Relation and Parmenides' Prohibition // Review of Metaphysics. 1996. Vol. 50, Iss. 2. P. 299-314.

17. Sainsbury R.M. Paradoxes (3-d ed.). Cambridge: CUP, 2009.

18. Zeno's Paradoxes / Ed. by W.C. Salmon. New York: Bobbs Merrill, 1970.

19. McLaughlin W.I. and Miller S.L. An Epistemological Use of Nonstandard Analysis to Answer Zeno's Objections Against Motion // Synthese. 1992. Vol. 92. P. 371-384.

20. Black M. The Nature of Mathematics. Paterson: New Jersey, 1959.

21. Aristote. De la gйnйration et de la corruption / Йd. par C. Mugler. Paris: Les Belles Lettres, 1966.

22. Abraham W.E. The Nature of Zeno's Argument Against Plurality in 29 B 1 DK // Phronesis. 1972. Vol. 17. P. 40-52.

23. Carroll L. What the Tortoise Said to Achilles // Mind. 1895. Vol. 4, №14. P. 278-280.

24. Benardete J.A. Infinity: An Essay in Metaphysics. Oxford: Clarendon Press, 1964.

25. Hawthorne J. Before-Effect and Zeno Causality // Nous. 2000. Vol. 34. P. 622-633.

26. Prosser S. Zeno Objects and Supervenience // Analysis. 2009. Vol. 69, Iss. 1. P. 18-26.

27. Thomson J. Tasks and Super-Tasks // Analysis. 1954. Vol. 15. P. 1-13.

28. Benacerraf P. Tasks, Supertasks, and the Modern Eleatics // Journal of Philosophy. 1962.

Vol. 59. P. 765-784.

29. Aristotelis physica / Ed. by W.D. Ross. Oxford: Clarendon Press, 1966.

30. Makin S. Zeno on Plurality // Phronesis. 1982. Vol. 27. P. 223-238.

31. Barrington J. Parmenides' «The Way of Truth» // Journal of the History of Philosophy. 1973. Vol. 11. P. 287-298.

32. Берестов И.В. Возможные посылки Парменида: (7) «два способа мышления» как способ преодоления парадоксальности самореферентных положений у Парменида // Вестн. Новосиб. гос. ун-та. Сер. Философия. 2010а. Т. 8, вып. 1. С. 125-139.

33. Берестов И.В. Возможные посылки Парменида: (9) обоснование немыслимости различий «правильным» мышлением через признание соотнесённости акта мышления и `того, что мыслится' // Вестн. Новосиб. гос. ун-та. Сер. Философия. 2010в. Т. 8, вып. 4. С. 119-127.

34. Берестов И.В. Принцип «неразличимости тождественных» в парменидовском обосновании немыслимости множественности и различий в сущем // Вестн. Новосиб. гос. ун-та.

Сер. Философия. 2011. Т. 9, вып. 3. (в печати).

35. Берестов И.В. Возможные посылки Парменида: (8) достоинства и недостатки «разведения способов мышления» в интерпретациях фрагментов его поэмы // Вестн. Новосиб. гос. унта. Сер. Философия. 2010б. Т. 8, вып. 2. С. 82-88.

36. Aristotle. Metaphysics. In 2 vols. / Ed. by W.D. Ross. Oxford: Clarendon Press, 1970.

37. Grьnbaum A. Modern Science and Zeno's Paradoxes. Middletown, CT: Wesleyan University Press, 1967

Размещено на Allbest.ru

...