Эпистемологические основания «Аргумента третьего человека» в «Пармениде» Платона

УДК 1

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

ЭПИСТЕМОЛОГИЧЕСКИЕ ОСНОВАНИЯ «АРГУМЕНТА ТРЕТЬЕГО ЧЕЛОВЕКА» В «ПАРМЕНИДЕ» ПЛАТОНА1

Настоящая статья посвящена анализу начала дискуссий об «аргументе третьего человека» (АТЧ) в «Пармениде» Платона, вызванных знаменитой статьей Г. Властоса 1954 г. В статье представлена интерпретация АТЧ у Г. Властоса, ее критика у В. Селларса и др. исследователей. Обсуждение допущений для АТЧ показывает, что в АТЧ могут подразумеваться предпосылки, общие для АТЧ и некоторых использующих бесконечный регресс элеатовских аргументов «против множественности». Эти предпосылки имеют существенное эпистемологическое значение, и, вероятно, первая попытка усомниться в них была предпринята Плотином.

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

I. V. Berestov

The Epistemological Foundations of the "Third Man Argument" in Plato's "Parmenides"

This article focuses on the analysis of the beginning of discussions on "the third man argument" (TMA) in Plato's "Parmenides" caused by the famous G. Vlastos' 1954 paper. The report provides the interpretation of TMA in G. Vlastos, its criticism in W. Sellars and other scholars. Discussion of assumptions for TMA shows that some possible TMA's preconditions are also in use in some infinite regress Eleatic arguments "against plurality". These preconditions are of great epistemological value, and probably the first attempt to question them was made by Plotinus.

Keywords: Plato's "Parmenides", self-predication, third man argument, modes of predication, infinite regress.

Настоящая статья имеет очень скромную задачу — обрисовать самое начало дискуссий в англоязычной литературе, вызванных знаменитой

* Берестов Игорь Владимирович — кандидат философских наук, старший научный сотрудник сектора истории философии Института философии и права СО РАН (Новосибирск), Ьегев1оу1у@уаг^ех. ги

1 Исследование, результаты которого отражены в настоящей статье, проведено при поддержке РГНФ, грант «Аргументированность и обоснованность знания в парадигме античной рациональности», № 14-03-00502а

статьей Г. Властоса 1954 года об «аргументе третьего человека» в «Пармениде» [20, р. 319-349], и попытаться объяснить, почему эти дискуссии сохраняют свою значимость даже сейчас1. Статья Г. Властоса породила гигантское количество публикаций, поток которых не иссяк до сих пор и имеет тенденцию только увеличиваться. По причине гигантского количества литературы невозможно охарактеризовать все развернувшиеся дебаты, и мы будем говорить только о самом начале дискуссий, лишь изредка привлекая последующие исследования. Анализ этих и последующих дискуссий уже давно стал неотъемлемой частью комментариев к зарубежным изданиям «Парменида», однако в России этой полемике до сих пор не уделяется должного внимания. Между тем платоновская «самокритика» помогает делать интересные предположения о содержании платоновского учения в других диалогах, о доступных для Платона способах преодолеть затруднения и о связи платоновских допущений, ведущих к «аргументу третьего человека», с аргументами элеатов2.

«Аргументом третьего человека» (АТЧ) у Платона (мы не будем касаться представления АТЧ у Аристотеля и Александра Афродисийского) обычно именуют два текста из «Парменида»: АТЧ-1 Parm. 132al-132b2; АТЧ-2 Parm. 132d3-133al. По большей части мы будем говорить об АТЧ-13:

- Я полагаю, что ты считаешь каждый эйдос одним по числу (е[п) по следующей причине: когда много каких-нибудь вещей кажутся (do>xh|) тебе большими, то некоторую одну (mi>a tiv), пожалуй, мнишь (dokei-) идею, смотря (ijdo>nti) на все [эти вещи], вследствие чего одним [по числу] ты признаешь 'великое (o[qen e{n to< me>ga hjgh~| ei+nai).

- Ты прав, сказал Сократ.

- А что насчет 'самого великого' и других больших вещей? Если ты таким же образом посмотришь (i]dh|v) на [них (т. е. на 'само великое' и большие вещи)] всех, посредством своей души, не явится (fanei~tai) ли еще нечто 'большое', одно [по числу] (e[n ti au+ me>ga), благодаря которому (w=|) все эти большие вещи являют себя (fai>nesqai) большими?

- По-видимому.

- Таким образом, иной эйдос 'великости (mege>qouv) будет выявляться (ajnafanh>setai), рождаясь рядом и с 'самой великостью' (aujto> to< me>geqov), и с теми вещами, что причастны ей (ta< mete>counta aujtou-); и над всеми ними снова (Ы) другой [эйдос 'великости' будет выявляться], благодаря которому (w=|) все это будет большим. И, таким образом, каждый из эйдосов будет не одним [по числу] (е[п), но бесконечным множеством (a]peira to< plh-qov) (Parm. 132al-132b2).

1 Ранее мы уже касались этой темы, так что настоящая статья развивает некоторые подходы, которые были намечены в [4].

2 Речь идет об усмотрении возможной логической связи между интерпретациями различных аргументов, при соответствующих допущениях, усилениях, усовершенствованиях и пр. Мы не делаем здесь предположений о том, в какой мере сам Платон опирался на тексты элеатов. Обсуждение логических связей возможно в рамках «проблемного подхода к истории философии», о котором см. [5, с. 203-246].

3 См. греческий текст в [13]. Ссылки на другие диалоги Платона выполнены по этому же изданию.

Допущения для АТЧ-1

Нижеследующая редакция допущений отражает не только их понимание Г. Властосом в 1954 году, но также и их истолкование в последующих дискуссиях1. В этих дискуссиях первое допущение принято обозначать, в соответствии с тем, что вкладывал в него сам Г. Властос2, как (One-over-Many Assumption), или, сокращенно, как (ОМ), хотя само это обозначение уже позднейшее:

(ОМ) Если каждая из нескольких вещей произвольного типа, а, Ь, с, ..., составляющих множество Р, постигается (apprehend) как обладающая характеристикой F, то постигается одна и только одна [/некоторая] идея, F-ность, благодаря постижению которой каждая из вещей, входящих в множество Р, постигается как обладающая характеристикой F.

Прочтение (ОМ), в котором принимается подчеркнутый текст, но не принимается текст в квадратных скобках, мы будем называть «прочтением Властоса» и обозначать как (ОМ'). Прочтение, в котором вместо подчеркнутого текста принимается текст в квадратных скобках, мы будем называть «прочтением Селларса» и обозначать как (ОМ").

Видно, что здесь (ОМ) и весь последующий аргумент будут излагаться в «формальной модальности», а не в «материальной модальности», то есть идея вводится как необходимое условие постижения («постижение» здесь является родовым понятием, охватывающим и «чувственное восприятие», и «мышление») некоторого положения дел, а не того, что это положение дел имеет место в реальности. Г. Властос убедительно показывает, что необходимость излагать (ОМ) именно в «формальной модальности» достаточно подтверждена текстами3. Чтобы сделать это подтверждение более наглядным, мы выделили жирным шрифтом в приведенном выше переводе АТЧ-1 слова, обозначающие какую-либо разновидность «постижения». По Г. Властосу, ясно, что Платон говорит в АТЧ-1 об «эпистемологической функции» идеи4. Допущение (ОМ) является единственным допущением в АТЧ-1, которое выписано Платоном явно и недвусмысленно, разумеется, оно признается Платоном и в других местах см. , например, R. Р. 596а6-7.

Заметим, что в (ОМ) и последующих допущениях используется термин «идея» («идея» и «эйдос» в тексте АТЧ-1), но в АТЧ-1 и АТЧ-2 Платон нигде не определяет и не разъясняет, что это такое, не указывает на характеристики идеи. Действительно, это было бы излишним, поскольку для действенности

1 Г. Властос впервые представил свое понимание допущений для АТЧ-1 в статье

[20, р. 319-349]. Но потом несколько изменил формулировку допущений в статье [19, р. 289-301]. Одной из причин этого изменения являлась критика подхода Г. Властоса в статье В. Селларса [17, р. 405-437].

3 См., например, выше, текст АТЧ-1 — Parm. 132а2-4; 6-8. См. также [18, р. 442-443].

4 По Г. Властосу [18, р. 443], это совершенно недвусмысленно выражено в Parm. 132а8.

аргумента совершенно не важно, что именно понимается под «идееи», достаточно лишь, чтобы наше понимание ее удовлетворяло допущениям АТЧ-1. Если аргумент излагается в «формальной модальности», то интерпретацией «идеи» может быть, например, понятие, выполняющее свою «эпистемологическую функцию» в соответствии с этими допущениями. Любые допущения о том, что представляет собой идея, в том числе о ее «онтологическом статусе», не содержащиеся в допущениях АТЧ-1, излишни для аргумента.

В следующем допущении, именуемом (Non-Identity Assumption), или (N1), говорится о том, что идея не принадлежит множеству тех вещей, которые она наделяет соответствующей характеристикой1.

(N1) Если постигается идея, F-ность, благодаря постижению которой какая-либо вещь А постигается как обладающая характеристикой F, то F-ность не тождественна А.

Допущение (N1) вводится интерпретаторами Платона для превращения АТЧ в формально законченное силлогистическое рассуждение, но непосредственно в тексте АТЧ-1 и АТЧ-2 она отсутствует. Такое допущение не является произвольным, это видно из признания (N1) во многих других диалогах, например, в Phaedo 75cll-d2, 100b6-7; R. Р. 476Ы0, 480а11.

Следующим допущением для АТЧ-1 является (Self-Predication Assumption) или (SP)2:

(SP) Если постигается идея, F-ность, благодаря которой каждый член произвольного множества Р постигается как обладающий характеристикой F, то F-ность сама постигается как обладающая характеристикой F [/F-ность и каждый член множества Р постигаются как обладающие общей характеристикой F , ¥1 * F],

Прочтение (SP), в котором принимается подчеркнутый текст, но не принимается текст в квадратных скобках, мы будем называть «прочтением Властоса» и обозначать как (SP')> впрочем, В. Селларс также принимает это прочтение. Прочтение (SP), в котором не принимается подчеркнутый текст, но принимается текст в квадратных скобках, мы будем обозначать как (SP")-

Допущение (SP), так же как и допущение (N1), отсутствует в платоновском тексте АТЧ-1 и АТЧ-2 в явном виде, и вводится современными интерпретаторами как подразумеваемое Платоном, для приданию рассуждению связности. Оно весьма распространено в диалогах, написанных, вероятно, до «Парменида» см. , например, Euthydemus 301b5; Cratylus 439d5-6; Protag. 330c-d; Hipp. Maj. 292e6-7; Phaedo 100c4-6, 102e5-6; R. P. 597a.

Последним допущением для АТЧ-1 является антецедент из (ОМ), который мы обозначим как (Plurality) или (Р1):

(Р1) Каждая из нескольких вещей произвольного типа, а, Ь, с, ..., составляющих множество Р, постигается как обладающая характеристикой F.

1 Допущение (N1) вводится в статьях: [20, р. 325; 19, р. 291].

2 Допущение (вР) вводится в статьях: [20, р. 324; 19, р. 291].

Допущение (Pi) является положением, запускающим регресс.

Для удобства анализа целесообразно выделить еще одно положение, существенное для аргумента. Этим положением является требование единственности идеи, благодаря которой вещи из одной группы наделяются одной и той же характеристикой. Это требование следует из допущения (ОМ'), поскольку в (ОМ') подразумевается, что F-ностъ, благодаря которой каждая вещь из набора {а, Ь, с, ...} постигается как обладающая характеристикой F, является одной и только одной или единственной, т. е. подразумевается следующее допущение о единственности идеи, (Uniqueness) или (Un):

(Un) Идеи и характеристики, которыми вещи обладают благодаря идеям, находятся во взаимно-однозначном соответствии, т. е. :

(a) Если какая-либо вещь А постигается как обладающая характеристикой F благодаря F-ности и какая-либо вещь В (совпадающая с А или нет) постигается как обладающая характеристикой F благодаря F-ности', то F-ность' тождественна F-ности; и

(b) Если какая-либо вещь А постигается как обладающая характеристикой F благодаря F-ности и какая-либо вещь В (совпадающая с А или нет) постигается как обладающая характеристикой F' благодаря F-ности, то F' тождественна F.

Положение (Un) многие исследователи считают многократно засвидетельствованным у Платона. В вышеприведенном переводе АТЧ-1 мы для наглядности подчеркнули упоминания того, что идея является «одной», которые можно интерпретировать как свидетельства признания Платоном (Un). Помимо формулировки АТЧ-1, в качестве свидетельств признания Платоном (Un) приводятся и другие тексты: Parm. 132b5, 132c3-4; R. P. 476a5-b7, 596а, 597cl-d3.

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

Аргумент через {(Р1), (ОМ ), (N1), (SP )} у Г. Властоса

С точки зрения Г. Властоса, АТЧ-1, хотя и претендует на то, чтобы быть аргументом, использующим бесконечный регресс, на самом деле не является таковым. Набор посылок {(Р1), (ОМ'), (N1), (SP')}, который, по Г. Властосу, принимал Платон, содержит явное противоречие, поэтому регресс совершенно бесполезен, как следующий из противоречия, которое можно обнаружить без всякого регресса [20, р. 327-329].

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

Покажем теперь, как противоречие порождается допущениями, принимаемыми Г. Властосом.

Из (Р1)&(ОМ') следует, что постигается F-ность , благодаря постижению которой каждый член множества {а, Ъ, с, ...} постигается как обладающий характеристикой F. С учетом (SP') из этого следует, что F-ностьблагодаря

постижению которой каждый член множества {а, Ь, с, ...} постигается как обладающий характеристикой Б, сама постигается как обладающая характеристикой К С учетом (ОМ'), из этого следует, что постигается Е-ность2, благодаря постижению которой Е-ность^ постигается как обладающая характеристикой F. По (Ип), следующему из (ОМ'), а точнее, по (Ип, а), Е-ностъ2 тождественна Е-ностиг Следовательно, Е-ностъ1 постигается как обладающая характеристикой F благодаря Е-ности^ Далее, по (N1), Е-ность^ не тождественна любой вещи Л, которая постигается как обладающая характеристикой F благодаря Е-ностиг Поскольку мы получили, что Е-ностъ1 постигается как Р1 благодаря Е-ности^ из этого следует, что Е-ностъ1 не тождественна самой себе, С?. Е. О.

Аргумент через {(Р1), (ОМ"), (N1), (БР )} у В. Селларса и критика им Г. Властоса

Интерпретация АТЧ-1 Г. Властоса неизбежно порождает упреки в недоброжелательности по отношению к Платону. Как отмечает В. Селларс, используемое Г. Властосом допущение (8Р') влечет, что, например, идея справедливости справедлива в том же смысле, что и справедливые поступки, идея треугольности треугольна в том же смысле, что и треугольники [17, р. 24]. В. Селларс обращает внимание на нелепость подобных выражений и пытается доказать, что платоновская теория идей не понесет никакого ущерба, если (8Р') будет отброшено, что, помимо прочего, приведет к ней-

Кроме того, по В. Селларсу, те платоновские тексты (Protag. 330с-с1; РЬаейо 100с), на которые обычно ссылаются, доказывая приверженность Платона (8Р'), могут быть истолкованы иначе [17, р. 425-430]. Вообще В. Селларс считает, что платоновские аргументы в первой части «Парменида», включая АТЧ-1 и АТЧ-2, представляют собой непрекращающуюся критику (8Р') [17, р. 428]. Таким образом, мы видим у В. Селларса обоснование нелепости (8Р') и обоснование возможности безболезненно отбросить (8Р'), но из этого не следует возможность отбросить (8Р").

Вероятно, стремление представить более доброжелательную, чем у Г. Властоса, интерпретацию АТЧ-1 было одним из мотивов, побудивших В. Селларса предложить свою трактовку АТЧ-1, в которой этот аргумент является вполне корректным аргументом через бесконечный регресс [17, р. 417-419]. Для того чтобы добиться этого, В. Селларс принимает (ОМ) в виде (ОМ"), а не (ОМ'), как было у Г. Властоса.

Изложим АТЧ-1 в том виде, в котором его видит В. Селларс, с учетом сделанных оговорок.

Если принять (ОМ") вместо (ОМ'), на чем настаивает В. Селларс, то положение (11п) получить невозможно, а значит, исходный набор допущений перестает быть противоречивым и доказательство через регресс становится вполне успешным.

Действительно, из (Р1)&(ОМ") следует, что постигается Е-ность, благодаря постижению которой каждый член множества {а, Ь, с, ...} постигается

как обладающий характеристикой К Из (БР') следует, что Р-ность^ благодаря постижению которой каждый член множества {а, Ь, с, ...} постигается как обладающий характеристикой Б, сама постигается как обладающая характеристикой К Из (N1) следует, что Р-ность1 не принадлежит множеству {а, Ь, с, ...}.

По (ОМ"), из этого следует, что постигается Р-ность2, благодаря постижению которой каждый член множества {а, Ъ, с, ..., Р-ность} постигается как обладающий характеристикой К Из (БР') следует, что Р-ность2, благодаря постижению которой каждый член множества {а, Ь, с, ..., Р-ность } постигается как обладающий характеристикой Б, сама постигается как обладающая характеристикой К Из (N1) следует, что Р-ность2 не принадлежит множеству {а, Ь, с, ..., Р-ность 1}.

По (ОМ"), из этого следует, что постигается Р-ность3, благодаря постижению которой каждый член множества {а, Ъ, с, ..., Р-ность , Р-ность2} постигается как обладающий характеристикой К Из (БР') следует, что Р-ностьъ, благодаря постижению которой каждый член множества {а, Ъ, с, ..., Р-ность , Р-ность2} постигается как обладающий характеристикой Б, сама постигается как обладающая характеристикой Б. Из (N1) следует, что Р-ностьъ не принадлежит множеству {а, Ь, с, ..., Р-ность^ Р-ность2}.

И т. д. до бесконечности.

Недостатки интерпретации В. Селларса и контрдоводы Г. Властоса

Предложенное В. Селларсом «спасение регресса» в АТЧ-1 может вызывать вопросы. Как указывает в своем ответе В. Селларсу сам Г. Властос [18, р. 439-441], столь радикальное улучшение АТЧ-1 достигается ценой расхождения с текстом АТЧ-1, где Платон три раза говорит о том, что вводимая идея является одной по числу.

Г. Властос настаивает, что платоновские тексты дают однозначный ответ: для Платона идея, благодаря которой все причастные ей вещи постигаются как имеющие характеристику Б, постигается как единственная, то есть одна и та же для каждой постигающейся вещи, ср., например, Я. Р. 476а5-7; 597с1-с13. Именно это и говорится в (Ш), являющимся следствием (ОМ'). Положение (11п) важно не только для Платона, но имеет также и общеэпистемологическую значимость, если Р-ность трактовать более широко, чем «идея» просто как то, что является необходимым условием для постижения чего-либо как обладающего характеристикой Р.

Действительно, рассматривая постигающиеся вещи (например, суждения и понятия, обусловливающие постижение суждений), можно заметить, что лишь единственность понятия позволяет оперировать с суждениями, в которых используется один и тот же термин, постигающийся через постижение одного и того же понятия. Следовательно, единственность, описываемая в (Ш), является необходимым условием для связывания суждений в умозаключения. Получается, что допущение (ОМ') не может быть заменено на (ОМ"). Так что предложенное В. Селларсом «спасение регресса» может

рассматриваться как подрывающее основы эпистемологии и поэтому может быть признано не очень удачным.

Этот обзор дискуссии Г. Властоса и В. Селларса показывает, что, если придется выбирать либо интерпретацию Г. Властоса, либо интерпретацию В. Селларса, то мы будем вынуждены либо согласиться с тем, что Платон не увидел противоречия в наборе принимаемых им допущений, либо признать, что он отрекся от крайне важного «принципа единственности идеи» (Un). Оба варианта довольно плохи. Это является стимулом для поиска альтернативных вариантов и косвенным доводом в их пользу, в том числе в пользу нашей интерпретации АТЧ-1 через набор допущений {(Р1), (ОМ'), (N1), (SP")}. Ниже мы выпишем эту интерпретацию АТЧ-1, которая кажется нам предпочтительной, и в последующих разделах мы постараемся указать на основания для этого.

Регресс, следующий из {(Р1), (ОМ ), (N1), (SP")}

Приведем теперь описание регресса, генерируемого набором допущений {(Р1), (ОМ'), (N1), (SP")}:

1. По (Р1): Постигаются объекты из множества Р как обладающие характеристикой F.

2. По (1) & (ОМ'): Постигается F-ность , наделяющая объекты из множества Р характеристикой F.

3. По (2) & (SP''): F-nocmbl и объекты из множества Р постигаются как обладающие характеристикой F2 & (F2 Ф FJ.

4. По (3) & (N1): F-HOcmbl не тождественна ни одному объекту из множества Р .

5. По (4): F-ность 1 не тождественна ни одной предшествующей F-HOcmui (таковые еще отсутствуют).

6. По (5) & (Un, а) & modus tollens: Fi не тождественна ни одной предшествующей F. (таковые еще отсутствуют).

7. По (3) & (4): Постигаются объекты из множества Р2

8. содержащего объекты из множества Р и не тождественную ни одному из них F-ность

9. как обладающие характеристикой Fr

10. По (7) & (ОМ'): Постигается F-HOcmb2, наделяющая объекты из множества Р2 характеристикой F.

11. И т. д. до бесконечности.

Заметим, что для завершения доказательства через regressus ad infinitum необходимо принять еще и «допущение о невыполнимости»1, здесь — невыполнимости задачи постичь получающуюся бесконечную последовательность F-ностей, например, помыслить каждый из членов этой последовательности. Это допущение выглядит достаточно здравым, только если излагать АТЧ-1 в «формальной модальности», как это делает Г. Властос и мы вслед за ним. Ведь в «материальной модальности» пришлось бы принять допу-

См. об этом допущении [9, р. 111].

щение о невозможности существования бесконечного счетного множества Р-ностей, но такое утверждение противоречит многим современным взглядам и выглядит настолько спорным, что использующий его АТЧ становится малоинтересным.

Представленный регресс является полноценным регрессом, то есть получающаяся в результате последовательность Р-ностъ^ Р-ностъ2, Р-ностъ ъ, ... не содержит «петель», то есть повторяющихся членов1. Кроме того, в представленном аргументе не отрицается многократно засвидетельствованное у Платона положение (Ип). Напротив, оно активно используется. Этим представленная интерпретация АТЧ-1 выгодно отличается от также вполне полноценного регресса, предлагаемого В. Селларсом, ведь В. Селларс не признает (Ш).

Большое число современных исследований уделяет внимание возможности защитить платоновскую теории идей от АТЧ. Г. Властос полагает, что Платон не увидел, что принимаемые им допущения образуют противоречивую систему, поскольку никогда не формулировал с достаточной четкостью принимаемые им (N1) и (8Р') [20, р. 342]. С точки зрения Г. Властоса, Платону следовало бы отбросить допущение (N1), приняв вместо него более слабое допущение, в котором утверждалась бы нетождественность Р-ности1 тем вещам, которые она наделяет характеристикой но не утверждалась бы нетождественность Р-ности1 последующим Р-ностям: Р-ности2, Р-ностиъ, и т. д. [20, р. 348-349]. У В. Селларса мы видим обоснование нелепости (8Р') и обоснование возможности безболезненно отбросить (8Р'), что, с точки зрения В. Селларса, должно привести к непротиворечивой версии теории идей, к чему-то похожему на «теорию типов» Б. Рассела [17, р. 430; 6, 16-62]. По В. Селларсу, Платон сам критиковал (8Р') (но не (8Р")) и сам был готов

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

В нижеследующем изложении мы бы хотели проанализировать возможность отбрасывания допущений для регресса через {(Р1), (ОМ'), (N1), (8Р")} и попытаться показать, что «скорректировать» Платона отнюдь не так просто, как это кажется на первый взгляд, и что главная проблема состоит не в том, что попытки отбросить эти допущения могут оказаться несовместимыми с текстами Платона, а в том, что эти попытки приводят к фундаментальным философским затруднениям и порождают новые трудноразрешимые

1 О необходимости гарантировать отсутствие «петель» в доказательствах через регресс см. [9, р. 97-98].

Может ли Платон отбросить (ОМ')?

Положение (ОМ') подразумевает, что для того, чтобы как-либо охарактеризовать вещь, нужно постичь 'то, благодаря чему она так характеризуется. 'То, благодаря чему она так характеризуется может быть просто тождественно ее характеристике, являющейся предикатом в пропозиции, используемой для характеристики этой вещи. В этом случае (ОМ') является всего лишь частным случаем принципа композициональности для смыслов пропозиции: компоненты имеющей смысл пропозиции также имеют смысл (а значит, предикат в этой пропозиции является осмысленным или имеет смысл). Принцип композициональности для смыслов разделялся Г. Фреге, но этого, вероятно, недостаточно для убежденности в его надежности.

Но в пользу принципа композициональности для смыслов пропозиции и, соответственно, (ОМ') можно привести следующее соображение. Пусть некоторый субъект мыслит пропозицию р, в которой вещи а, Ь, с, ... характеризуются как обладающие характеристикой К В (ОМ') утверждается, что субъект, мыслящий пропозицию р, мыслит также и характер связи компонентов в пропозиции р, то есть субъект отдает себе отчет, что эти компоненты некоторым образом упорядочены1, подпадают под некоторую структуру. Это значит, что 'то, благодаря чему вещи определенным образом характеризуются', Р-ностъ, мыслится как определенным образом мысленно связанная с мыслящимися вещами (так что все они упорядочены так, чтобы составлять правильно построенную пропозицию), а это значит, что Р-ность сама мыслится. Так что получается, что (ОМ') довольно хорошо обосновано.

Может ли Платон отбросить (N1)?

Отрицание (N1) означает, что Е-ность, благодаря постижению которой мы постигаем, что причастные ей вещи имеют характеристику F, может находиться среди тех вещей, для постижения которых необходимо постичь эту Е-ность. Можно также сказать, что это отрицание эквивалентно отказу от запрета для чего-либо постигаться (как 'то, что обладает какой-либо характеристикой') благодаря постижению самого себя или от запрета «характеризовать самого себя», «постигаться через самого себя». В этом случае для постижения целостности, образуемой причастными вещами, необходимо постичь Е-ность, но, поскольку Е-ность сама присутствует в этой целостности, для ее постижения необходимо постичь ее саму, что может рассматриваться как нежелательный результат, скажем, на основании «принципа порочного круга» Б. Рассела: «целостность не может содержать элементы, определенные в терминах ее самой» [6, с. 33].

1 Подробнее о трактовке пропозиций как различными способами упорядоченных множеств см. [12].

Заметим еще, что «постижение» в (N1) является довольно широким термином, так что под «постижением» можно понимать в том числе и «объяснение». В этом случае (N1) перепишется в виде:

(N1') Любая идея, F-ность, благодаря которой каждый член произвольного множества Р объясняется как обладающий характеристикой F, отлична от каждого члена этого множества Р, т. е. не входит в это множество Р.

Положение (N1') означает, что то, что объясняет, почему вещи имеют характеристику F, не может находиться среди этих вещей. Это требование является частным случаем запрета для explanandum присутствовать в explan-ans. Таким образом, (N1') выглядит хорошо обоснованным. Это является косвенным доводом в пользу признания (N1) в общем виде.

После разъяснения на таких примерах (N1) кажется достаточно здравой посылкой.

Однако (N1), в приведенной трактовке, все-таки не кажется столь же неизбежной, как предпочитаемые нами допущения (ОМ') и (SP"), последнее допущение мы прокомментируем ниже. Дело в том, что при некоторых условиях возможно непарадоксальное понимание сложного объекта, такого, что каждая его составляющая постигается симультанно с другими составляющими (а не последовательно, предшествуя (логически) некоторым другим или следуя после некоторых других), т. е. постигается тогда и только тогда, когда постигается каждая другая составляющая. В этом случае составляющие сложного объекта имеют только относительные характеристики, зависящие от других его составляющих, от того, каким способом составляющие соединены в один сложный объект. Такая конструкция непротиворечива, и имеются основания полагать, что плотиновский мир Ума соответствует ей [3, с. 122-133], а значит, симультанное мышление в Уме всех возможных эйдосов1 противоречит допущению (N1).

Может ли Платон отбросить (SP")?

Многие рекомендации Платону по уклонению от АТЧ связаны с указанием на то, что одна и та же характеристика может предицироваться идее одним способом, а причастным идее вещам — другим. В соответствии с этим подходом, формулировка (SP') изменяется так, что регресса не возникает. В качестве примера этого приведем следующее допущение2:

(SP" ')Если постигается идея, F-ность, благодаря которой каждый член произвольного множества Р постигается как 'обладающий pros ta alia характеристикой F, то F-ность постигается как 'обладающая pros heauto' характеристикой F.

1 О симультанности мышления в Уме см.: «Итак, [в Уме] ни одно не отделяется от другого» — V. 9. 5, 9-10; «"Все вместе" [сущие присутствуют] там [в Уме], и, тем не ме-

Ссылки на Плотина выполнены по [15].

2 Это допущение, если «материальную модальность» изменить на «формальную», близко к принимаемому в монографии [10, р. 155-157].

В этом случае можно рассмотреть два варианта.

Либо «предицироваться pros heauto» означает «предицироваться необходимо», а «предицироваться pros ta alla» означает «просто предицироваться», «предицироваться обычным способом». Но, тогда, «предицируемое необходимо» является также и «предицируемым обычным способом» в соответствии с правилом «Щ> I> р», а это значит, что избавиться от (SP') не удается.

Либо предикация является строго эквивокальной. Например, утверждение, что идея, F-ность, «есть pros heauto» F, есть разновидность отождествления идеи и F [10, р. 106], и, кроме того, такое «есть» выявляет «природу» субъекта [10, р. 66-80]. Возможна также и следующая трактовка названных способов предикации: «'А есть F pros heauto' истинно если и только если природа F есть по меньшей мере часть природы А» и «'А есть F pros heauto' истинно если и только если F по определению истинно об А» [8, р. 55].

Если же говорится, что причастная идее вещь х «есть pros ta alla» F, то здесь «...есть...» означает «обычную» предикацию, при которой вещи приписывается не ее «сущность» целиком и не то, что заключено в ее сущности1. Если F каким-то способом предицируется вещи, но F не предицируется вещи pros heauto, то F предицируется ей pros ta alla, et vice versa.

Разведение способов, которыми F предицируется идее и причастным этой идее вещам, что позволяет принять вместо грозящего противоречием допущения (SP') или грозящего регрессом допущения (SP") безопасное (SP'"), очень распространено среди современных интерпретаторов Платона [17, р. 430; 16, р. 220; 11, р. 95-96; 14, р. 19-22].

Как полагают эти и многие другие исследователи, для нейтрализации АТЧ Платон мог бы принять какую-либо разновидность (SP'") вместо (SP'). Но, если (SP'") принимается, то принимается положение (SP^), получаемое из (SP'") с помощью введения двух характеристик Fi и F2, задаваемых следующим способом: для любого х, «х постигается как 'обладающий pros ta alla' характеристикой F» «х постигается как обладающий характеристикой F », и «х постигается как 'обладающий pros heauto' характеристикой F» «х постигается как обладающий характеристикой F ».

(SP 'j) Если постигается идея, F-ность, благодаря которой каждый член произвольного множества Р постигается как обладающий характеристикой F , то F-ность постигается как обладающая характеристикой F .

Теперь, если принимается (SP' ) и принимается, что в (SP' ) F = F, то мы получаем допущение (SP'). Принятие (SP')> как мы видели, входит в набор допущений {(Р1), (ОМ'), (NI), (SP')}, принимаемых Г. Властосом. Поскольку этот набор противоречив, а отбрасывать другие допущения из этого набора представляется нежелательным в силу приведенных выше причин, следует принять, что в (SP' ) F F. Но совместное принятие (SP' ) и Fi ^ F2 влечет (SP").

Заметим теперь, что F2 в

Так этот способ предикации характеризуется в [10, р. 62-63].

при условии, что F1 Ф Гг Если мы не согласимся с тем, что каждый член множества Р, так же как и Р-ность постигается как обладающий характеристикой , то это будет означать, что идея и причастные ей вещи не имеют ни одной общей характеристики. Однако такая общая характеристика строится очень легко и существует всегда: каким бы отношением Я ни были бы соотнесены идея и причастные ей вещи, всегда истинно, что и идея, и вещи имеют общую характеристику «быть членом того множества, на котором определено отношение Я».

Таким образом, (БР'") не может приниматься вместо (БР"); признавая (БР'")» мы тем самым признаем и (БР").

Итак, мы видим, что многие современные интерпретации Платона в действительности не избавляют его от (БР"). Зададимся теперь вопросом о том, может ли Платон отбросить (БР"), принимая во внимание не особенности его системы, а более общие соображения.

Отбрасывание (БР") есть несогласие с тем, что идея (то есть, в АТЧ-1, 'то, постижение чего необходимо для постижения вещи как обладающей некоторой характеристикойинтерпретацией идеи может быть понятие) имеет некоторую общую характеристику с теми вещами (интерпретацией такой вещи может быть термин суждения или само суждение), которые она наделяет некоторой (другой) характеристикой. Но, как мы видели, такая общая характеристика строится для произвольного отношения Я, связывающего идею и причастные ей вещи.

Заключение

Итак, мы видим, что вклад, внесенный Г. Властосом в анализ допущений, ведущих к АТЧ, весьма значим и используется до сих пор. Обсуждение различных редакций этих допущений показывает, что «с ходу» их довольно трудно отбросить. И дело здесь не только и не столько в том, что трудно предложить такую интерпретацию платоновского понимания «причастности», которая не использовала бы эти допущения. Затруднения носят фундаментальный философский характер, так что отбрасывание каждого из допущений приводит к серьезным проблемам.

В результате выявления оснований мы можем вскрыть некоторые предпосылки АТЧ, независящие от собственно платоновской системы, имеющие фундаментальный характер, и отбросить которые гораздо труднее, чем собственно платоновские посылки, которые выглядят убедительно только в рамках платоновской системы. Эти предпосылки могут быть обнаружены уже у элеатов, кроме того, регресс, в котором они применяются, часто использовался и последующими философами для своих собственных целей, например, в скептической аргументации.

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

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

ЛИТЕРАТУРА

1. Берестов И. В. Довод regressus ad infinitum в обосновании немножественности сущего у Парменида и Зенона Элейского//Вестн. Новосиб. гос. ун-та. —

2. Берестов И. В. Предполагаемый аргумент Зенона Элейского «против множественности сущего» из 29 В 2 DK и его контекст//Ценности и смыслы. — М. , 2013.

3. Берестов И. В. Элеатовские аргументы против множественности сущего в концепции мира Ума Плотина//Вестн. Новосиб. гос. ун-та. — Сер. Филосо-

4. Берестов И. В. Элеатовские корни некоторых апорий о «причастности» из первой части платоновского «Парменида»//Платоновский сборник: Приложение к Вестнику Русской христианской гуманитарной академии (Том 14, Вып. 13). — Т. I./Ред. И. А. Протопопова, О. В. Алиева, А. В. Гараджа, А. А. Глухов, А. В. Михай-

5. Вольф М. Н. , Берестов И. В. Проблемный подход к исследованию древнегреческой философии//SCOLH: Философское антиковедение и классическая тради-

6. Рассел Б. Математическая логика, основанная на теории типов//Логика, онтология, язык/Сост., пер. и предисл. В. А. Суровцева. — Томск: Изд-во Том. ун-та, 2006. — (Библиотека аналитической философии). — С. 16-62.

7. Die Fragmente der Vorsokratiker / Diels H. , Kranz W., ed. (=DK). Griechisch

Weidmannsche verlagsbuchhandlung, 1964.

8. Frances B. Plato's Response to the Third Man Argument in the Paradoxical Exercise of the Parmenidesll Ancient Philosophy. — Pittsburgh, 1996. — Vol. 16, N 1. — P. 47-64.

9. Gratton C. Infinite Regress Arguments. — Dordrecht; Heidelberg; London; New

10. Meinwald C. Plato's Parmenides. — New York, Oxford: Oxford University Press,

11. Nehamas A. Self-Predication and Plato's Theory of Forms // American Philosophical

1 О такой трактовке аргументов Парменида (28 В 8. 19-21 БК) и Зенона Элейского (29 В 2 БК) см. [1; 2]. «БК» означает ссылку на [7].

12. Perry J., Barwise J. Situations and Attitudes. — Cambridge, MA: MIT Press, 1983.

13. Plato. Parmenides//Platonis opera/Ed. J. Burnet. — Vol. 2. — Oxford: Clarendon Press, 1901.

14. Plato's Parmenides / Translated with introduction and commentary by Samuel Scol-

15. Plotinus. Enneads. With an English translation by A. H. Armstrong: In 7 vols. — Cambridge, Massachusetts; London, England: Harvard University Press; St. Edmmudsbury

16. Rist J. M. The Immanence and Transcendence of the Platonic Form // Philolo-

17. Sellars W. Vlastos and "The Third Man"//The Philosophical Review. — Ithaca,

18. Vlastos G. Addenda to the Third Man Argument: A Reply to Professor Sellars//

19. Vlastos G. Plato's "Third Man" Argument (PARM. 132A1-B2): Text and Logic//

20. Vlastos G. The Third Man Argument in the Parmenides // The Philosophical