X(p(X)q(X)s(X)r(X)).

Пример. Выявим структуру понятия «пара чисел, таких, что первое число больше второго». Обозначим х₁ и х₂ – множества чисел, а R – выражение «больший, чем». Тогда структура понятия будет выглядеть так:

х₁,х₂R(х₁, х₂).

4.3 Обобщение и ограничение понятий

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

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

Традиционный способ обобщения: х(Р(х)Q(x))xP(x).

Пример. «Человек такой, что он студент и отличник» - «человек такой, что он студент».

Дизъюнктивный способ: xP(x)x(P(x)Q(x)).

Пример. «Студент» - «студент или школьник».

Введение существования: xP(x,a)xyP(x,y).

Пример. «Студент такой, что изучает логику» - «студент такой, что изучает некоторые науки».

Удаление всеобщности: xyP(x,y)xP(x,a).

Пример. «Человек, который всего боится» - «человек который боится темноты».

Операция, обратная обобщению, называется ограничением.

4.4 Виды понятий

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

Виды понятий по характеру признаков содержания

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

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

Виды понятий по числу элементов объема

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

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