Принципы, которые должны регулировать Классификацию как логический процесс, способствующий исследованию истины, не могут быть обсуждены с какой-либо пользой до гораздо более поздней стадии нашего исследования. Но о Классификации как вытекающей из факта использования общего языка и подразумеваемой в нем, мы не можем не рассуждать здесь, не оставляя теорию общих имен и их использования в предикации изуродованной и бесформенной.
§ 2. Эта часть теории общего языка является предметом того, что называется доктриной Предикабилий; набора различий, переданных от Аристотеля и его последователя Порфирия, многие из которых пустили прочные корни в научной, а некоторые из них даже в популярной фразеологии. Предикабилии — это пятикратное деление Общих Имен, основанное не, как обычно, на различии в их значении, то есть в атрибуте, который они коннотируют, а на различии в виде класса, который они обозначают. Мы можем предицировать о вещи пять различных разновидностей имени класса:—
A genus of the thing(γὲνος). A species(εἶδος). A differentia(διαφορὰ). A proprium(ἴδιόν). An accidens(συμβεβηκός).
Следует заметить относительно этих различий, что они выражают не то, чем является предикат в своем собственном значении, а то, какое отношение он имеет к субъекту, о котором он случайно предицируется в конкретном случае. Нет некоторых имен, которые являются исключительно родами, и других, которые являются исключительно видами или дифференциями; но одно и то же имя относится к той или иной предикабилии в зависимости от субъекта, о котором оно предицируется в конкретном случае. «Животное», например, является родом по отношению к человеку или Джону; видом по отношению к Субстанции или Сущему. «Прямоугольный» является одной из Дифференций геометрического квадрата; это лишь одна из Акциденций стола, за которым я пишу. Слова «род», «вид» и т.д. являются, следовательно, относительными терминами; это имена, применяемые к определенным предикатам, чтобы выразить отношение между ними и некоторым данным субъектом: отношение, основанное, как мы увидим, не на том, что предикат коннотирует, а на классе, который он обозначает, и на месте, которое в некоторой данной классификации этот класс занимает относительно конкретного субъекта.
§ 3. Из этих пяти имен два, Род и Вид, не только используются натуралистами в технической акцептации, не совсем согласующейся с их философским значением, но также приобрели популярную акцептацию, гораздо более общую, чем любая из них. В этом популярном смысле любые два класса, один из которых включает в себя все другое и больше, могут быть названы Родом и Видом. Таковы, например, Животное и Человек; Человек и Математик. Животное — это Род; Человек и Животное (неразумное) — его два вида; или мы можем разделить его на большее число видов, как человек, лошадь, собака и т.д. «Двуногое», или «двуногое животное», также может считаться родом, видами которого являются человек и птица. «Вкус» — это род, видами которого являются сладкий вкус, кислый вкус, соленый вкус и т.д. «Добродетель» — это род; справедливость, благоразумие, мужество, стойкость, щедрость и т.д. — его виды.
Тот же класс, который является родом по отношению к подклассам или видам, включенным в него, сам может быть видом по отношению к более всеобъемлющему, или, как его часто называют, высшему роду. Человек — это вид по отношению к животному, но род по отношению к виду «Математик». Животное — это род, разделенный на два вида: человек и животное (неразумное); но животное — это также вид, который вместе с другим видом, «растение», составляет род «организованное существо». Двуногое — это род по отношению к человеку и птице, но вид по отношению к высшему роду «животное». Вкус — это род, разделенный на виды, но также вид рода «ощущение». Добродетель, род по отношению к справедливости, умеренности и т.д., является одним из видов рода «психическое качество».
В этом популярном смысле слова «Род» и «Вид» перешли в обычную речь. И следует заметить, что в обычном разговоре не имя класса, а сам класс называется родом или видом; не, конечно, класс в смысле каждого индивида класса, а индивиды коллективно, рассматриваемые как совокупное целое; имя, которым обозначается класс, называется тогда не родом или видом, а родовым или видовым именем. И это допустимая форма выражения; и не имеет никакого значения, какой из двух способов речи мы примем, при условии, что остальная часть нашего языка согласуется с ним; но если мы называем сам класс родом, мы не должны говорить о предикации рода. Мы предицируем о человеке имя «смертный»; и, предицируя имя, мы можем сказать, в понятном смысле, что предицируем то, что выражает имя, — атрибут «смертность»; но ни в каком допустимом смысле слова «предикация» мы не предицируем о человеке класс «смертный». Мы предицируем о нем факт принадлежности к классу.
Аристотелевские логики использовали термины «род» и «вид» в более узком смысле. Они не признавали родом любой класс, который можно было разделить на другие классы, или видом любой класс, который можно было включить в более крупный класс. «Животное» ими рассматривалось как род; «человек» и «животное» (в значении «зверь») — как соподчиненные виды внутри этого рода; однако «двуногое» не было бы признано родом по отношению к человеку, а лишь «собственным свойством» (proprium) или «акциденцией» (accidens). Согласно их теории, требовалось, чтобы род и вид принадлежали к «сущности» предмета. «Животное» принадлежало к сущности человека; «двуногое» — нет. И в каждой классификации они рассматривали некий один класс как низший или «последний вид» (infima species). Человек, например, был низшим видом. Любые дальнейшие деления, на которые этот класс мог быть разбит — например, человек на белого, черного и красного, или на священника и мирянина, — они не признавали видами.
Однако в предыдущей главе было показано, что различие между сущностью класса и атрибутами или свойствами, которые не являются его сущностью — различие, послужившее поводом для столь многих абстрактных спекуляций и которому ранее придавался, а многими авторами придается и поныне, столь таинственный характер, — сводится лишь к разнице между теми атрибутами класса, которые включены в значение имени класса, и теми, которые в него не включены. Мы обнаружили, что применительно к индивидам слово «сущность» не имеет смысла, за исключением связи с отвергнутыми догмами реалистов; и то, что схоласты предпочитали называть сущностью индивида, было просто сущностью того класса, к которому этот индивид относился наиболее привычным образом.
Существует ли тогда, помимо этого чисто словесного различия, какая-либо иная разница между классами, которые схоласты признавали родами или видами, и теми, которым они отказывали в этом титуле? Является ли ошибкой рассматривать некоторые из различий, существующих между объектами, как различия по роду (genere) или виду (specie), а другие — лишь как различия в акциденциях? Были ли схоласты правы или неправы, присваивая некоторым классам, на которые могут быть разделены вещи, название «видов» (kinds) и рассматривая другие как вторичные деления, основанные на различиях сравнительно поверхностного характера? Исследование покажет, что аристотелики действительно вкладывали в это различие определенный смысл, и смысл важный; но, будучи нечетко осмысленным, он был неадекватно выражен фразеологией сущностей и различными другими способами речи, к которым они прибегали.
§ 4. Фундаментальным принципом логики является то, что возможность формирования классов неограниченна, пока существует хотя бы какое-то (пусть даже малейшее) различие, на котором можно основать разделение. Возьмите любой атрибут, и если одни вещи обладают им, а другие нет, мы можем обосновать этим атрибутом деление всех вещей на два класса; и мы действительно делаем это в тот момент, когда создаем имя, которое коннотирует данный атрибут. Таким образом, число возможных классов безгранично; и существует столько же актуальных классов (реальных или воображаемых вещей), сколько существует общих имен, положительных и отрицательных вместе взятых.
Но если мы рассмотрим любой из так сформированных классов, например, класс «животное» или «растение», или класс «сера» или «фосфор», или класс «белое» или «красное», и проанализируем, в каких деталях индивиды, включенные в класс, отличаются от тех, что в него не входят, мы обнаружим весьма примечательное разнообразие в этом отношении между одними классами и другими. Есть классы, вещи в которых отличаются от других вещей лишь в определенных деталях, которые можно пересчитать, в то время как другие отличаются в большем количестве деталей, чем можно пересчитать, и даже большем, чем мы когда-либо можем ожидать узнать. Некоторые классы имеют мало или ничего общего, что их характеризовало бы, кроме именно того, что коннотируется именем: белые вещи, например, не выделяются никакими общими свойствами, кроме белизны; или если и выделяются, то лишь такими, которые каким-то образом зависят от белизны или связаны с ней. Но сотни поколений не исчерпали общих свойств животных или растений, серы или фосфора; и мы не предполагаем, что они исчерпаемы, а переходим к новым наблюдениям и экспериментам в полной уверенности в открытии новых свойств, которые отнюдь не подразумевались в тех, что мы знали ранее. В то время как если бы кто-то предложил для исследования общие свойства всех вещей, имеющих одинаковый цвет, одинаковую форму или одинаковый удельный вес, абсурдность этого была бы очевидна. У нас нет оснований полагать, что существуют какие-либо подобные общие свойства, кроме тех, которые могут быть показаны как включенные в само допущение или выводимые из него по какому-либо закону причинности. Таким образом, представляется, что свойства, на которых мы основываем наши классы, иногда исчерпывают все, что класс имеет общего, или содержат это все в силу какого-либо способа импликации; но в других случаях мы делаем выборку нескольких свойств не только из большего числа, но из числа неисчерпаемого для нас, и, поскольку мы не знаем им границ, они могут, насколько это касается нас, рассматриваться как бесконечные.
Нет никакой неуместности в утверждении, что из этих двух классификаций одна отвечает гораздо более радикальному различию в самих вещах, чем другая. И если кто-то даже решит сказать, что одна классификация сделана природой, а другая — нами для нашего удобства, он будет прав, при условии, что он не имеет в виду ничего, кроме следующего: там, где определенное видимое различие между вещами (хотя, возможно, само по себе и маловажное) отвечает за неизвестно какое количество других различий, пронизывающих не только их известные свойства, но и свойства еще не открытые, признание этого различия в качестве основы видового деления является не факультативным, а обязательным; в то время как, напротив, различия, которые являются лишь конечными и определенными, подобно тем, что обозначены словами «белый», «черный» или «красный», могут не приниматься во внимание, если цель, ради которой производится классификация, не требует внимания к этим конкретным свойствам. Однако различия в обоих случаях созданы природой, в то время как признание этих различий в качестве оснований классификации и именования является в обоих случаях актом человека: только в одном случае цели языка и классификации были бы подорваны, если бы различие не было принято во внимание, в то время как в другом случае необходимость обращать на него внимание зависит от важности или неважности конкретных качеств, в которых это различие случайно состоит.
Теперь, эти классы, различающиеся неизвестными множествами свойств, а не только несколькими определенными — которые отделены друг от друга бездонной пропастью, а не просто обычной канавой с видимым дном, — являются единственными классами, которые аристотелевские логики рассматривали как роды или виды. Различия, которые распространялись лишь на определенное свойство или свойства и на этом заканчивались, они считали различиями только в акциденциях вещей; но там, где какой-либо класс отличался от других вещей бесконечным рядом различий, известных и неизвестных, они рассматривали это различие как различие по роду и говорили о нем как о существенном различии, что также является одним из текущих значений этого расплывчатого выражения в наши дни.
Полагая, что схоласты были оправданы в проведении широкой разделительной линии между этими двумя видами классов и видовых различий, я не только сохраню само это деление, но и продолжу выражать его на их языке. Согласно этому языку, ближайший (или низший) род (Kind), к которому может быть отнесен любой индивид, называется его видом. В соответствии с этим, сэра Исаака Ньютона следовало бы назвать принадлежащим к виду «человек». Существуют, конечно, многочисленные подклассы, включенные в класс «человек», к которым Ньютон также принадлежит; например, «христианин», «англичанин» и «математик». Но это, хотя и являются отчетливыми классами, не являются, в нашем смысле термина, отчетливыми родами (Kinds) людей. Христианин, например, отличается от других человеческих существ; но он отличается только тем атрибутом, который выражает это слово, а именно верой в христианство, и всем остальным, что это подразумевает, либо как включенное в сам факт, либо связанное с ним через какой-либо закон причины и следствия. Мы никогда не стали бы думать об исследовании того, какие свойства, не связанные с христианством ни как причина, ни как следствие, являются общими для всех христиан и свойственны им; в то время как в отношении всех людей физиологи постоянно проводят такое исследование; и ответ вряд ли когда-либо будет завершен. Человека, следовательно, мы можем назвать видом; христианина или математика — не можем.
Заметьте здесь, что отнюдь не предполагается, что не может быть различных родов (Kinds) или логических видов человека. Различные расы и темпераменты, два пола и даже различные возрасты могут быть различиями по роду в нашем понимании этого термина. Я не говорю, что это так. Ибо в ходе прогресса физиологии можно почти сказать, что установлено, что различия, которые действительно существуют между различными расами, полами и т. д., следуют как следствия, согласно законам природы, из небольшого числа первичных различий, которые могут быть точно определены и которые, как говорится, объясняют все остальное. Если это так, то это не различия по роду; не более, чем «христианин», «иудей», «мусульманин» и «язычник» — различие, которое также влечет за собой множество последствий. И таким образом классы часто ошибочно принимаются за реальные роды (Kinds), которые впоследствии оказываются таковыми не являющимися. Но если бы оказалось, что различия не могут быть таким образом объяснены, тогда «европеоид», «монголоид», «негроид» и т. д. были бы действительно разными родами человеческих существ и имели бы право считаться видами с точки зрения логика, хотя и не с точки зрения натуралиста. Ибо (как уже отмечалось) слово «вид» используется в разном значении в логике и в естественной истории. Натуралисты обычно не говорят, что организованные существа принадлежат к разным видам, если предполагается, что они могли произойти от одного и того же предка. Это, однако, смысл, искусственно приданный слову для технических целей конкретной науки. Для логика, если негр и белый человек различаются таким же образом (как бы меньше ни было это по степени), как лошадь и верблюд, то есть если их различия неисчерпаемы и не сводимы к какой-либо общей причине, они являются разными видами, независимо от того, произошли ли они от общих предков или нет. Но если все их различия могут быть прослежены до климата и привычек или до какого-то одного или нескольких особых различий в структуре, они, с точки зрения логика, не являются видовыми различиями.
Когда infima species, или ближайший род (Kind), к которому принадлежит индивид, установлен, свойства, общие для этого рода, обязательно включают в себя совокупность всех общих свойств любого другого реального рода, к которому индивид может быть отнесен. Пусть индивидом, например, будет Сократ, а ближайшим родом — человек. Животное, или живое существо, также является реальным родом и включает Сократа; но, поскольку оно также включает человека, или, другими словами, поскольку все люди являются животными, свойства, общие для животных, составляют часть общих свойств подкласса «человек». И если существует какой-либо класс, который включает Сократа, не включая человека, этот класс не является реальным родом. Пусть класс, например, будет «курносый»; это класс, который включает Сократа, не включая всех людей. Чтобы определить, является ли он реальным родом, мы должны задать себе вопрос: имеют ли все курносые животные, в дополнение ко всему, что подразумевается в их курносости, какие-либо общие свойства, отличные от тех, что общи для всех животных вообще? Если бы имели; если бы курносость была признаком или указателем на неопределенное число других особенностей, не выводимых из первого посредством устанавливаемого закона, тогда из класса «человек» мы могли бы выделить другой класс, «курносый человек», который, согласно нашему определению, был бы родом. Но если бы мы могли сделать это, человек не был бы, как предполагалось, ближайшим родом. Следовательно, свойства ближайшего рода действительно охватывают свойства (известные или неизвестные) всех других родов, к которым принадлежит индивид; что и требовалось доказать. И отсюда любой другой род, который может быть предикабилен об индивиде, будет находиться по отношению к ближайшему роду в отношении рода, даже согласно популярному пониманию терминов «род» и «вид»; то есть это будет более крупный класс, включающий его и нечто большее.
Теперь мы можем зафиксировать логическое значение этих терминов. Каждый класс, который является реальным родом (Kind), то есть который отличается от всех других классов неопределенным множеством свойств, не выводимых друг из друга, является либо родом, либо видом. Род, который не делится на другие роды, не может быть родом, потому что у него нет видов под ним; но он сам является видом, как по отношению к индивидам внизу, так и к родам наверху (Species Prædicabilis и Species Subjicibilis). Но каждый род, который допускает деление на реальные роды (как животное на млекопитающее, птицу, рыбу и т. д., или птица на различные виды птиц), является родом для всего, что ниже его, и видом для всех родов, в которые он сам включен. И здесь мы можем завершить эту часть дискуссии и перейти к трем оставшимся предикабилиям: Differentia (видовое отличие), Proprium (собственное свойство) и Accidens (акциденция).