Категориальные структуры бытия и мышления

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

Рассмотрение вопроса о категориях целесообразно начать с различения смысла терминов «имя» и «понятие» . Под именем обычно понимается слово, обозначающее некий единичный предмет: Пегас, Буцефал, Росинант — это все индивидуальные имена коней. Слово копь, в отличие от названных имен, есть понятие, охватывающее бесконечное множество коней, поскольку в нем представлены не только ныне живущие кони, но также уже умершие и еще не родившиеся. Множество объектов, охватываемых данным понятием, в логике называется объемом понятия. Поскольку в этот объем включаются все потенциально возможные объекты данного рода, объем, как правило, бесконечен.

Если мы попробуем сравнить два понятия по объему, то на первый взгляд покажется, что это невозможно. Как может одна бесконечность быть больше или меньше другой? Однако можно найти такую пару понятий, бесконечные объемы которых будут очевидно неодинаковы. Скажем, объем понятия «береза» бесконечен, но бесконечность объема понятия «дерево» явно больше. Еще большей будет бесконечность объема понятия «растение» и т. д. Продолжая эту операцию расширения объема, мы в конце концов дойдем до предельно широкого понятия, которое уже нельзя будет представить как частный случай еще более общего. В нашем примере таким понятием будет «материя». Вот такие предельно широкие понятия и называют категориями.

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

Внимательно присмотревшись к категориям, можно заметить, что все они образуют пары: «материя — дух», «причина — следствие», «необходимость — случайность», «часть — целое» и т. д. Причем каждая пара категорий делит всю действительность без остатка пополам. Какое бы явление мы ни взяли, оно будет относиться либо к одной, либо к другой половине указанных пар, и ничего третьего в каждом из таких отношений мы не обнаружим. Как уже было показано, каждая категория наподобие «матрешки» включает в себя ряд сужающихся понятий, отношения между которыми описываются очень небольшим числом стандартных схем, называемых в логике кругами Эйлера (см. рис.). Круги могут включаться один в другой, могут частично пересекаться, полностью совпадать или полностью не совпадать.

Круги Эйлера.

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

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