Введение в логику и научный метод

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

Несмотря на то что, с формальной точки зрения, данные правила не допускают исключений, на практике они не всегда помогают. Они, скорее, выражают некий идеал, чем формулируют метод. Более того, в хорошо развитой науке данный идеал оказывается неадекватным. К науке он скорее применим только в период ее младенчества.

Мы не можем получить удовлетворительного определения, деления или классификации, пока в подробностях не изучим предметную область. Во-первых, когда мы имеем дело с существующей предметной областью, мы никогда не можем быть уверены в том, что проведенные нами деление и классификация являются исчерпывающими. Внезапно появившийся новый и непредвиденный составной элемент предметной области может полностью нивелировать идею развиваемой нами системы или, по крайней мере, заставить нас ее серьезно пересмотреть. Точно так же мы никогда не можем быть уверены в том, что подчиненные роды на самом деле исключают друг друга. Данное предупреждение является следствием утверждения о том, что никогда нельзя быть уверенным в том, что деление исчерпывает предметную область, поскольку всегда может появиться ранее неизвестный подкласс, обладающий свойствами некоторых других уже установленных видов.

Во-вторых, процесс научной классификации по своей природе похож на продвижение на ощупь и не является столь формальным, как того требуют перечисленные правила. Даже до начала непосредственного и самостоятельного развития науки опыт принуждал к усмотрению некоторых видов вещей, в которых определенные сочетания качеств имели место с большим или меньшим постоянством. Так, в нерефлективном опыте признаются такие объекты, как деревья, земля, животные и т. д., на основании очевидных сходств между отдельными представителями этих типов. Однако с развитием знания свойства, являвшиеся не столь заметными, стали считаться основой для классификации или деления. Так, хотя дельфин во многом похож на рыбу, в современной биологии он классифицируется как млекопитающее, поскольку вскармливает свое потомство. Основание для классификации зависит от обнаружения определенного значимого признака, в силу которого предметная область может быть организована в более систематическом виде. Однако для обнаружения таких признаков требуется длительное время, и поэтому они не могут детерминироваться исключительно формальным образом.

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

Исчерпывающего деления на взаимоисключающие элементы всегда можно достигнуть, разделяя род на составляющий вид и его отрицание. Именно с помощью этого метода Аристотель получил исчерпывающий набор возможных отношений между субъектом и предикатом. Данный метод называется дихотомическим делением. Проиллюстрирован он может быть следующим образом: