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

Однако такой подход к научному методу означает11.34, что в науке нет «знания» в том смысле, в котором понимали это слово Платон и Аристотель, т. е. в том смысле, в котором оно влечет за собой окончательность. В науке мы никогда не имеем достаточных оснований для уверенности в том, что мы уже достигли истины. То, что мы обычно называем «научным знанием», как правило, не является знанием в платоновско-аристотелевском смысле, а, скорее, представляет собой информацию, касающуюся различных соперничающих гипотез и способа, при помощи которого они выдерживают разнообразные проверки. Это, если использовать язык Платона и Аристотеля, информация, касающаяся самого последнего и наилучшим образом проверенного научного «мнения». Такое воззрение означает также, что в науке не существует доказательств (за исключением, конечно, чистой математики и логики). В эмпирических науках, а только они и могут снабжать нас информацией о мире, в котором мы живем, вообще нет доказательств, если под «доказательством» имеется в виду аргументация, которая раз и навсегда устанавливает истинность теории. (А вот что здесь есть, так это опровержения научных теорий.) Что же касается чистой математики и логики, которые допускают доказательства, то они не дают нам никакой информации о мире, а только разрабатывают средства его описания. Таким образом, мы можем сказать (как я уже писал в другом месте11.35): «В той степени, в которой научное высказывание говорит о реальности, оно должно быть фальсифицируемо, а в той степени, в которой оно не фальсифицируемо, оно не говорит о реальности». Однако, хотя доказательства не играют какой-либо роли в эмпирических науках, аргументация там имеет место11.36. Действительно, ее роль, по крайней мере, не менее существенна, чем та, которую играют в эмпирической науке наблюдение и эксперимент.

Роль определений в науке также весьма отлична от той, которую им приписывал Аристотель. Он учил, что в определении мы сначала указываем на сущность, — возможно, называя ее, — а затем описываем ее с помощью определяющей формулы. В результате построенное определение аналогично обычному использованию предложений типа «Этот щенок — коричневый»: мы сначала указываем на определенную вещь, говоря «этот щенок», и затем описываем ее как «коричневую». Аристотель учил, что, описывая таким образом сущность, на которую указывает подлежащий определению термин, мы также порождаем или объясняем значение11.37 этого термина. Соответственно, определение может одновременно отвечать на два тесно связанных вопроса. Первый: «Что это такое?», например, «Что такое щенок?». Это вопрос о том, какая сущность обозначается определяемым термином. Второй: «Что этот термин означает?», например, «Что означает "щенок"?». Это вопрос о значении термина (а именно — термина, который обозначает сущность). В настоящем контексте нет необходимости различать два этих вопроса. Скорее, важнее рассмотреть, что они имеют общего. И я, в частности, хочу обратить внимание на тот факт, что оба эти вопроса говорят о термине, который расположен в определении с левой стороны, а ответ дается в определяющей формуле, которая расположена с правой стороны. Этот факт характеризует эссенциалистское воззрение, не имеющее ничего общего с научным методом определений.

В то время, как эссенциалистская интерпретация читает определения «нормальным» способом, т. е. слева направо, мы можем сказать, что определение, как оно нормально используется в современной науке, следует читать в обратном направлении — справа налево. Современная наука начинает с определяющей формулы и ищет для нее краткое обозначение. Поэтому научный взгляд на определение «Щенок — это молодой пес» предполагает, что это определение представляет собой ответ на вопрос «Как мы будем называть молодого пса?», а вовсе не ответ на вопрос «Что такое щенок?». (Вопросы типа «Что такое жизнь?» или «Что такое тяготение?» не играют в науке никакой роли.) Научное использование определений, характеризуемое подходом «справа налево», можно назвать номиналистской интерпретацией в противоположность аристотелевской эссенциалистской интерпретации определений11.38. В современной науке используются только11.39 номиналистские определения, т. е. вводятся сокращенные обозначения или символы для того, чтобы сократить длинный текст. Отсюда сразу же ясно, почему определения не играют заметной роли в науке. Дело в том, что сокращенные обозначения всегда, естественно, можно заменить более длинными выражениями — определяющими формулами, — вместо которых они и используются. В некоторых случаях это сделает наш научный язык весьма громоздким, нам придется тратить много бумаги и времени. Однако при этом мы не потеряем ни малейшего кусочка фактической информации. Наше «научное знание», в собственном смысле этого термина, совершенно не изменится, если мы устраним все определения. Единственный проигрыш будет связан с используемым языком, но не с его точностью11.40, а только с его краткостью. (Я не хочу сказать, что в науке не может возникнуть насущная практическая потребность во введении определений ради краткости.) Таким образом, контраст между современным взглядом на роль определений и воззрениями Аристотеля очень большой. Для Аристотеля эссенциалистские определения представляют собой принципы, из которых выводится все наше знание, следовательно, они должны содержать все наше знание. Они также служат и для подстановки длинных формул вместо коротких. В противоположность этому, научные, или номиналистские, определения вообще не содержат не только знания, но даже и «мнения». Они только вводят новые произвольные сокращенные обозначения, т. е. помогают сократить длинный текст.