Открытое общество и его враги
Шрифт:
«И для всего остального, если оно имеет имя, будет обозначение, указывающее, что то-то присуще тому-то», — говорит Аристотель («Метафизика», 1030а 14, см. также 1030b 24) и объясняет, что не всякое обозначение имени есть определение, но если имя представляет собой один из видов некоторого рода, то его обозначение будет определением.
Важно заметить, что при моем способе использования термина «определение» (а я следую здесь современному использованию этого термина) определение всегда относится к целому предложению-определению, тогда как Аристотель (и другие, кто в этом следуют за ним, например, Гоббс) иногда использует это слово также как синоним «дефиниенса».
Не бывает определений единичных вещей. Определения всегда относятся только к универсалиям (см. «Метафизика», 1036а 28) и только к сущностям, т.е. к тому, что является видом некоторого рода (т.е.
Некоторую неясность аристотелевской трактовки этой проблемы можно усмотреть из конца прим. 27 к этой главе и из дальнейшего сравнения двух интерпретаций теории определения Аристотеля, выдвинутых Дж. Гроутом и У. Россом. Совершенно неясна аристотелевская трактовка способа, при помощи которого в процессе индукции мы восходим к определениям, выражающим первые начала (см., в частности, «Вторая аналитика», II, 19, 100а и след.).
По поводу платоновской доктрины см. прим. 25-27 к гл. 8 и соответствующий текст.
Дж. Гроут пишет (С. Grate. Aristotle, 2nd ed., p. 260): «Аристотель унаследовал от Платона его доктрину непогешимого нуса, или ума, полностью застрахованного от ошибок». Дж. Гроут продолжает, подчеркивая, что в противоположность Платону Аристотель не презирает наблюдение и вообще опыт, однако приписывает, скорее, своему нусу (т.е. интеллектуальной интуиции) «позицию термина и соотносит его с процессом индукции» (loс. cit., см. также op. cit., p. 577). Это так, но наблюдения, по-видимому, имели своей задачей, согласно Аристотелю, лишь функцию возбуждения и развития нашей интеллектуальной интуиции универсальной сущности. Действительно, никто до сих пор не объяснил, каким образом определения, являющиеся безошибочными, можно получить с помощью индукции.
Аристотелевское воззрение тождественно платоновскому, поскольку для обоих в этом случае не существует, в конечном счете, возможности обратиться к аргументации. Все, что можно сделать, — это догматически приписать некоторому определению статус истинного описания сущности и вместо ответа на вопрос о том, почему именно это, а не другое описание истинно, отослать к «интуиции сущности».
Аристотель говорит об индукции, по крайней мере, в двух смыслах — в эвристическом смысле метода, помогающего нам «созерцать общий принцип» (см. «Первая аналитика», 67а 22 и след., 27b 25-33, «Вторая аналитика», 71а 7, 81а 38/81b 5, 100b 4 и след.), и в эмпирическом смысле (см. «Первая аналитика», 68b 15-37, 69а 16, «Вторая аналитика», 78а 35, 81b 5 и след., «Топика», 105а 13, 156а 4, 157а 34).
Во «Второй аналитике» имеется явное противоречие, которое, однако, может быть прояснено. Аристотель утверждает (77а 4), что определение не является ни всеобщим, ни частным. Я полагаю, что решение возникающей в этой связи проблемы состоит не в том, что определение «строго говоря, вообще не является суждением» (как предлагает Дж. Мюр в оксфордском переводе «Второй аналитики»), а в том, что оно не просто всеобщее, а «соразмерное», т.е. всеобщее и необходимое (см. 73b 26, 96b 4, 97b 25).
Относительно упомянутых в тексте «аргументов» из «Второй аналитики» см. 100b 6 и след. По поводу мистического единства познающего и познаваемого см. «О душе», в частности, 425b 30 и след., 430а 20, 431а 1; очень важный отрывок для нас — это 430b 27 и след.: «Ум, направленный на существо предмета как суть его бытия, истинен [всегда]… так же как видение того, что свойственно воспринимать зрению, всегда истинно». Относительно теологических рассуждений в «Метафизике» см., в частности, 1072b 20 («соприкосновение») и 1075а 2; см. также прим. 59 (2) к гл. 10, прим. 36 к гл. 12 и прим. 3, 4, б, 29-32 и 58 к гл. 24.
По поводу «предмета [науки] в целом», упомянутого в следующем абзаце, см. конец «Второй аналитики», 100b 15 и след.
Представляется просто замечательным совпадение взглядов Гоббса (номиналиста, но не методологического номиналиста) с аристотелевским методологическим эссенциализмом. Гоббс также верил, что определения являются началами всякого знания (в противоположность мнению).
Я развил этот взгляд на научный метод в моей «The Logic of Scientific Discovery», см. например, р. 278 и след. (русский перевод: К. Поппер. Логика и рост научного знания. М., 1983, с 226 и след.). На р. 315 и след. «The Logic of Scientific Discovery» опубликован полный перевод моей статьи «On the so-called "Logic of Induction" and the "Probability of Hypotheses''» («Erkenntnis», vol. 5, 1934, p. 170 и след.), в которой я писал: «Нам следует привыкнуть понимать
науку не как "совокупность знаний", а как систему гипотез, т.е. догадок и предвосхищений, которые в принципе не могут быть обоснованы, но которые мы используем до тех пор, пока они выдерживают проверки и о которых мы никогда не можем с полной уверенностью говорить, что они "истинны", "более или менее достоверны" или даже "вероятны"».Приводимая цитата заимствована из моей заметки «A Criterion of the Empirical Character of Theoretical Systems» из «Erkenntnis» (vol. 3, 1933), позднее опубликованной в моей «The Logic of Scientific Discovery», pp. 312 и след. (русский перевод: К. Поппер. Логика и рост научного знания. М., 1983, с. 239). Эта цитата является парафразой и обобщением высказывания о геометрии, сделанного Эйнштейном в его «Геометрии и опыте» (A. Einstein. Geometry and Experience).
Безусловно, нельзя оценить, что важнее для науки: теории, аргументация и рассуждения или наблюдение и эксперимент, поскольку наука представляет собой теорию, проверяемую наблюдением и экспериментом. Вместе с тем ясно, что все «позитивисты», которые пытаются доказать, что наука является «совокупностью наших наблюдений» или что она имеет скорее наблюдательный, чем теоретический характер, определенно ошибаются. Роль теории и аргументации в науке вряд ли можно переоценить. Об отношении между доказательством и логической аргументацией см. прим. 47 к настоящей главе.
См., например, «Метафизика», 1030а 6 и 14 (см. прим. 30 к настоящей главе).
Я хочу подчеркнуть, что говорю здесь о споре «номинализм versus эссенциализм» в чисто методологическом ключе. Я не занимаю какой-либо определенной позиции по отношению к метафизической проблеме универсалий, т.е. по отношению к метафизической проблеме «номинализм versus эссенциализм» (термин «эссенциализм» я предлагаю использовать вместо традиционного термина «реализм»). И я, конечно, не защищаю метафизический номинализм, хотя и защищаю методологический номинализм (см. также прим. 27 и 30 к гл. 3).
Противопоставление номиналистского и эссенциалистского определений, проведенное в тексте, представляет собой попытку реконструировать традиционное различие между «вербальными» и «реальными» определениями. Для меня при этом самым важным является следующий вопрос следует ли читать определения справа налево или слева направо, или, другими словами, следует ли заменять длинный текст коротким или короткий текст — длинным.
Мой тезис о том, что в науке имеют место только номиналистские определения (я говорю о явных, а не о неявных и не о рекурсивных определениях), нуждается в определенной защите. Из него, конечно, не следует, что в науке термины не используются более или менее «интуитивно». Это ясно, если мы только учтем, что все цепи определений должны начинаться с неопределяемых терминов, значение которых может быть пояснено примерами, но не определено. Кажется также очевидным, что внауке, особенно в математике, мы часто сначала используем термин, например «измерение» или «истина», интуитивно, а затем даем ему определение. Однако это достаточно грубое описание ситуации. Более точное описание выглядит следующим образом. Некоторые из неопределяемых терминов, используемых интуитивно, иногда можно заменить определяемыми терминами, относительно которых можно показать, что они выполняют те же самые функции, что и неопределяемые термины. Иначе говоря, для каждого предложения, в котором используются неопределяемые термины (например, те, которые интерпретируются как аналитические), существует соответствующее предложение, в которое входят термины, получившие определения (следующие из построенного определения).
Можно, конечно, сказать, что К. Менгер рекурсивно определил «измерение», а А. Тарский определил «истину». Однако такой способ выражения может привести к недоразумениям. На самом деле Менгер дал чисто номиналистское определение классов множеств точек, которые он назвал «n-размерными», потому что оказалось возможным заменить во всех существующих контекстах интуитивное математическое понятие «n-размерный» новым понятием. То же самое можно сказать о понятии «истина», сформулированном А. Тарским. Тарский предложил номиналистское определение (или, скорее, метод построения номиналистских определений) понятия «истина», так как он показал, как некоторая система предложений может быть выведена из определения понятия «истина», соответствующего этим предложениям (типа закона исключенного третьего). При этом речь идет именно о тех предложениях, которые использовались многими логиками и философами в связи с тем, что они называли «истиной».