Открытое общество и его враги

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

11.40

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

11.41

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

11.42

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

11.43

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