Карл Поппер - Открытое общество и его враги

Можно, конечно, сказать, что К. Менгер рекурсивно определил «измерение», а А. Тарский определил «истину». Однако такой способ выражения может привести к недоразумениям. На самом деле Менгер дал чисто номиналистское определение классов множеств точек, которые он назвал «n-размерными», потому что оказалось возможным заменить во всех существующих контекстах интуитивное математическое понятие «n-размерный» новым понятием. То же самое можно сказать о понятии «истина», сформулированном А. Тарским. Тарский предложил номиналистское определение (или, скорее, метод построения номиналистских определений) понятия «истина», так как он показал, как некоторая система предложений может быть выведена из определения понятия «истина», соответствующего этим предложениям (типа закона исключенного третьего). При этом речь идет именно о тех предложениях, которые использовались многими логиками и философами в связи с тем, что они называли «истиной».

В случае необходимости мы можем добиться точности нашего языка, устранив все определения и взяв на себя колоссальные хлопоты по использованию определяющих терминов вместо определяемых. Дело в том, что в современных методах определения кроется некоторый источник неточности. Р. Карнап разработал в 1934 году метод, который можно назвать первым методом устранения противоречий в языке, использующем определения (см. R. Carnap. Logical Syntax of Language, 1937, § 22, p. 67; см. также D. Hilbert, P. Bernays. Grundlagen der Matheraatik, 1939, Bd. II, S. 295, note 1). Карнап показал, что в большинстве случаев язык, допускающий определения, будет противоречивым, даже если определения удовлетворяют общим правилам их построения. Сравнительная практическая несущественность этой противоречивости просто основывается на том факте, что мы всегда можем устранить определяемые термины, заменяя их на определяющие термины.

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

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

Тот факт, что высказывание истинно, иногда может помочь объяснить, почему оно кажется самоочевидным. Таков например, случай с «2 + 2 = 4» или с предложением «Солнце излучает как свет, так и тепло». Однако противоположное определенно не имеет места. То, что некоторое предложение кажется кому-то или даже всем нам «очевидным», т.е. тот факт, что некоторые из нас или даже все мы твердо верим в его истинность и не можем представить его ложности, не дает никаких оснований для того, чтобы оно действительно было истинным. (То, что мы неспособны представить ложность данного высказывания, во многих случаях говорит только о том, что наше воображение недостаточно развито.) Одной из самых серьезных ошибок философии всегда было выдвижение самоочевидности в качестве аргумента в пользу истинности предложения. Так поступали практически все философы-идеалисты. Это свидетельствует о том, что идеалистические философские учения часто были системами апологетики догматических убеждений.

Мы часто находимся в положении, когда нам приходится принимать некоторые предложения на основании их самоочевидности, поскольку у нас нет лучшего основания. Однако это оправдание не является достаточным. Принципы логики и научного метода (в частности, «принцип индукции» или «закон единообразия природы») обычно приводятся в качестве примеров высказываний, которые мы принимаем и которые оправдываются только их самоочевидностью. Даже если это и так, честнее было бы сказать, что мы не можем их оправдать и оставляем без достаточного обоснования. Вместе с тем в действительности нет никакой необходимости в «принципе индукции» (см. мою «The Logic of Scientific Discovery»). А что касается «принципов логики», то в последние годы много было сделано, чтобы показать, что теория самоочевидности безнадежно устарела (см., в частности, R. Сагпар. Logical Syntax of Language. London and New York, 1937; R. Carnap. Introduction to Semantics. Cambridge, Mass., 1942; см. также прим. 44 (2) к настоящей главе).

(1) Применив эти соображения к интеллектуальной интуиции сущностей, мы сразу же увидим, что эссенциализм не способен решить следующую проблему: как возможно установить, истинно ли данное формально правильное определение? Или, иначе говоря: каким образом совершать выбор между двумя конкурирующими определениями? Очевидно, что для методологического номиналиста ответ на вопросы такого рода тривиален. Предположим, что кто-то утверждает (вместе с «Oxford Dictionary»), что «Щенок — это самовлюбленный, пустоголовый, дерзкий молодой человек», и настаивает на принятии этого определения наперекор тем, кто цепляется за данное в тексте определение («Щенок — это молодой пес»). В этом случае номиналист, если он обладает достаточным терпением, укажет на то, что спор о ярлыках не интересует его, поскольку их выбор совершенно произволен, и может предложить, если существует какая-либо опасность двусмысленности, ввести два разных ярлыка, например «щенок1» и «щенок2». Если же какая-то третья сторона будет настаивать на том, что «Щенок — это коричневая собака», то номиналист терпеливо предложит ввести еще один ярлык «щенокз». Если противоборствующие стороны все же продолжат свой спор, потому что кто-то будет претендовать на то, что только его определение щенка может считаться законным, или настаивать на том, что только щенок в его понимании должен считаться «щенком1», то даже очень терпеливый номиналист лишь пожмет плечами. (Чтобы избежать недоразумений следует сказать, что методологический номинализм вообще не касается вопроса о существовании универсалий, поэтому Гоббс не является методологическим номиналистом, а защищает направление онтологического номинализма.)

Вместе с тем эта тривиальная проблема оказывается непреодолимым препятствием для эссенциалистского метода. Мы уже рассматривали ситуацию, в которой эссенциалист настаивает, к примеру, на том, что предложение «Щенок — это коричневый пес» не является правильным определением сущности «щенковости». Однако, как можно обосновать этот тезис? Только обращаясь к интеллектуальной интуиции сущностей, что на практике может обернуться полной беспомощностью эссенциалиста в том случае, если его определение подвергают сомнению. Существуют только два способа, посредством которых он может прореагировать на это. Во-первых, упрямо повторять, что его интеллектуальная интуиция является единственно правильной, на что, естественно, его оппонент может ответить точно так же, и мы — вместо абсолютно окончательного и достоверного знания, обещанного нам Аристотелем, — попадаем в тупик. Во-вторых, допустить, что интуиция оппонента столь же истинна, как и его собственная, но что она относится к другой сущности, которую он неудачно обозначил тем же самым именем. В этом случае возникает предложение использовать два разных имени для двух разных сущностей, например «щенок1» и «щенок2». Однако этот шаг равносилен отказу от эссенциалистской позиции, поскольку он означает, что мы начинаем с определяющей формулы и приписываем ей некоторый ярлык, т.е. что мы действуем «справа налево», а также, что мы приписываем эти ярлыки совершенно произвольно. Это становится очевидным, если принять во внимание, что попытка настаивать на том, что щенок1 по своей сущности является молодым псом, а коричневый пес может быть только щенком2, явно привела бы к той же самой трудности, которая поставила эссенциализм перед настоящей дилеммой. В соответствии с этим каждое определение следует считать приемлемым в равной степени (при условии формальной правильности). Это означает, если использовать терминологию Аристотеля, что одна базисная посылка столь же истинна, как и любая другая (противоположная ей), и что «невозможно сформулировать ложное высказывание». (Можно сказать, что на это указывал уже Антисфен — см. прим. 54 к настоящей главе.)