которые использовались многими логиками и философами в связи с тем, что они называли «истиной».
В случае необходимости мы можем добиться точности нашего языка, устранив все определения и взяв на себя колоссальные хлопоты по использованию определяющих терминов вместо определяемых. Дело в том, что в современных методах определения кроется некоторый источник неточности. Р. Карнап разработал в 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». Если же какая-то третья сторона будет настаивать на том, что «Щенок — это коричневая собака», то номиналист терпеливо предложит ввести еще один ярлык «щенокз». Если противоборствующие стороны все же продолжат свой спор, потому что кто-то будет претендовать на то, что только его определение щенка
