Логика. Том 1. Учение о суждении, понятии и выводе
Шрифт:
Далее, признаки не являются все независимыми по отношению друг к другу, но отчасти предполагают один другой. Было бы совершенно бесцельно, если бы признак «протяженный» мы опустили, а «красный» удержали. Этот последний признак предполагает первый. Тем самым ход обобщающей абстракции уже предуказан в пределах известных границ.
Равным образом и ход детерминации оказывается предуказанным. Прежде всего само собою понятно, что детерминация, не впадая в противоречие, не должна присоединять несоединимые признаки. Но чем должна определяться детерминация? Здесь необходимо указать на двоякое основание детерминации. Поскольку именно данная формула понятия содержит такие признаки, которые по своей собственной природе допускают еще целый ряд различий – как «красный» допускает целый ряд оттенков, «кругообразный»-все возможные величины диаметра и т. д., – постольку детерминация может брать здесь какое-либо из этих различий, и
Но наряду с этой детерминацией бывает другая, которая присоединяет независимые новые признаки, и эта последняя детерминация не имеет точки опоры в данных признаках. Если, например, материя определяется как протяженная и тяжелая субстанция, то, с точки зрения нашего теперешнего знания, мы ни в каком случае не можем рассматривать специфические свойства отдельных веществ как видоизменения протяженности и тяжести. Но в таких случаях обнаруживается, что детерминация определяется чисто эмпирическим знанием того, что подпадает под понятие материи. Мы присоединяем те признаки, которые мы опытным путем находим соединенными с более общими признаками. Эта детерминация могла бы направляться содержанием наших представлений лишь в том случае, если бы мы обладали абсолютно совершенным знанием существа вещей.
5. Эта двоякая форма детерминации делает ненадежным, что именно следует понимать под объемом понятия. Если исходить из логической точки зрения, которая прежде всего требует определенных в понятии предикатов и поэтому имеет в виду только представления, с какими мы подходим к действительным вещам, то последовательным образом отношение подчинения может иметь место всегда лишь между понятиями, и всеобщность понятия заключается в том, что оно мыслится как понятие в известном числе их, т. е. в их содержании, через посредство различных признаков различающихся представлений. Чисто числовая всеобщность, благодаря которой то же самое представление вновь усматривается в неопределенном числе единичных, наглядно представляемых вещей, совершенно безразлична для сущности понятия. Именно одно и то же понятие мыслится здесь во всех экземплярах, и его сущность не изменяется от того, может оно быть предицировано относительно одной или относительно ста вещей.
Поэтому объем понятия никогда не может измеряться по эмпирическому количеству одинаковых вещей, которые подпадают под известное понятие, раз, вопреки principium identitatis indiscernibilium, признана возможность, что для нашего познания имеются такие объекты, которые различаются уже не своими свойствами, а лишь различным местом или различным временем. В противоположность этому необходимо твердо помнить, что понятие, которое не может быть далее детерминировано, не имеет уже никакого объема. Оно представляет собой предел ограничения объема – точку, хотя бы даже соответствующее ему эмпирически имелось налицо в миллионах экземпляров. Чугунный шар 10 сантиметров в диаметре – предполагая весь чугун одинаковым – является таким понятием.
Лишь поскольку имеются такие признаки, фиксирование которых в понятии может всегда состоять только в ограничении непрерывности незаметно мелких различий, лишь постольку и низшая, фиксированная в понятии формула имеет еще известный объем, только он не может уже быть разложен на раздельные понятия.
Вопрос об индивидуальных понятиях причастен к этой трудности. Индивидуальным понятие никогда не может называться только на том основании, что случайно в эмпирической действительности существует одна только такая вещь, которая ему соответствует. Точно так же как логическая природа понятия нисколько не поражается тем, если бы не было дано ни одного ему соответствующего объекта. Индивидуальным понятием может называться лишь такое понятие, благодаря признакам которого дана уже единственность соответствующего ему объекта. Так, центр мира есть в этом смысле индивидуальное понятие. Напротив, вопрос о том, все ли индивидуумы, фактически подпадающие под данное понятие, могут быть различимы еще иным образом, нежели пространственно и временно, и одну лишь или несколько единичных вещей может содержать под собой понятие наименьшего объема, – этот вопрос нисколько не касается логического рассмотрения, а относится к реальной науке.
На этом основании это также чистая случайность, если число подпадающих под два по содержанию различных понятия вещей оказывается одним и тем же, и они могут поэтому называться равнозначащими или замещающими друг друга представлениями не как понятия, но лишь постольку, поскольку, будучи употребляемы как имена, они обозначают для нашего познания одни и те же вещи. В действительности они различны и, с логической точки зрения, имеют различный объем. Двуногое непернатое животное есть иное понятие, нежели понятие человека. Только будучи употребляемы как имена, они обозначают те же самые существа. Поэтому от логического объема понятия необходимо отличать эмпирический объем имени.
Самое большее, можно было бы сомневаться относительно того, являются понятия «равносторонний треугольник» и «равноугольный треугольник» тождественными или различными. По формуле они различны. Но так как признак «равносторонний» совместно с признаками, обнимаемыми в слове «треугольник», с необходимостью содержит в себе признак «равноугольный», и наоборот, то они имеют абсолютно ту же самую ценность. И различными их можно признавать лишь в том случае, если придерживаться одного только грамматического выражения. Но в таком случае должны быть различными понятиями и равносторонний прямоугольник, и прямоугольный ромб.
Далее, прямо сравнимыми являются лишь объемы высших и подчиненных понятий. Объемы понятий, не зависящих друг от друга, не могут быть сравниваемы, исключая разве то, что всякое понятие, допускающее еще многие детерминации, в общем может быть названо широким, а всякое понятие, допускающее лишь еще немногие детерминации, может быть названо в общем узким. Но определенной общей меры объемов не может быть.
Далее, необходимо различать между логическим объемом понятия и его эмпирическим объемом. Логический объем конституируют все те понятия, какие получаются путем дальнейшей детерминации его признаков, которая дана вместе с этими признаками. Но там, где детерминация руководится лишь нашим познанием фактически данных вещей, где ряд самих по себе возможных детерминаций и комбинаций признаков вовсе не осуществляется, так как у нас нет для этого никакого эмпирического повода, – там речь может идти лишь об эмпирическом объеме, так как мы не усматриваем ни необходимости выполнить именно эти детерминации, ни необходимости выполнить только эти детерминации. Никто не может вывести из понятия металла, что существует столько-то и лишь столько-то различных металлов. Но это было бы совершенно пустым занятием, если бы мы вздумали испробовать все возможные различные комбинации признаков. Объем понятия «металл» конституируется для нас понятиями известных металлов. Но именно на этом основании эмпирический объем понятия никогда нельзя рассматривать как замкнутый.
6. К отношению между высшими и подчиненными понятиями обыкновенно применяются также и выражения род и вид, genus и species. Всякое понятие по отношению к низшему есть genus, по отношению к высшему – species. По отношению к этим терминам равным образом имеет силу то положение, что они обладают определенным смыслом только в пределах той же самой категории. «Красный» не есть родовое понятие для розы, а лишь для различных оттенков красного. Высшими родами, , являются поэтому категории. Их общим, в конце концов, является опять-таки лишь отношение, выражающееся в том, чтобы быть объектом мышления. Если же не придерживаться строго указанного определения, то у нас было бы столько же высших родов, сколько имеется независимых друг от друга каких бы то ни было признаков.
От родового понятия, само собою разумеется, необходимо различать род в конкретном смысле, совокупность подпадающих под родовое понятие вещей. Так, от родового понятия «человек» необходимо отличать «человеческий род».
7. От одного и того же понятия можно восходить к различным высшим понятиям, если оно содержит различные, друг от друга не зависящие признаки. От понятия квадрата можно восходить к понятию равностороннего четырехугольника, к понятию прямоугольного четырехугольника, к понятию правильной фигуры, в зависимости оттого, что отпадает один из признаков – «прямоугольный», «равносторонний», «четырехсторонний», которые все независимы друг от друга. Все высшие понятия одинаково относятся к понятию квадрата как родовые понятия. Этому соответствует то, что детерминация точно так же может происходить в различном порядке, смотря по тому, берется сперва один или другой из числа независимых признаков. От понятия прямолинейной плоской фигуры можно прогрессировать в порядке figura plana rectilinea quadrilatera – fig. pl. r. quadrilatera aeuqilatera – fig. pl. r. quadrilateral aeuqilatera aequiangula. Но также и в таком порядке: figura plana rectil. aequiangula – fig. pl. r. aequiangula aequilatera – fig. pl. r. aequiangula aequilatera quidrilatera и т. д. Всякое понятие, содержащее не зависимые друг от друга признаки, может, следовательно, лежать в различных рядах подчиненных одно другому понятий. И чтобы исчерпать здесь все возможности, – для этого потребовалось бы арифметическим путем вычислить все комбинации.