По поводу «предмета [науки] в целом», упомянутого в следующем абзаце, см. конец «Второй аналитики», 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-размерный» новым понятием. То же самое можно сказать о понятии «истина», сформулированном А. Тарским. Тарский предложил номиналистское определение (или, скорее, метод построения номиналистских определений) понятия «истина», так как он показал, как некоторая система предложений может быть выведена из определения понятия «истина», соответствующего этим предложениям (типа закона исключенного третьего). При этом речь идет именно о тех предложениях, которые использовались многими логиками и философами в связи с тем, что они называли «истиной».
В случае необходимости мы можем добиться точности нашего языка, устранив все определения и взяв на себя колоссальные хлопоты по использованию определяющих терминов вместо определяемых. Дело в том, что в современных методах определения кроется некоторый источник неточности. Р. Карнап разработал в 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). Карнап показал, что в большинстве случаев язык, допускающий определения, будет противоречивым, даже если определения удовлетворяют общим правилам их построения. Сравнительная практическая несущественность этой противоречивости просто основывается на том факте, что мы всегда можем устранить определяемые термины, заменяя их на определяющие термины.
Несколько примеров использования этого метода введения нового термина только после того, как возникла в этом потребность, можно найти в настоящей книге. Имея дело, как в этой книге, с философскими позициями, вряд ли можно избежать введения ради краткости имен для этих позиций. Именно по этой причине я использую столь многочисленные «измы». Однако в большинстве случаев эти имена вводятся только после того, как рассматриваемые позиции уже были охарактеризованы.
