Ученые-логики отмечают, что фактическое содержание понятия делится на основное и полное. Основное фактическое содержание — это система признаков, на основе которой осуществлено обобщение и выделение предметов в понятии, рассматриваемая сама по себе, т.е. без учета всего имеющегося знания об обобщаемых предметах, о связях признаками и т.д. Полное фактическое содержание — это содержание понятия с учетом всего имеющегося знания о предметах, обобщаемых в понятии, о признаках, по которым происходит обобщение, и т.д.
Очевидно, что основное и полное содержания одного и того же понятия могут не совпадать. Так, основное содержание понятия «товар» связано с признаком «обладать меновой стоимостью». Но товар имеет еще «потребительную стоимость», и она учитывается в полном фактическом содержании данного понятия.
Логики говорят также об объеме понятия, имея в виду множество предметов, обобщаемых и выделяемых в понятии, т.е. множество предметов, которые характеризуются системой признаков, составляющих содержание понятия.
В современной логике символически объем понятия хА(х) обозначается так: WxA(x) - класс х, таких, что х есть А. В общем случае Wx\, ..., х А(х\, ..., хп) - множество п-ок предметов, находящихся в отношении А.
Применение понятий в науке требует различения их видов. Понятия бывают: единичными, общими и универсальными (по своему объему). Есть понятия с пустым (нулевым) и непустым объемом; Различают также понятия собирательные и несобирательные. Есть понятия конкретные (обобщение предметов) и абстрактные (обобщение свойств); положительные (есть признак) и отрицательные (нет признака), относительные и безотносительные (предмет характеризуется или не характеризуется в отношении с другим предметом: гражданин - к стране, сын - к матери). Понятия могут быть противоречивыми и непротиворечивыми по охватываемым ими признакам. Например, «неэлектропроводный металл» - понятие противоре-
Многие теоретические операции в науке учитывают разнообразные логические отношения между самими научными понятиями. Так, вводя новое понятие в теорию, важно выявить его соотношение с другими понятиями (эквивалентность, противоречивость, противоположность, независимость, совместимость и др.). Устанавливая « помощью логических средств те или иные отношения, ученые полу чают материал для достаточно строгой квалификации понятийных перестроек в науке. Рождаются и четкие ответы на вопросы: С каким знанием совместима новая система понятий? Какому знанию она противоречит? Сохранилась ли эквивалентность прежней системы понятий? И т.д.
В практике научного мышления широкое применение находят операции обобщения и ограничения понятий. Здесь осуществляется опора на закон обратного отношения между объемом и содержанием понятия. В процессе обобщения осуществляется переход от данного понятия к понятию с большим объемом, но с меньшим содержанием. Так, цепь обобщений в биологии: млекопитающее животное - живой организм. В истории познания есть такая цепь обобщения: арифметика - математика - научная дисциплина. Ограничение - это логическая операция, обратная обобщению. Ее осуществление ведет к нахождению понятия В, объем которого содержится в объеме родового понятия А (т.е. В становится подчиненным А). Пределом ограничения являются единичные понятия. Например, понятие «животное, производящее орудие труда» является ограничением понятия «жи-
Для науки важное значение имеет также операция делении понятий. Различают деления двух типов — мереологическое и таксономическое (С. Левсневский, Ю.В. Ивлев). Операция, при которой целое расчленяется на части, называется мереологическим делением. Операция, посредством которой объем понятия (род) распределяется по классам (видам) в соответствии с некоторым признаком, называется таксономическим делением (В.Ф Берков, И.И. Терлюкович). При этом род называют также делимым понятием, виды — членами деления, а признак — его основанием (иногда - точкой зрения, аспектом рассмотрения). Таксономическое деление может быть классическим и неклассическим. При классическом делении как род, так и виды - понятия с четким объемом, при неклассическом они представляют собой нечеткие, расплывчатые понятия, или типы. Члены неклассического деления могут находиться в отношении пересечения и некоторые из предметов оказываются в «спорной зоне». Например, деление людей по росту на высоких, средних и низких не исключает того, что некоторые люди попадут в рядом расположенные разряды. (Берков В.Ф., Терлюкович И.И. Логика: Практикум. Минск, 2003. С. 57-58).
При таксономическом делении возможна ситуация, когда в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на группы, которые этим признаком обладают, и которые им не обладают. Например, числа делятся на четные и нечетные. Такое деление называется дихотомическим (греч. dicho — на две части, tome — сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах, называется политомическим (греч. polis — много). Дихотомическое деление является более простым. Оно используется, как правило, на начальной стадии изучения предметов, когда есть знания относительно части предметов, обозначенных делимым понятием.
В логике разработан ряд правил деления, которые применяются в научном познании:
1) деление должно быть соразмерным. Это значит, что при таксономическом делении объединение объемов членов деления должно совпадать с объемом делимого понятия. В случае мереологического деления соединение членов значений членов деления должно составить делимый предмет. Ошибочным является «неполное деление», а также «деление с излишними членами».
2) деление должно проводится по одному основанию (признаку). Этот признак нельзя менять в ходе деления. Ошибкой является «сбивчатое деление».
3) члены деления должны исключать друг друга (их объемы не должны иметь общих элементов). В отношении неклассического деления (неточные понятия) это правило не действует.
4) деление должно идти от родового понятия к видовым понятиям одного уровня. Ошибка - это «скачок в делении».
Особой разновидностью деления является классификация, которая часто выступает как специальная задача научного познания. Обычно это - многоступенчатое, разветвленное таксономическое деление. Здесь каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления. Результатом Развернутой классификации является система («дерево») соподчиненных понятий: делимое понятие обозначает некоторый род, новые понятия - виды, видов (подвиды) и т. д. Но существуют и другие способы классификации (Субботин А. Л.)
Неклассическая классификация часто называется типологией. А многоступенчатое разветвленное мереологическое деление именуют иерархизацией. Частным случаем мереологического деления является периодизация - установление качественно различных промежутков времени в ходе развития какого-либо объекта или системы.
Определение - еще одна важная логическая операция, совершаемая в процессе ввода понятия в науку. Если говорить в более широком контексте, то посредством определений уточняется смысл языковых выражений, вводятся новые понятия и другие термины. Выше отмечалось, что специфической особенностью науки является употребление терминов, которые строго определены. Но в каждой науке используются и неопределяемые термины. Это, например, термины других наук, а также те, которые разъясняются при помощи приемов, сходных с определением.
Определение решает сложную задачу, смысл которой в том, чтобы выделить систему признаков, общую и отличительную для предметов, обозначаемых термином. В научном познании эта задача часто усиливается требованием найти систему существенных признаков этих предметов.
Логика указывает способы и правила определения, систематизирует типичные ошибки, возникающие при нарушении этих правил. Выделение системы существенных признаков тех или иных предметов — задача конкретных наук, причем задача нетривиальная. Часто с определением соседствуют сходные приемы: остенсивное указание, разъяснение посредством примеров, описание, характеристика, сравнение.