Понятие - это мысль, которая обобщает объекты некоторого множества и выделяет это множество по отличительному для него признаку.

Две важнейшие логические характеристики понятия - его объем и содержание.

Признак, при помощи которого выделяются и обобщаются предметы интересующего нас множества, называется содержанием понятия.

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

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

Важным шагом в характеристике понятия как мыслительной формы является обнаружение внутри класса понятий их различных разновидностей.

Типология понятий строится на основе анализа их объемных и содержательных особенностей.

Анализ различий в о бъеме позволяет разделить понятия на три вида:

пустые, единичные и общие.

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

Единичные понятия - понятия, в объеме которых содержится ровно один элемент. Например: «Луна», «самое высокое здание в Томске», «американский президент, убитый в Далласе» и др. Языковой формой единичных понятий - и это видно из примеров - являются либо имена собственные, либо дескрипции, фиксирующие индивидуальные признаки конкретного предмета.

Общие понятия - понятия, в объеме которых содержится более одного элемента. Например: «человек», «атом», «квадратный предмет», «город, насчитывающий более 1 млн. жителей» и др. В языке общие понятия выражаются дескрипциями, фиксирующими признаки класса предметов, или общими именами (существительными, прилагательными, причастиями).

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

Разделительные и собирательные понятия отличаются друг от друга тем, что в содержании первых не фиксируется признак структурированности отражаемых предметов, вследствие чего они мыслятся как нерасчлененные целостности («дерево», «студент», «звезда» и др.). В содержании вторых изначально присутствует мысль о том, что предмет состоит из других однородных предметов («лес», «студенческая группа», «созвездие» и др.).

Деление понятий на конкретные и абстрактные базируется на различении предметов и их признаков.

Конкретные понятия - понятия о предметах, которые существуют сами по себе как некоторые фрагменты реальности («дорога», «здание», «книга» и др.). Содержание этих понятий – признаки данных предметов.

Абстрактные понятия – понятия о признаках (свойствах и отношениях) предметов, которые сами по себе вне предметов реально не существуют (например, «белизна», «глубина», «храбрость», «скорость» и др.). Содержанием этих понятий являются, таким образом, признаки

признаков.

Различие в содержании положительных и отрицательных понятий состоит в том, что положительные понятия фиксируют признаки, имеющиеся у предметов, а отрицательные понятия – признаки у предметов отсутствующие. Положительные и отрицательные понятия легко различимы, когда их языковой формой выступают дескрипции (например, «человек, умеющий писать стихи», и «человек, не умеющий писать стихи»). Если же понятие выражено одним словом, то, вопреки бытующему мнению, по наличию или отсутствию в нем отрицательной частицы («не», «без» и др.) однозначно оценивать его как положительное или отрицательное не всегда представляется возможным.

Эмпирические понятия объединяют предметы в классы по их чувственно-воспринимаемым («видимым») признакам, теоретические – по признакам, недоступным чувственному восприятию, обнаруживаемым в процессе мыслительного анализа.

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

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

Несравнимые понятия - понятия, в содержании которых нет ни одного общего признака. Примерами несравнимых понятий являются пары таких понятий, как «любовь» и «картошка», «коза» и «гипотенуза», «конституция» и «севрюжина с хреном» и др.

Сравнимые понятия могут находится в отношениях совместимости или несовместимости.

Понятия совместимы, если в их объемах есть хотя бы один общий элемент. Совместимость между понятиями может выражаться в трех формах: пересечение, подчинение и равнообъемность.

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

Фиксируются следующие виды отношений:

1. Совпадение объемов, которое означает, что объем одногопонятия равен объему другогопонятия. Такие понятия называют равнообъемными или взаимозаменяемыми.

Равнообъемность (равнозначность) - отношение между понятиями, которые, отличаясь содержанием, имеют одинаковый объем, то есть выделяют один и тот же класс предметов. Равнообъемными могут быть как общие понятия (например, «равноугольный ромб» и «равносторонний прямоугольный четырехугольник»), так и понятия единичные (например, «автор романа «Война и мир» и «автор романа «Анна Каренина»). Если в объемах сравнимых понятий нет ни одного общего элемента, то их следует считать несовместимыми. Имеются два вида несовместимости: отношение противоречия и отношение соподчинения.

2. Подчинение или включение объемов. В этомотношении находятся понятия,когда объем одного из них включенполностью в объем другого.

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

3. Исключение объемов - случай, в котором нет ни одного предмета, который находился бы в обоих объемах.