CC BY
78
СУЩЕЕ КАК ИНТЕНЦИОНАЛЬНЫЙ ОБЪЕКТ МЫШЛЕНИЯ И «ЕДИНСТВО СУЩЕГО» У ПАРМЕНИДА
И.В. Берестов
Сектор истории философии Институт философии и права СО РАН ул. Николаева, 8, Новосибирск, Россия, 630090
Кафедра гносеологии и истории философии философского факультета Новосибирский государственный университет ул. Пирогова, 2, Новосибирск, Россия, 630090
Предлагается интерпретация фрагмента поэмы Парменида, в котором обосновывается неделимость сущего. Показывается, что имеются основания для трактовки «сущего» у Парменида как внутреннего объекта мышления, который задается только весь сразу, полностью, всеми характеристиками, которые приписываются ему в акте мышления мыслящего субъекта. Тем самым мы разрабатываем трактовку сущего у Парменида, предложенную Дж. Баррингтоном. Показывается также, что Парменид мог подразумевать в Пути мнения, что постигаемые объекты различаются, если и только если они могут постигаться отдельно друг от друга. Предлагается формализация этих допущений Парменида об объектах мышления, с использованием Теории абстрактных объектов Б. Лински и Э. Залты. Демонстрируется, каким образом эти формализованные допущения влекут тезис Парменида о «неделимости» сущего, который мы трактуем как невозможность различить пропозиции, задающие внутренний объект мышления, или различить свойства, приписываемые внутреннему объекту мышления. Также мы указываем на то, в каких отношениях наша интерпретация сходна с «предикационным монизмом», приписываемым Пармениду П. Кёрд, и в каких отличается от него.
Ключевые слова: история античной философии, проблема единого—многого, элеаты, монизм Парменида, закон Лейбница, неразличимость тождественных, тождество неразличимых, знаки сущего, единство сущего, взаимозависимость.
ВВЕДЕНИЕ
В настоящей статье мы намерены предложить интерпретацию учения Парменида, основывающуюся на некоторых сохранившихся фрагментах его поэмы. В центре нашего внимания будет находиться один из самых обсуждаемых в современных историко-философских исследованиях Парменида вопросов о том, как следует трактовать «все вместе единое» как «знак сущего» из 28 В 8.5—6 БК (1), каким образом и из каких посылок Парменид получает «единство сущего».
Обсуждаемые современными исследователями интерпретации Парменида различаются доводами, приводимыми в пользу того, что та или иная интерпретация является более «исторически достоверной», чем ее соперники; этого направления в дискуссиях мы в настоящей статье не будем касаться. Более для нас сейчас интересным различием в интерпретациях Парменида является различие в том, каким видят вывод «единства сущего». И здесь надо заметить, что известные нам хорошо разработанные интерпретации этого вывода либо приписывают Пармениду логические ошибки, либо вопиюще неприемлемые посылки.
Например, по [13. Р. 15], Парменид допускает «модальную ошибку», пытаясь вывести «'то, что может мыслиться', существует» из неприемлемого положе-
ния «если 'то, что может мыслиться' не существует, то оно не может мыслиться», тогда как надежным положением было бы «если 'то, что может мыслиться' не существует, то оно не мыслится». Также ошибки в выводе или неприемлемые посылки вроде «если нечто не существует, то оно не может существовать» приписываются Пармениду в [5. Р. 129—131; 10; 9].
В настоящей статье мы намерены внести свой вклад в обсуждение, предложив логически корректную интерпретацию с приемлемыми посылками. Мы будем опираться на трактовку парменидовского сущего у Дж. Баррингтона (2), который трактует его ментальный объект, внутренний объект мышления. Для того, чтобы привести нашу интерпретацию выведения «единства сущего», нам потребуется придать «тезису Баррингтона» и «тезису о единстве сущего» достаточную для работы с ними точность, а для этого нам придется разобрать несколько фрагментов поэмы Парменида. После этого мы намерены предложить формализацию рассматриваемого вывода, достаточную для осознания того, что посылки не являются категорически неприемлемыми, а сам вывод не содержит ошибок.
ОБЩАЯ СХЕМА ОБОСНОВАНИЯ «ЕДИ НСТВА СУЩЕГО»
В [1] мы показали, что сущее у Парменида может трактоваться как интен-циональный объект мышления или внутренний объект мышления, задаваемый только весь сразу, полностью, теми и только теми характеристиками, которые приписываются ему в акте мышления мыслящего субъекта (28 В 3; 4.1—2; 6.1—2; 8.4; 8.11; 8.32—33; 8.42 БК). Теперь мы покажем, что знаменитое «единство сущего» (если вообще целесообразно использовать это выражение, являющееся интерпретационным термином и отсутствующее в поэме) может интерпретироваться как следствие такого понимания сущего. А именно, «единство сущего» мы трактуем как «неразличимость сущего» из 28 В 8.22 БК. Эта «неразличимость сущего», в свою очередь, может трактоваться как неразличимость не собственно сущих, а свойств каждого сущего или неразличимость пропозиций об одном и том же сущем — для сущих, являющихся интенциональными объектами.
В нашей интерпретации, объявляя в самом начале 28 В 8 БК список «знаков сущего», Парменид говорит не только, что он получит далее в этом фрагменте, но также и заявляет о той посылке, с помощью которой будет осуществляться вывод «неразличимости» сущего. Эта посылка выражается Парменидом через перечисление нескольких «знаков сущего», имеющих близкое значение. Например, мы можем считать, что эта посылка выражена в признании того, что сущее «есть сейчас все вместе единое, связное (непрерывное, неразрывное)» (уш во-пу орой лоу ошехвс; — 28 В 8.5—6 БК), т.е. признание того, что сущее — как внутренний объект мышления — задается все и сразу.
«Неразличимость» (28 В 8.22 БК) же и «одинаковость» (28 В 8.47 БК) сущего не входят в список исходных «знаков сущего», и мы трактуем их как вывод (при дополнительных скрытых допущениях, о которых см. ниже) из вышеприведенного признания.
Так в общем виде выглядит рассуждение, которое мы намерены изложить ниже.
ПЕРВАЯ ПОСЫЛКА: КРИТЕРИЙ ТОЖДЕСТВА ДЛЯ ИНТЕНЦИОНАЛЬНЫХ ОБЪЕКТОВ
Чтобы проанализировать набросанное выше рассуждение более детально, нам придется прибегнуть к некоторой формализации. В используемой нами ниже записи связанные переменные первого порядка (х, у, /л, V) будут выделяться курсивом. Переменные первого порядка /л, V будут использоваться в том числе и в виде подстрочных индексов. Переменные высших порядков (Ф) курсивом не выделяются. Оператор мышления применяется к высказываниям о кодировании абстрактными объектами своих свойств и выделяется жирным шрифтом — Т. Выражение «I(x, /)» читается как «х является интенциональным объектом для акта мышления /». Выражение «Т/хФ» читается как «посредством акта мышления /л интенциональный объект л мыслится как кодирующий свойство Ф» (3). Переменные /л и V пробегают по актам мышления во всех возможных мирах. Теперь мы можем записать Критерий тождества для интенциональных объектов (4) в следующем виде:
Два интенциональных объекта двух возможных актов мышления тождественны друг другу тогда и только тогда, когда эти объекты кодируют в точности тот же самый набор свойств.
(И—1^) (Ух) (Уу) (V/ У) [(1(х, /) & 1(у, v)) ^
^ {(х=у) — (УФ) (Т/хФ — Т/уФ)}].
Положение (И—1пг) сконструировано нами на основании третьей из трех аксиом, задающих понятие «кодирование» у Б. Лински и Э. Залты [11. Р. 536]:
Если х и у являются абстрактными индивидом, то они тождественны друг другу тогда и только тогда, когда они кодируют те же самые свойства. ^3) (Ух) (Уу) [(А! х & А! у) ^ {(х=у) - [(У*) (х* - у*)]}].
В (LZ3) выражение «А! х» читается как «х является абстрактным индивидом».
Из (И—1пг) следует, что интенциональные объекты не могут задаваться несколькими актами мышления совместно, если при этом подразумевать, что каждый акт вносит свой «частичный» вклад в задание таких объектов. Ведь, по (И—1п;), объект, задаваемый одним актом мышления, совпадает с объектом другого акта мышления, если и только если эти объекты кодируют полностью совпадающий набор характеристик.
Можно предположить, что Парменид, утверждая в 28 В 8.4—6 БК, что сущее есть
(4) оиА^ рошоуеуес; те ка! атрврвс; твХею^
(5) оибв пот' ^ оиб' вотаг, еле! vбv вот™ ороб лау
(6) еу, ошехв; (5)
(4) целиком моногенное, и бездрожное и совершенное:
(5) оно не было и не будет, так как есть сейчас все вместе
(6) единое, связное (непрерывное, неразрывное);
подразумевал нечто подобное положению (1ё^1п1). Сущее как внутренний объект мышления (выше мы привели обоснование того, почему мы трактуем сущее у Пар-менида именно так, используя другие фрагменты, из которых эту трактовку сущего извлечь легче, чем из 28 В 8.4—6 БК) является «целиком моногенным», т.е. имеет одно генерирующее, осуществляющее его начало (= акт мышления, посредством которого оно мыслится, или, точнее, мыслятся задающие его пропозиции), в том смысле, что невозможно помыслить пропозицию о некотором внутреннем объекте мышления a, соответствующую некоторому осмысленному предложению, если не мыслятся все пропозиции, соответствующие всем предложениям об a. В этом же духе можно трактовать и другие «знаки сущего» из 28 В 8.4—6 БК. Поскольку список «знаков сущего» находится в самом начале 28 В 8 БК, есть основания считать (1ё^1п1) одной из посылок, из которых исходит доказательство «неразличимости сущего» из 28 В 8.22 БК.
Заметим, что положение (1ё^1п1) есть не что иное, как конъюнкция Принципа неразличимости тождественных и Принципа тождества неразличимых (эта конъюнкция часто именуется Законом Лейбница) для абстрактных интенцио-нальных объектов. Мы уже писали об использовании Парменидом Принципа неразличимости тождественных ранее [2]. Дж. Барнс [5. Р. 152] также обращает внимание на то, что при интерпретации Парменида может прийти мысль об использовании им Закона Лейбница.
Дж. Барнс не признает, что Парменид действительно использует здесь это рассуждения, склоняясь к тому, что для Парменида вообще нет времени — как того, что подразумевает прошлое, настоящее и будущее. По Дж. Барнсу, Парменид признаёт лишь настоящее [5. Р. 153]. Однако Дж. Барнс [5. Р. 163] признаёт за парменидовским сущим исключительно реальное существование; но выше мы уже показали, что возможна и другая интерпретация сущего — как внутреннего объекта мышления.
Заметим, что косвенным свидетельством использования Принципа тождества неразличимых Парменидом является достаточно ясное его признание Ксено-фаном — по крайней мере, с точки зрения пересказывающего Ксенофана автора трактата О Мелиссе, Ксенофане, Горгии: «равные вещи имеют все свои свойства совпадающими» (21 А 28 БК).
По (1ё^1п1), объект a, мыслящийся как кодирующий P посредством /, отличается от объекта Ь, не мыслящегося как кодирующий это свойство посредством V. Иначе говоря, интенциональные объекты актов мышления, кодирующие различные свойства посредством этих интенциональных актов, различны:
(-и^-пО (Ух) (Уу) (V/) 0^0 №, л) & Ду, V)) ^
^ {(*#) ~ (ЭФ) (Т/хФ V Т/уФ)}].
Также из (1ё^1п1) следует: (¡Мп^) У) (V/) (У^ [^ л) & Дx, V) ^
^ {(УФ) (Т/хФ ~ ТлФ)}].
ВТОРАЯ ПОСЫЛКА: КРИТЕРИЙ РАЗЛИЧИЯ ПРОПОЗИЦИЙ
Для более точного понимания тезиса о «неразличимости» или «моногенности» сущих у Парменида целесообразно продолжить приведенное рассуждение далее. Парменид пытается доказать, что сущие неразличимы, но пока мы имеем лишь, что интенциональне объекты двух актов мышления не могут кодировать различные свойства. Чтобы получить искомое, Пармениду следовало бы принять дополнительное допущение, которым может быть известный Критерий различия пропозиций (Discernibility for Propositions) Г. Фреге: две пропозиции различны тогда и только тогда, когда возможно, что одна из них мыслится некоторым субъектом мышления, а другая не мыслится им [4. С. 37—38]. Иначе говоря, две пропозиции различны тогда и только тогда, когда имеется такой возможный субъект s, который одну из них мыслит, а другую — нет. Это можно записать с помощью использования оператора мышления Ts (запись «Т/p» читается как «возможный субъект мышления s мыслит пропозицию "p, соответствующую предложению p») в виде:
(DisP) (Vp) (Vq) [p^q ~ {(3s) (Т5> у T/q)}],
где переменные p и q пробегают по предложениям, а переменная s — по возможным мыслящим субъектам.
Положение (DisP) кажется не имеющим никакого отношения к Пармениду, ведь для его формулировки необходимо использовать технический термин «пропозиция», появившийся в совсем другом контексте и для целей, отличных от целей Парменида. Однако некоторые намеки на то, что Парменид мог бы иметь в виду нечто до известной степени похожее на (DisP), можно обнаружить в обсуждении Пути мнения из 28 B 8.51-61 DK в современных историко-философских исследованиях.
С точки зрения А. Мурелатоса и П. Кёрд, противоположности Огонь и Ночь не могут быть поименованы отдельно друг от друга. Об этом свидетельствует высказывание Парменида в 28 B 8.54 DK: «ни одну из которых не должно [именовать]» — xrov piav ои xpsrov soxiv [ovo^aZsiv] (6). Предполагаемым интерпретаторами основанием для этого является то, что противоположности определяются (а значит, и мыслятся) только друг через друга. Таким образом, каждая из противоположностей не мыслится «сама по себе», не является подлинным, полностью определенным объектом, могущим быть постигнутым независимо. В этом смысле взаимоопределяемые объекты не являются подлинными или подлинно мыслящимися объектами [7. P. 106—110; 12. P. 80—87; 12. P. 131—132; 12. P. 347—348].
Таким образом, взаимоопределяемые объекты не являются подлинными объектами и также не являются подлинно различными объектами, поскольку критерием подлинности объекта, задаваемого мышлением и критерием отличия одного объекта такого объекта от другого такого объекта является возможность задать (определить, охарактеризовать, помыслить) их независимо друг от друга. Если вместо «объекта» в этом критерии подставить «пропозицию», то мы получим неформальное изложение (DisP).
Для логики предикатов (DisP) можно записать в виде: (DisP') (Vx) (Vy) (УФ) (V4) ["Ф(х)Ф"ВД —
- {(3.) (т5"Ф(х) у т;вд)}].
Если перейти от возможного субъекта мышления s к возможным актам мышления, то для л, v и X, пробегающим по актам мышления во всех возможных мирах, (DisP) можно записать в виде:
(DisP'') (Vx) (Vy) (УФ) (V Ч) [хФФУЧ —
— {(3X) [(/(x, X) & Tx хФ) у (I(y, X) & Tx>¥)]}].
Из (DisP") следует: (DisP"1) (Vx) ^Ф) (V4) ["хФф "хЧ —
— {(3X) [(/(x, X) & Tx хФ) у (I(x, X) & Tx х¥)]}].
В соответствии с законом [(p&q) у (p&r)] — [p&(qyr)], положение (DisP"1) эквивалентно следующему положению:
(DisP' '2) (Vx) (VФ) (V Ч) ["хФФ —
— {(3X) [I(x, X) & (Tx хФ у Tx хЧ)]}].
ВЫВОД: ЕДИНСТВЕННОСТЬ ПРОПОЗИЦИИ, ЗАДАЮЩЕЙ ИНТЕНЦИОНАЛЬНЫЙ ОБЪЕКТ
Допустим, что посредством двух актов мышления (совпадающих или нет) мыслятся пропозиции, такие, что интенциональные объекты (совпадающие или нет) актов мышления, посредством которых мыслятся эти пропозиции, кодируют свойства (совпадающие или нет), приписываемые им в этих пропозициях, причем эти пропозиции различны:
(1) I(a, /") & I(a, v) & T/*~aP & Tv*"aQ & "aPi"aQ. По (DisP"2), из (1) следует:
(2) (3X) [I(a, X) & (Tx"aP у Tx"aQ).
Обозначим тот акт мышления X, существование которого гарантируется в (2), через X*. Тогда из (2) следует:
(3) I(a, X*) & (Tx*"aP у Tx*"aQ). Из (Id—Inj1) следует:
(4) (V/) [{/(a, л) & I(a, X*)} ^ {(VФ) (^Ф — Tx*^)}].
На основании (4), из (1) & (3) & modus ponens следуют положения (5) и (6):
(5) T/*"aP — Tx*"aP.
(6) Tv*"aQ — Tx*"aQ.
После замены предложений в (1) на предложения, которые, в соответствии с (5) и (6), эквивалентны им, получаем:
(7) Tx*"aP & Tx*"aQ.
На основании закона (p&q) ^ -(pvq), из (7) следует:
(8) -(Т;*"аР V Т^д).
Из (3) следует:
(9) Т^аР V Т;*"ад.
Но (8) противоречит (9).
Следовательно, исходное допущение (1) придется отрицать. Поскольку в (1) конъюнкты 1(а, /л") & 1(а, V*) & Тл»"аР & Т^"ад вряд ли могут быть оспорены, придется отрицать последний конъюнкт "аР^ад. Таким образом, любые пропозиции, описываемые предложениями с одним и тем же субъектом и какими угодно предикатами, мыслящиеся посредством каких угодно актов мышления (в том числе и посредством совпадающих), тождественны друг другу (7): (ИРг) (Ух) (УФ) (У¥) (V/) (У^ [(1(х, /) & 1(х, V) & Т/хФ & ^ ^
В (ИРг) утверждается, что все мыслящиеся всеми возможными актами мышления пропозиции (по крайней мере, все пропозиции, описываемые предложениями с одноместными предикатами и сводимыми к ним) об одном и том же интенцио-нальном объекте совпадают друг с другом. Таким образом, каждому из предложений, описывающих интенциональный объект некоторого акта мышления, соответствует одна и та же и только одна мыслящаяся посредством этого акта мышления пропозиция, д.Е.Б.
Трактовать (ИРг) можно следующим образом. Если некий абстрактный интенциональный объект а кодирует свойства Р1 и Р2, то можно сказать, что а кодирует свойство «быть таким, что "аР1» и свойство «быть таким, что "аР2» По (ИРг), "аР1 = "аР2. Из этого следует, что «быть таким, что "аР1» = «быть таким, что "аР2». В этом смысле а имеет только одно свойство. И в этом смысле Парменид,
если он признает нечто вроде (ИРг), может быть назван «монистом» (8).
***
Приведем теперь те строки поэмы, на которые мы опираемся, приписывая Пармениду (ИРг).
28 В 8.22—25 БК:
(22) оибе 5lalpsт6v вот™, еле! л:^ вот™ 5рoюv (9)
(23) оибе т1 т^ раАА^, т6 кеу егруо1 ргу ошвхео0а1,
(24) оибе т1 xslp6теpov, лаv 5' врлХе^ вот™ 86vто<;.
(25) тф ^шехес; лаv вот™, 86v уар е6УП леХа^еь
(22) И [сущее а описываемое через «а есть Р и а есть д» мысленно] неделимо (неразличимо) [с тем же самым сущим а, описываемым через «а есть Р» и через «а есть д»], так как всё [сущее а как целое, т.е. такое, что а есть Р и а есть д] есть [что-либо — Р, д,...] повсюду [= во всех аспектах, для любого свойства] равным образом,
(23) И здесь [= в одном аспекте, сущее a] есть [Р] не в большей степени [, чем сущее a есть Q], — что препятствовало бы его плотности (связности, непрерывности, неразрывности), —
(24) и не в меньшей степени [сущее a есть Р, чем сущее a есть Q], но всё [сущее a как целое] наполнено сущим [т.е. наполнено своими описаниями «a есть Р», «a есть Q»,... в том смысле, что нельзя ни добавить новые характеристики, ни отнять уже имеющиеся].
(25) Благодаря этому всё [сущее a как целое] есть плотное (связное, непрерывное, неразрывное). Ведь сущее [a, описываемое через «a есть Р»] плотно примыкает к сущему [a, описываемое через «a есть Q»].
28 В 8.45—48 DK:
(45) oüts ti Paióxspov nsXsvai xpsóv soti xfl ^ xfl.
(46) oüts yap oúk sov soti, tó ksv naúoi p,iv ÍKvsio0ai
(47) sí; óp,óv, ow' sov sotiv олю; sin sóvto;
(48) Tfl pOAAov Tfl ^ooov, snsi nav soti aouXov.
(45) [Сущему a] не должно присутствовать здесь [= в одном аспекте] менее, чем там [= в другом аспекте].
(46) Ведь не есть не-сущее [т.е. о сущем a, описываемом через «a есть Р», нельзя сказать, что «a не есть Р»], которое сдерживало бы примыкание [сущего a, описываемом через «a есть Р»]
(47) к одинаковому [= тождественному] с ним [сущему a, описываемому через «a есть Q»], подобно тому, как сущее [a] не есть
(48) здесь [= в одном аспекте], более, а там [= в другом аспекте] — менее [т.е. неверно, что a есть Р более, чем a есть Q], так как [сущее a] всё [как целое, т.е. такое, что a есть Р и a есть Q] есть неумаляемое [в том смысле, что у сущего a нельзя отнять имеющиеся у него характеристики].
В наше трактовке 28 В 8.22—25; 8.45—48 DK мы следовали копулятивной, а не экзистенциальной трактовке «soti», принимаемой А. Мурелатосом и П. Кёрд (10).
Из нашего интерпретирующего перевода 28 В 8.22—25; 8.45—48 DK видно, что «неразличимость» и «одинаковость» (также как «неразрывность» и «примыкание») здесь можно интерпретировать не как характеристику сущего как интен-ционального объекта мышления, но как характеристику его свойств — тех свойств, которое оно кодирует — и как характеристику тех пропозиций, которые могут быть помыслены о сущем.
Мы полагаем, что Парменид мог заключать из того, что какое-либо сущее a является интенциональным объектом мышления, так что a «совершенно» или «полно» в том смысле, что набор его свойств закончен, непополняем (28 B 8.4—6 DK), что мы формализовали в виде (Id^Inj), к (IdPr), к тому, что об a можно помыслить
одну и только одну задающую a пропозицию, так что характеристики такого объекта оказываются неразличимыми в мысли, все высказывания о нем соответствуют одному и только одному акту мышления. Приведенные в 28 B 8.22; 8.47 DK выражения рассматриваются нами как изложение указанного консеквента. При этом выводе используется дополнительное подразумеваемое допущение о критерии различия пропозиций (DisP"), намек на признание которого Парменидом можно обнаружить в 28 B 8.51—61 DK, как мы писали выше.
Конечно, мы не имеем права претендовать на историческую достоверность здесь.
Заметим, что наша трактовка 28 В 8.22—25; 8.45—48 DK делает также понятным фрагмент 28 B 5 DK, интерпретация которого вызывает значительные трудности из-за его лапидарности:
(1) ^uvov ôè poi soTiv,
(2) ônno0sv ap^œpar to0i yàp naa^iv ï^opai aù0iç.
(1) Мне же одинаково,
(2) Откуда начинать: ведь я туда назад снова приду.
Можно предположить, что здесь Парменид утверждает, что в какой бы последовательности (посредством высказываний, предложений) мы ни приписывали бы интенциональному сущему его свойства, мы мыслим (посредством пропозиций) об этом сущем одно и то же: мы всегда мыслим одну и ту же пропозицию "р и всегда сущее кодирует одну и ту же характеристику «быть таким, что "р».
«ИНТЕНЦИОНАЛЬНЫЙ ОБЪЕКТ» VS. «ПРЕДИКАЦИОННЫЙ МОНИЗМ»
Парменидовский «монизм», в нашей интерпретации, включает в себя часть утверждений «предикационного монизма», приписываемого Пармениду П. Кёрд. Например, П. Кёрд утверждает, что подлинные сущие у Парменида постигаются одним и только одним познающим актом, посредством которого постигается природа сущих или их (одна-единственная) видовая характеристика [7. P. 72]. Знак «oùÀov pouvoyevsç» (28 B 8.4 DK) П. Кёрд трактует как «некоторое целое одного-единственного вида» (a whole of a single kind) [7. P. 68]. Но все-таки наша интерпретация отличается от интерпретации П. Кёрд, так что приписываемый нами Пар-мениду «монизм» не совпадает полностью с «предикационным монизмом», приписываемым Пармениду П. Кёрд [7. P. 66]. Приписываемый нами Пармениду вид монизма также не является (в терминологии П. Кёрд — [7. P. 65—66]) ни «нуме-рическим» монизмом (нет запрета на то, что различные акты мышления задают разные интенциональные объекты), ни «субстанциальным» монизмом (нет рассуждения о субстанции мира).
Интерпретация П. Кёрд заставляет Парменида утверждать, что каждое сущее имеет один и только один предикат, характеризующий его природу, и в то же время утверждать, что сущие, помимо этого, связаны также и отношением различия, что позволяет Пармениду и его последователям не отказываться от множествен-
ности сущих в мире [7. Р. хх]. П. Кёрд отвергает приемлемость для Парменида высказываний вида «афЬ» и «а не есть Ь». С точки зрения П. Кёрд, такие высказывания неприемлемы, поскольку высказывания «а не есть Ь» и «а есть не-Ь» не в состоянии ухватить подлинную природу или сущность вещи, ухватываемую только утвердительными высказываниями. Отрицательное же положение «погружено в неопределенность, которая не дает [мыслящему субъекту] ничего, к чему он мог бы прикрепить мысль, и, таким образом, [его] пооз остается блуждающим» [7. Р. 61]. Эта интерпретация неприемлемости высказываний вида «а не есть Ь» и «а есть не-Ь» восходит к А. Мурелатосу [7. Р. 50; 12. Р. 78—80; 12. Р. 326—330; 12. Р. 342—348; 12. Р. 358—361].
Провести хоть сколько-нибудь убедительное обоснование этой неприемлемости нам кажется довольно трудным. В несколько более поздней терминологии речь здесь может идти, по-видимому, о неприемлемости отрицательных дефиниций и круговых дефиниций (если противоположности определяются через взаимное отрицание друг друга), а также о невозможности придать смысл высказываниям с отрицанием собственного имени (например, «Одиссей ищет не-Итаку»). Но, во-первых, требование к дефинициям, хотя и признавалось Аристотелем, теперь существенно смягчено, и нам привычно говорить, что высказывания, не удовлетворяющие строгим требованиям к определениям, все же вносят некоторую определенность. Во-вторых, непонятно, почему все высказывания следует сводить к дефинициям. Что же касается высказывания «Одиссей ищет не-Итаку», то придать смысл ему можно, отказавшись рассматривать «не-Итаку» как собственное имя. Кроме того, можно отказаться от использования собственных имен, можно усомниться в возникновении «а есть не-Ь» при трактовке «афЬ».
На каком бы основании ни отвергались высказывания вида «афЬ» и «а не есть Ь», получается, что высказывания о различии сущих (= приписывание нескольким сущим «внешних различий») так же незаконны, как и высказывания о наличии у одного сущего различных свойств (= приписывание одному сущему «внутренних различий», терминология П. Кёрд). Однако П. Кёрд утверждает, что Парменид отвергает лишь внутренние различия и не имеет ничего против высказываний о внешне различных сущих. П. Кёрд признает, что здесь имеется противоречие, которого, с ее точки зрения, Парменид (и его последователи по преди-кационному монизму: Анаксагор, Эмпедокл, Левкипп, Демокрит) не разглядел. По П. Кёрд, это противоречие было осознано уже во времена Платона и Аристотеля, когда стали явно выделяться различные смыслы глагола «быть», а также были разведены акцидентальная и сущностная предикации [7. Р. хх1-ххш; 7. Р. 94—97].
В нашей же интерпретации такой проблемы не возникает: интенциональ-ные объекты, будучи абстрактными объектами, кодируют свои характеристики, а признавая их различными, мы наделяем их характеристикой, которую они эк-земплифицируют. Наличие экземплифицируемых характеристик не влияет на идентичность абстрактных объектов [11; 14]. Таким образом, возможно существование различных интенциональных объектов, удовлетворяющих (-1ё^-1п1), т.е. экземплифицирующих различие.
ЗАКЛЮЧЕНИЕ
Мы показали, что возможна интерпретация Парменида, при которой его доказательство «неделимости (неразличимости) сущего» является весьма убедительным: оно исходит из посылок, которые трудно отбросить «с ходу», и допускает формализацию, в которой оно является логически корректным. Для того, чтобы показать это, мы проинтерпретировали «сущее» (то sov) у Парменида как внутренний объект мышления, или интенциональный объект мышления, полностью задаваемый характеристиками, приписываемыми ему субъектом мышления. Такая интерпретация может быть подтверждена некоторыми фрагментами поэмы и ее придерживается Дж. Баррингтон.
Далее мы проинтерпретировали положение о «неделимости (неразличимости) сущего» как утверждение о том, что каждому из предложений, задающих интен-циональный объект мышления, в которых этот объект задается как «кодирующий» (в смысле Б. Лински и Э. Залты) какую-либо характеристику, соответствует одна и та же пропозиция и только она. На основании последнего можно сказать, что этот объект кодирует одно и только одно свойство, которое заключается в том, что он удовлетворяет этой единственной пропозиции. Мы показали, как тезис о единственности пропозиции следует из интерпретации сущего как внутреннего объекта мышления и дополнительного допущения, в явном виде не прописанного в поэме Парменида, задающего критерий различия для пропозиций, в соответствии с которым для различия пропозиций необходимо, чтобы они могли мыслиться по отдельности.
Также было указано на те преимущества, которые наша интерпретация Парменида имеет перед некоторыми современными интерпретациями. В числе прочего, мы указали на то, в каких отношениях наша интерпретация сходна с «пре-дикационным монизмом», приписываемым Пармениду П. Кёрд, и в каких отличается от него.
ПРИМЕЧАНИЯ
(1) Ссылка «DK» после номера фрагмента означает ссылку на фрагмент по [8].
(2) См. [6]. Некоторые аспекты нашего анализа применимости подхода Дж. Баррингтона к тексту поэмы Парменида более детально освещены в [1], однако там мы иначе интерпретировали «единство сущего» и его вывод. В настоящей статье предлагается такая формализация этого вывода, которая позволяет предложить более доброжелательную интерпретацию Парменида.
(3) Мы следуем здесь терминологии Э. Залты, в соответствии с которой «обычные» объекты «экземплифицируют» свои свойства, тогда как «абстрактные» объекты их «кодируют» [11; 14]. Мы предполагаем, что интенциональные объекты являются абстрактными.
(4) От «Identity» и «Indistinguishability». Индекс «:» означает, что речь идет об интенцио-нальнах объектах мышления.
(5) Греческий текст 28 B 8.4—6 DK приводится по [12. P. 281], в DK текст существенно отличается.
(6) Наш перевод следует переводу П. Кёрд из [7. P. 110]: «not one of which is it right to name». Перевод и трактовка этого высказывания являются предметом оживленных дискуссий у исследователей, обсуждение полемики и альтернативные точки зрения см. в [7. P. 109—110; 12. P. 80—87].
(7) От «Identity of Proposition» — «тождество пропозиций».
(8) Тот вид монизма, с помощью которого мы считаем возможным охарактеризовать нашу интерпретацию Парменида, имеет много общих черт с «предикационным монизмом», приписываемым Пармениду Патрисией Кёрд [7. P. 66], но в некоторых аспектах отличается от него — см. ниже.
(9) Перевод выполнен нами в соответствии с рекомендуемым в [13. Р. 13] прочтением строки 22. Чтение в DK: «énei nav eotiv ó^oíov» — «т.к. [сущее] всё есть подобное».
(10) Дискуссия о значении «éori» во фрагментах Парменида весьма обширна, см., например, [12. P. 50—72; 7. P. 34—42; 3].
ЛИТЕРАТУРA
[1] Берестов И.В. Внутренние объекты мышления у Парменида и Платона // Вестник Новосибирского государственного университета. Серия «Философия». 2014. Т. 12. Вып. 4. С. 86—98.
[2] Берестов И.В. Принцип «неразличимости тождественных» в парменидовском обосновании немыслимости множественности и различий в сущем // Вестник Новосибирского государственного университета. Серия «Философия». 2011. Т. 9. Вып. 3. С. 135—144.
[3] Вольф М.Н. Стандартная англоязычная интерпретация Парменида // Вестник Новосибирского государственного университета. Серия «Философия». 2009. Т. 7. Вып. 2. С. 96—105.
[4] Фреге Г. Логические исследования // Логико-философские труды / Пер. с англ., нем., франц. В.А. Суровцева. Новосибирск: Сиб. Унив. изд-во, 2008. С. 27—124.
[5] Barnes J. The Presocratic Philosophers. New York: Routledge, 1982. xiii + 601 p. (Series "The Arguments of the Philosophers").
[6] Barrington J. Parmenides' «The way of Truth» // Journal of the History of Philosophy. 1973. Vol. 11. P. 287—298.
[7] Curd P. The Legacy of Parmenides: Eleatic Monism and Later Presocratic Thought. Las Vegas: Parmenides Publishing, 2004. xxxix + 280 p.
[8] Die Fragmente der Vorsokratiker / Diels H., Kranz W., ed. (=DK). Griechisch und Deutsch H. Diels; elfte Auflage herausgegeben W. Kranz. Bd I. Zürich, Berlin: Weidmannsche Verlagsbuchhandlung, 1964.
[9] Ketchum R. A Note on Barnes' Parmenides // Phronesis. 1993. Vol. 38. No. 1. P. 95—97.
[10] Lewis F. Parmenides' Modal Fallacy // Phronesis. 2009. Vol. 54. No. 1. P. 1—8.
[11] Linsky B., Zalta E.N. Naturalized Platonism versus Platonized Naturalism // The Journal of Philosophy. 1995. Vol. 92. No. 10. Р. 525—555.
[12] Mourelatos A.P. D. The Route of Parmenides. Las Vegas, Zürich, Athens: Parmenides Publishing, 2008. P. i-l; 1—408.
[13] Owen G.E.L. Eleatic Questions // Logic, Science, and Dialectic: Collected Papers in Greek Philosophy / Ed. by M. Nussbaum. Ithaca: Cornell University Press, 1986. P. 3—26.
[14] Zalta E.N. Twenty-Five Basic Theorems in Situation and World Theory // Journal of Philosophical Logic. 1993. Vol. 22. No. 4. P. 385—428.
BEING AS INTENTIONAL OBJECT OF THINKING AND "UNITY OF BEING" IN PARMENIDES
I.V. Berestov
Department of History of philosophy Institute of Philosophy and Law, Siberian Branch of the Russian Academy of Science Nikolaev str., 8, Novosibirsk, Russia, 630090
Subdepartment of Gnoseology and History of Philosophy of Department of Philosophy
Novosibirsk State University Pirogova str., 2, Novosibirsk, Russia, 630090
We propose the interpretation of Parmenides' poem in which "indivisibility" of things is justified. It is shown that there are good reasons for the interpretation of what-is in Parmenides as an internal object of thinking, which is defined only all at once, completely, by all the characteristics that are attributed to that object in subject's act of thinking. So, we develop J. Barrington's treatment of what-is in Parmenides. We also show that Parmenides could mean in Doxa that any apprehended objects are different if and only if they can be apprehended separately. We propose a formalization of these Parmenides' assumptions on objects of thinking. We construct this formalization by the instrumentality of B. Linsky & E. Zalta's Theory of abstract objects. We demonstrate how this formalism imply Parmenides' thesis on "indivisibility" of what-is, which we interpret as assertion of our inability to distinguish between propositions, which are defining an internal object of thought, or to distinguish between properties attributed to the internal object of thinking. We also point out the respects in which our interpretation is similar to "predicational monism", attributed to Parmenides by P. Curd, and in which respects it is different from it.
Key words: History of ancient philosophy, One-Many problem, Eleatics, Parmenides' monism, Leibniz's Law, indistinguishability of identicals, identity of indistinguishables, signs of being, unity of being, interdependence.
REFERENCE
[1] Berestov I.V. Vnutrennie obekty myshleniya u Parmenida i Platona [Internal Objects of Thought in Parmenides and Plato]. Vestnik Novosibirskogo gosudarstvennogo universiteta. Serija «Filo-sofija» [Vestnik of Novosibirsk State University. Series: Philosophy]. 2014. Vol. 12. No. 4. Pp. 86—98.
[2] Berestov I.V. Printsip «nerazlichimosti tozhdestvennyh» v parmenidovskom obosnovanii ne-myslimosti mnozhestvennosti i razlichii v sushchem [Principle of the Indiscernibility of Identicals in Parmenides' Arguments for Unintelligibility of any Plurality and Differences in the What-Is]. Vestnik Novosibirskogo gosudarstvennogo universiteta. Serija «Filosofja» [Vestnik of Novosibirsk State University. Series: Philosophy]. 2011. Vol. 9. No. 3. P. 135—144.
[3] Volf M.N. Standartnaya angloyazychnaya interpretaciya Parmenida [Standard Anglo-American Interpretation of Parmenides]. Vestnik Novosibirskogo gosudarstvennogo universiteta. Serija «Filosofja» [Vestnik of Novosibirsk State University. Series: Philosophy]. 2009. Vol. 7. No. 2. Pp. 96—105.
[4] Frege G. Logicheskie issledovaniya [Logical Investigations]. Logikofilosofskie trudy [Logico-philosophical works]. Translated from English, German, French by V.A. Surovtsev. Novosibirsk, Sibirskoe universitetskoe izdatelstvo [Siberian University Publishing], 2008. P. 27—124.
[5] Barnes J. The Presocratic Philosophers. New York, Routledge, 1982. xiii + 601 p. (Series "The Arguments of the Philosophers").
[6] Barrington J. Parmenides' «The way of Truth». Journal of the History of Philosophy. 1973. Vol. 11. P. 287—298.
[7] Curd P. The Legacy of Parmenides: Eleatic Monism and Later Presocratic Thought. Las Vegas, Parmenides Publishing, 2004, xxxix + 280 p.
[8] Diels H., Kranz W., eds. Die Fragmente der Vorsokratiker (=DK). Griechisch und Deutsch H. Diels; elfte Auflage herausgegeben W. Kranz. Bd I. Zürich, Berlin, Weidmannsche Verlagsbuchhandlung, 1964.
[9] Ketchum R. A Note on Barnes' Parmenides. Phronesis. 1993. Vol. 38. No. 1. P. 95—97.
[10] Lewis F. Parmenides' Modal Fallacy. Phronesis. 2009. Vol. 54. No. 1. P. 1—8.
[11] Linsky B., Zalta E.N. Naturalized Platonism versus Platonized Naturalism. The Journal of Philosophy. 1995. Vol. 92. No. 10. P. 525—555.
[12] Mourelatos A.P.D. The Route of Parmenides. Las Vegas, Zürich, Athens, Parmenides Publishing, 2008. L+408 p.
[13] Owen G.E. L. Eleatic Questions Logic, Science, and Dialectic: Collected Papers in Greek Philosophy. Ed. by M. Nussbaum. Ithaca, Cornell University Press, 1986. P. 3—26.
[14] Zalta E.N. Twenty-Five Basic Theorems in Situation and World Theory. Journal of Philosophical Logic. 1993. Vol. 22. No. 4. P. 385—428.
