1) по некоторым характеристикам объемов понятий;
2) по характеру признаков, составляющих видовое отличие мыслимых предметов в понятии, точнее говоря, по характеру предиката, выражающего это видовое отличие, то есть предиката А(х) в понятии хА(х);
3) по характеру предметов, обобщаемых в понятии.
I. Среди всех возможных понятий обычно особо выделяют пустые и непустые, а среди непустых – единичные и общие. Пустые понятия имеют в качестве объема пустой класс. Полезно различать понятия логически и фактически пустые. Понятие хА(х) является логически пустым, если А(х) есть логически противоречивая характеристика предметов х, например, «вещество, которое является кристаллическим и не является таковым». Понятие хА(х) фактически пусто, если фактически не существует предметов х с данной характеристикой А(х). Таково, например, понятие «ворон белого цвета». Не существует также, как известно, атомов в том смысле, как их понимали в Древней Греции, а именно как неделимых частиц. Однако особый и наиболее значимый случай фактической пустоты понятия таков, когда существование предметов х с характеристикой А(х) невозможно в силу законов той области действительности, к которой относится это понятие. Так, невозможны ромбы, в которых диагонали не являются взаимно перпендикулярными, невозможны неупругие жидкости, металлы, не обладающие хорошей электропроводимостью, и невозможны вечные двигатели (двигатели, работающие без дополнительной затраты энергии).
Возможность появления пустых понятий объясняется тем, что в научном мышлении понятия возникают не только о тех предметах, которые имеются налицо. На основе познанных процессов, законов часто возникают предположения о существовании или возможности появления тех или иных явлений с заранее определенными признаками («антиатомы», «жизнь на кремниевой основе» – вместо известной нам имеющей углеродную основу – и т.п.). Здесь новые понятия возникают на основе других понятий и знаний как проявления активного и творческого характера мышления Естественно, что в таких случаях могут возникать понятия которым, как оказывается затем, ничего не соответствует в действительности. Но в некоторых случаях наука сознательно использует пустые понятия, хотя бы для формулировок об утверждении о несуществовании соответствующих предметов и явлений и даже иногда для формулировки некоторых законов. Известны два закона термодинамики: один из них гласит, что невозможны «вечные двигатели» 1-го рода, второй то же – о «вечных двигателях» 2 рода.
Единичным является понятие, объем которого есть единичный класс, а общие понятия имеют в качестве объема класс, состоящий более чем из одного предмета. Единичное понятие по сути своей представляет собой, как и всякое другое, некое обобщение и этим отличается от имени отдельного предмета. Мы не всегда при этом можем даже знать, что класс обобщаемых предметов является именно единичным. Без дополнительных знаний не ясно, например, является ли общим или единичным понятие «город, породненный с Волгоградом». Возможно, не каждому известно, что в объем этого понятия входят 9 городов в разных странах мира [6, с. 19–22].
В некоторых случаях возникают трудности при попытке решить вопрос, является ли некоторое понятие общим или единичным в силу характера мыслимых в понятии предметов. Едва ли могут возникнуть сомнения насчет того, являются ли общими такие, например, понятия, как «человек», «растение», «город», «страна». Но уже не так легко определить, к какому классу относятся понятия «вода», «водород» и т.п., вообще понятия, в которых обобщаются газообразные, жидкие или сыпучие вещества, то есть объекты, трудно поддающиеся индивидуализации. Аналогичные трудности возникают с понятиями «любовь», «бытие» и т.п. (так называемые абстрактные понятия). Полезно использовать в таких случаях следующий критерий понятие является общим, если в пределах его объема могут быть выделены некоторые виды предметов. Так, в объеме понятия «вода» мы можем выделить: «морская вода», «речная вода», «дистиллированная» и «недистиллированная». Еще более просто решить указанный вопрос, когда возможна индивидуализация мыслимых в понятии объектов. Так, пользуясь понятиями «талант» или «белизна», мы выделяем индивидуальные случаи: «талант Пушкина», «талант Толстого», «белизна снега», «белизна мела». Что касается понятий «вода», «водород», то элементами объема здесь являются отдельные случаи, когда мы встречаем эти вещества в природе (отдельные порции или отдельные скопления их).
Среди общих понятий особое место занимают так называемые универсальные понятия. Универсальными являются понятия вида хА(х) объем которых совпадает с областью значений х, то есть с родом этого понятия. Это совпадение обусловлено тем, что предикат А(х) не содержит никакой информации относительно предметов рода и, значит, ничего не выделяет в этом роде. Аналогично тому, как среди пустых понятий различают логически и фактически пустые понятия, мы различаем логически и фактически универсальные понятия.
Понятие фактически универсально, если предикат, составляющий его видовое отличие, не выражает никакой информации относительно предметов рода данного понятия и при этом именно в силу значений составляющих его дескриптивных терминов. Обычно это подразумевает наличие закона науки, указывающего на то, что все предметы рода обладают этим признаком. Так, например, фактически универсально понятие: «Жидкость такова, что давление на какую-нибудь ее точку передается во все стороны с одинаковой силой». Здесь мы имеем случай, когда содержанием понятия является закон-признак, необходимо присущий всем жидкостям (согласно закону Паскаля). Естественно, что он ничего не выделяет в множестве жидкостей, то есть не несет никакой информации относительно них, поскольку верен для любых жидкостей. Но если бы в качестве родового было взято понятие «физическое тело», тогда понятие с тем же видовым отличием выделяло бы именно жидкости [6, с. 19–22].
Указанное различие внутри универсальных и пустых понятий связано с приведенным выше различением логических и фактических содержаний и соответственно объемов понятий.
II. По характеру признаков выделяют обычно положительные и отрицательные, относительные и безотносительные понятия.
Понятие хА(х) положительно, если А(х) выражает наличие у предметов х какого-либо свойства или отношения и отрицательно, если признак А(х) указывает на отсутствие какого-либо свойства или отношения. Пользуясь данными выше определениями положительного и отрицательного признаков, можно сказать, что понятие является положительным или отрицательным в зависимости от того, положительным или отрицательным является признак А(х). Понятие хА(х) положительно, если А(х) выражает наличие у предметов х каких-то свойств или отношений. Положительными являются, например, понятия «европейское государство», «столичный город», «родственники». Примеры отрицательных понятий – «человек, не знающий логики», «непересекающиеся прямые», «нечестный и безнравственный человек».
Безотносительным или относительным понятие является в зависимости от того, представляет ли его видовое отличие атрибутивное или реляционное свойство). Безотносительными являются, например, понятия; кристаллическое вещество», «преступное действие», «общественный прогресс». Относительными будут: «отец Сократа», «столица Франции», «столица какого-нибудь государства».
III. По характеру обобщаемых в понятии объектов следует различать прежде всего понятия, в которых обобщаются отдельные предметы того или иного типа (вида ХА(Х)) и системы объектов (понятия вида (Х1…, ХК) А(Х1,…, ХК), К>1). Примеры первых: «живое существо», «плодовое дерево», «город, находящийся на Экваторе» и т.п. К числу вторых относятся: «параллельные прямые», «изотопы», «родственники», «супруги», «однокоренные слова», «друзья».
Дальнейшее подразделение относится к понятиям вида ХА(Х), то есть к понятиям, в которых обобщаются отдельные предметы. При этом различаются понятия конкретные и абстрактные, с одной стороны, собирательные и несобирательные – с другой. Первое из указанных делений связано с различением конкретных и абстрактных объектов.
Конкретными объектами называют вещи, ситуации и процессы реальной действительности, а также результаты той или иной идеализации таких предметов (абсолютно упругие жидкости, абсолютно черные тела) и, наконец, множества и системы предметов указанных типов, мыслимые как целое. Абстрактные объекты – суть создания мысли идеальные предметы. Каковы те или иные характеристики конкретных предметов (свойства их, предметно-функциональные характеристики или отношения между ними), отвлеченные от соответствующих предметов и ставшие самостоятельными объектами мысли. Так возникают «числа», «фигуры», «движение». К множеству объектов этого типа можно, очевидно, также отнести параллели, меридианы, векторы и т.п.
Конкретным, является понятие, элементы объема которого – конкретные объекты. Таковы понятия, составляющие смысл выражений «человек», «социалистическая революция», «растение», «государственная собственность некоторой страны» и т.п. Абстрактные понятия в качестве элементов объема имеют абстрактные объекты. Таковы понятия: «число», «геометрическая фигура», «арифметическая функция», «рефлексивное и симметричное (двухместное) отношение», а также «производительность труда», «прибыль, получаемая предприятием» и т.п.
Заметим, что в логической литературе определения конкретных и абстрактных понятий не вполне совпадают с данными здесь их характеристиками. Обычно говорят, что элементами конкретных понятий являются предметы, представляющие собой – с логической точки зрения – некоторые системы признаков, то есть некоторые конкретные предметы, а элементами объема абстрактных понятий являются отдельные характеристики (стороны, свойства) конкретных предметов. Понятие «геометрическая фигура» относится в таком случае к числу конкретных понятий, а абстрактными будут: «площадь геометрической фигуры», «замкнутость геометрической фигуры» и т.п.