В. Отличительные и неотличительные.

Рассмотрим эти деления по отдельности. Поскольку во всех этих делениях речь везде идет о простых признаках, то мы будем опускать слово «простой».

А. Положительные и отрицательные.

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

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

Например. «Синий», «красивый», «справедливый», «быть отцом», «стоять за углом¹ — все это положительные признаки.

Отрицательным назовем признак, который говорит об отсутствии у объекта свойства или отношения.

Например. «Бесхвостый» и «бездетный», «нестабильный» и «не имеющий спинки», «неспособный к предательству» и «неделящийся на два» — все это отрицательные признаки.

Как вы, наверное, заметили, в словах или словосочетаниях, выражающих отрицательные признаки, как правило, встречаются частицы «не» или «без».

Б. Существенные и несущественные.

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

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

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

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

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

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

Так, стулу нельзя приписать признак «иметь подлокотники», ибо получится кресло, нельзя ему приписать и признак «не иметь спинки», так как получится табуретка и т.п.

Чтобы определить, является ли признак существенным или несущественным, нужно задать следующий вопрос:

«Можно ли найти такой объект, входящий в объем данного понятия, который не имеет этого признака?»

Если вы ответите на него «да», то данный признак несущест­венный, если же вы ответите «нет», то этот признак существенный.­

Например. Рассмотрим понятие «университет» и признак «быть высшим учебным заведением». Наш вопрос будет выглядеть следующим образом: Можно ли найти такой университет, который не был бы высшим учебным заведением? Ответ на этот вопрос: «Нет». Следовательно, этот признак является существенным для понятия университет.

Рассмотрим понятие «человек» и признак «иметь образование». Наш вопрос будет выглядеть следующим образом: Можно ли найти такого человека, который не имел бы образования? Ответ на этот вопрос: «Да». Следмвательно, этот признак для понятия человек не является существенным[9].

В.Отличительные и неотличительные

Мы помним, что понятие не только сообщает нам существенную информацию об объектах, но и отличает объекты данного множества от всех иных объектов. Поэтому важно еще раз[10] рассмотреть, что такое отличительный признак для данного понятия.

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

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

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

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

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

Например. Признак «иметь спинку» присущ не только стульям, а «быть общественно опасным» — не только преступлениям.

Чтобы установить, является признак отличительным или нет, следует задать следующий вопрос:

«Существует ли такой предмет, который не входит в объем рассматриваемого понятия, но тем не менее имеет данный признак»?

Если ответ на этот вопрос - «да», то признак неотличирельный, если - «нет», то признак отличительный.

Например. Рассмотрим понятие «четное число» и признак «делиться на два без остатка». Наш вопрос будет выглядеть следующим образом: Можно ли найти число, не являющееся четным и делящееся на два без остатка? Ответ на этот вопрос: «Нет». Следовательно, этот признак является отличительным для понятия «четное число».

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

Однако при более длительной работе с понятиями замечаешь, что в содержании многих понятий нет простых отличительных признаков, а они тем не менее прекрасно отличают предметы данного класса от всех остальных предметов. Почему так случается? Дело в том, что по отдельности неотличительные эти признаки, взятые вместе, могут выполнять задачу отличения. Поэтому нам придется ввести понятие сложного отличительного признака. Иногда мы будем называть такой признак «достаточным» для данного понятия.

Сложный признак P, состоящий из простых неотличительных признаков P₁, P₂, ..., P_nназывается отличительным (или достаточным) для понятия A, если не существует такого предмета, который не входит в объем понятия A, и вместе с тем обладает всеми признаками P₁, P₂, ..., P_n одновременно.

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

Объем понятия

Вторая логическая характеристика каждого понятия — объем — это те мыслимые в понятии объекты, ради выделения которых из всех других объектов и образуется содержание понятия.

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

Первоначальному понятию теории множеств — множеству — нельзя дать определения. Его можно только пояснить. Под множеством в дальнейшем мы будем иметь в виду совокупность объектов, которые мы по тем или иным основаниям способны мыслить вместе.

Люди, студенты, звезды, понятия — все эти предметы, мыслимые вместе, образуют множества. Коллектив, созвездие, полк — это тоже множества людей или звезд. Множество может быть задано двояко: 1) при помощи некоторого признака или 2) при помощи списка. В предложении — «Студенты Боброва, Курпаков и Юдина могут покинуть аудиторию» — множество задается списком. В предложении — «Студенты, сдавшие контрольную работу, могут покинуть аудиторию» — множество задается при помощи общего признака.

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

Об отдельном объекте, из числа тех, что образуют данное множество, мы будем говорить, что этот объект входит в данное множество или объекта принадлежит данному множеству.

Объект a будем называть элементом множества A, если он входит в множество A.

Этот факт мы будем записывать следующим образом:

.

Множество А будем называть подмножеством множества В, если каждый элемент А в то же время является элементом В.

Это мы будем записывать так:

Множество А будем называть собственным подмножеством множества С, если А — подмножество С и существует хотя бы один элемент С, который не является элементом множества A.

Это мы будем записывать так:

.

Для обозначения множеств мы будем использовать те же прописные буквы начала латинского алфавита, набранные курсивом, что и для обозначения понятий. Основанием для этого служит тот факт, что содержание понятия есть признак, по которому можно образовать множество. К тому же из контекста употребления этих обозначений всегда будет ясно, о чем идет речь: о понятии или о множестве.

Для понимания теории понятия нам понадобится некоторое представление о простых операциях с множествами таких, как пересечение и объединение множеств, а также дополнение к множеству.

Пересечением множеств A и B будем называть множество тех элементов, которые одновременно входят в A и B.

Более формально: множество a таких, что и .

Например. Пересечением множеств студентов и отличников будет множество студентов-отличников, а пересечением множеств греческих богов и кузнецов будет множество, состоящее из единственного элемента — бога-кузнеца Гефеста. Пересечением множества книг и учебных пособий будет множество учебников.

Объединением множеств A и B будем называть множество элементов, которые входят в A или в B.

Более формально: множество a таких, что или .

Например. Объединением множеств газет и журналов будет множество периодических изданий, а объединением множеств четных и нечетных чисел — множество натуральных чисел.

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

Например. Множество стульев мы изобразим следующим образом:

Рис. 1

Рис. 1

Внутри круга, изображенного на рис. 1, находятся все возможные стулья.

Отдельный элемент будем обозначать точкой в круге, единичное множество — кругом.

Например. Множество русских царей изобразим при помощи круга, а отдельный элемент, например, Александра П – точкой в круге:

Рис. 2

Пересечение множеств студентов и отличников будет выглядеть таким образом:

Рис. 3

Заштрихованная часть — это множество тех элементов, которые одновременно принадлежат множествам студентов и отличников. Таким образом, в заштрихованной части, называемой пересечением множеств, находятся все студенты-отличники.

Объединение множеств студентов и отличников будет выглядеть следующим образом:

Рис. 4

Заштрихованная обласрь представляет собой объединение этих множеств, т.е. множество студентов или отличников. В него входят все студенты, а также все отличники. Каждый элемент является студентом или отличником, а некоторые элементы – одновременно студентами и отличниками (как видно на рис. 4).

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

Множество всех объектов U назовем универсальным множеством.

Поскольку любое множество A является подмножеством этого множества, то мы для любого множества можем рассмотреть операцию, дополняющую это множество до универсального. Эта операция так и называется — дополнение. Графически ее можно изобразить следующим образом:

Рис. 5

Заштрихованная часть представляет собой дополнение A. Символически дополнение будем изображать так - .

Можно рассматривать дополнения не тмлько к отдельному множеству, но и к пересечениям и объединениям множеств.

Существуют простые взаимоотношения между пересечением, объединением и дополнением множеств:

Кроме универсального, существует еще одно специальное и единственное множество, которое не содержит ни одного элемента.

Множество, не содержащее ни одного элемента, называется пустым множеством.

и будем обозначать его

Существуют простые взаимоотношения произвольных множеств с универсальным и пустым:

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

.

имея при этом в виду .

То же самое и для объединения.

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

Пусть множество A составляет объем понятия A.

Тогда собственное подмножество B множества A будем называть частью объема понятия A.

Проще говоря, часть объема понятия — это более одного элемента объема понятия, но не все.

Элементом объема понятия будем называть элемент множества, составляющего объем понятия.

Чтобы эффективно оперировать в дальнейшем с объемами понятий, следует иметь в виду следующее правило объема:

Каждый элемент объема понятия имеет все признаки, перечисленные в содержании понятия.

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

§ 3. Обобщение и ограничение понятий

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

Ав: Здравствуйте, друзья! Я бы хотел, чтобы вы послушали один диалог. Сейчас включу магнитофон. Слушайте.

(Треск, шум уличного движения, звук шагов. Становится понятно, что запись производилась в тайне, по крайней мере, от одного из участников разговора).

Д (обращаясь к Е и Ж): Слушайте, вы знаете, что случилось с нашим приятелем Х?

Е и Ж (хором): Нет.

Д: Он же в Учреждении работает Должностным Лицом. А у них всегда очередь за Услугой. И вот он взял деньги у У из рук в руки за оказанную его учреждением вне очереди Услугу.

Е: Молодец Х! Сделал доброе дело. Ведь У доволен?

Д: Доволен.

Е: И Х доволен. Значит, всем хорошо.

Ж: Да, но это де преступление.

Как вам такой диалог? Как вы думаете, о чем идет речь?

Сс: Взять деньги за оказание Услуги вне очереди — это на юридическом языке называется взяткой, а взятка — это преступление. Поэтому Ж — прав.

Ст: Прав-то прав. Но уважаемый Автор, видимо, нас не о том спрашивает. Он имеет в виду что-нибудь логическое. Ведь Е и Ж реагируют на одну и ту же мысль по-разному. Это, видимо, означает, что они как-то по-разному к ней подходят.

Ав: Правильно! Вы же заметили, что об одном и том же деянии один гоаорит, что это доброе дело, а другой — что это преступление.

Сс: Ну, видимо, иногда преступление может быть добрым делом.

Ав: Давайте не будем вступать в дискуссию и предположим, что так не бывает.

Ст: Давайте. На мой взгляд, В и С не согласны в том, под какое другое понятие подвести то, что сделал Х.

Сс: Они согласны в том, что Х взял взятку, но расходятся в оценке самой взятки.

Ав: А «взятка» — это понятие?

Сс: Конечно!

Ав: А «доброе дело» и «преступление» — это понятия?

Ст: Ну, насчет преступления мы знаем точно. А «доброе дело» также из всего круга дел выделяет и обобщает дела добрые, поэтому это - тоже понятие.

Ав: Значит, о чем идет речь?

Сс: О том, что Е и Ж одно понятие — «взятка» — подводят под два разных понятия: «доброе дело» и «преступление».

Ав: Мне здесь не нравится термин «подводят».

Ст: А что, у Вас есть лучший?

Ав: Есть! Обобщение.

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

Ст: Да ну их, эти термины! Вот правильно ли я понял, что всякий раз, когда мы хотим дать оценку некоторому предмету, явлению и т.п., то мы подводим его под более общее понятие?

Ав: Я думаю, что вы поняли правильно.

Сс: И это можно сделать правильно и неправильно.

Ав: Конечно. Мы же видим, кто из них прав.

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

Обобщение — это логическая операция, состоэщая в переходе от понятия A к понятию B, при котором объем понятия A оказывается частью объема понятия B.

Если прибегнуть к кругам Эйлера, то получится следующая картинка:

Рис. 1

Тогда сущность спора между Е и Ж из нашего диалога изобразится так:

Рис. 2

Осталось только выяснить, как это делать правильно. Мы уже рассмотрели обобщение понятия с точки зрения объема. Теперь посмотрим, что происходит при обобщении с содержанием понятия.

Напомним, что в сложном признаке, составляющем содержание нонятия, простые признаки могут соединяться двояко: 1) при помощи союза «и» или 2) при помощи союза «или». Разные способы соединения простых признаков обусловливают разные стратегии работы с признаками при обобщении понятий.

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

Пример.Прямоугольный треугольник — плоская геометрическая фигура, которая ограничена тремя сторонами и один из углов которой является прямым.

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

Общий вывод:

Обобщение понятий, содержание которых состоит из признаков, соединенных союзом «и», происходит путем отбрасывания простых признаков.

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

Пример.Существительное — это часть речи, обозначающая предмет и отвечающая на вопрос «кто?» или «что?».

В этом примере признак «отвечать на вопрос «кто?» или «что?» является сложным признаком, в котором простые признаки «отвечать на вопрос «кто?» и «отвечать на вопрос «что?» соединены при помощи союза «или». Это означает, что определенному виду существительных присущ признак «отвечать на вопрос «кто?» и мы знаем, что это — одушевленные существительные, а другому виду существительных присущ приенак — «отвечать на вопрос «что?», но не присущ признак «отвечать на вопрос «кто?», это — неодушевленные существительные.

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

Пример. Автократия — это форма правления, при которой власть полностью сосредоточена в руках единоличного главы государства.

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

Общий вывод:

Обобщение понятий может происходить путем добавления к содержанию понятия признаков при помощи союза «или».

В определении операции обобщения понятий входят только пары понятий. Однако мы можем попытаться далее обобщить понятие B из нашего определения. Тогда возникнет цепь обобщений, которая может быть достаточно длинной.

Например. Рассмотрим следующую последовательность понятий: кража автомобиля, кража, хищение, преступление, деяние.

Графически это выглядит так:

Рис. 3

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

Цепочка:

юридический факультет факультет

представляет собой обобщение, потому что объем понятия «юридический факультет» представляет собой часть объема понятия «факультет». В то же время цепочка:

факультет университет

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

Переход от понятия А к понятию В является обобщением, если ответ на вопрос: «Верно ли, что А есть В?» утвердителен.

Рассматривая обобщения понятия «кража автомобиля», мы, в конце концов, пришли к понятию «деяние». В пределах правовой теории нам дальше идти некуда, любое дальнейшее обобщение выводит за пределы правовой теории. Это — самое широкое, самое общее понятие в этой области науки.

Предельно общее понятие в данной области знания называется категорией данной области знания.

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

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

Ав: Так, вы еще не ушли. Прочли то, что я написал об обобщении?

Сс: Да.

Ав: Тогда послушайте еще один диалог:

Обвинитель: Х совершил преступление.

Защитник: Какое же это преступление?!

Обвинитель: Как же? Х использовал свое служебное положение для вымогательства денег за Услугу, а это — взятка.

Ав: О чем здесь речь?

Сс: Обвинитель хотел обойтись очень общей оценкой деяния Х, а защитник заставил его конкретизировать свое обвинение, ограничить его, потому что из первого высказывания обвинителя совершеннм непонятно, что сделал Х.

Ав: Что же тогда сделал обвинитель?

Ст: Я думаю, что он сделал какое-то действие, обратное обобщению. Мы ведь знаем, что понятие «преступление» представляет собой обобщение понятия «взятка». А он поступил как раз наоборот.

Ав: Правильно. Та мыслительная операция, которую совершил Обвинитель, называется ограничение. Его исходный тезис стал убедительнее, поскольку он стал конкретнее. Обвинитель от более общего понятия «преступление» перешел к более конкретному понятию «взятка».

В нмвом диалоге мы встретились с логической операцией, называемой ограничение.

Ограничение — это логическая операция, состоящая в переходе от понятия A к другому понятию B, при котором объем понятия B оказывается частью объема понятия A.

Что же при этом делается с содержанием? Опять же, изменение содержания зависит от структуры признаков, составляющих содержание, т.е. от того, соединены они через «и» или через «или».

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

Пример. Рассмотрим приведенное выше содержание понятия «имя существительное». Для его ограничения достаточно отбросить признак «отвечать на вопрос «что?». Тогда мы получим понятие со следующим содержанием: «часть речи, обозначающая предмет и отвечающая на вопрос «кто?», т.е. понятие одушевленного существительного.

Общий вывод:

Ограничение понятий, содержание которых состоит из признаков, соединенных союзом «или», происходит путем отбрасывания простых признаков.

Те же соображения подсказывают нам следующий общий вывод:

Ограничение понятий может происходить путем присоединения признаков через союз «и».

Например. Если мы к понятию «треугольник» присоединим признак «иметь прямой угол», то мы получим понятие «прямоугольный треугольник», являющееся ограничением первоначального понятия.

Как видите, ситуация противоположна обобщению, или, как сказал бы логик, двойственна. Если продолжать сколь угодно далеко операцию ограничения некоторого понятия, то в конце концов его пределом окажется понятие, объем которого представляет собой множество, состоящее из одного объекта.

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

Например. Рассмотрим следующую цепь ограничений: небесное тело → спутник → спутник Земли → естественный спутник Земли. Естественный спутник Земли – понятие, в объем которого входит только один предмет – Луна.

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

Род и вид

Операции обобщения и ограничения связаны с важнейшими для правильного мышления понятиями рода и вида.

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

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

Если проиллюстрировать соотношение объемов понятий A и B при помощи кругов Эйлера, то мы получим следующую картинку:

Рис. 4

Если объемы понятий А и В соотносятся таким образом, то А является родом для В, а В является видом для А. Очевидно, что вид – это понятие, объем которого является частью объема другого понятия, а род – это понятие, объем которого в качестве части содержит объем другого понятия.

У единичного понятия нет видов, а у категории нет рода (в пределах данной области знаний, конечно).

Нетрудно заметить, что для данного понятия B можно найти много родовых понятий. Для того, чтобы в дальнейшем определить некоторые логические операции, нам понадобится дать специальное имя родовому понятию, которое по объему ближе всех остальных к данному понятию.

Понятие A назовем ближайшим родом для понятия B, если не существует такого понятия C, которое является одновременно обобщением B и ограничением A.

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

Часть и целое

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

Часть предмета — это составляющая целого предмета, которая не обладает всеми признаками целого предмета.

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

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

В противоположность части предмета вид является частью объема более общего понятия.

Например. Объем понятия «трудовой коллектив» есть часть объема понятия «коллектив», а следовательно, его понятие «трудовой коллектив» является видом понятия «коллектив» вид.

Например. Объем понятия «студент» есть часть объема понятия «человек», а следовательно, понятие «студент»представляет собой вид понятия «человек».

Часть предмета можно также назвать физической частью целого предмета, а вид — логической частью более общего понятия. Это различение физических и логических частей понадобится нам при рассмотрении логической операции деления.

ГЛАВА 3

МИР ПОНЯТИЙ

§ 1. Виды понятий

Ав: Итак, мы с вами разобрались в том, что такое понятие, и начали разбирать первоначальные действия с понятиями.

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

Ст: Вот, я не могу понять, почему в определении понятия «понятие» речь идет об одном признаке, а когда Вы, дорогой Автор, приводите примеры понятий, то всегда называете много признаков?

Сс: Как ты не поймешь! Признаки бывают простые и сложные. Сложный признак состоит из многих простых, соединенных союзами. В определении речь идет о сложном признаке.

Ав: Правильно. А вас не смущает, что мы рассматривали все понятия совершенно одинаково, так сказать, стригли их под одну гребенку?

Ст: «Стригли под одну гребенку»? Что Вы имеете в виду?

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

Сс: А, это что-то вроде поговорки: «Спутал божий дар с яичницей»?

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

Ст: Что же, они не являются понятиями? Ведь если и то, и другое является понятием, то у них обязательно должны быть общие черты или, как мы говорим, признаки.

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

Ст: Мы уже читали в Вашем учебнике о понятии вида.

Ав: Нет, понятие вида и аиды понятий — это не совсем одно и то же. Понятие вида говорит о более частном понятии, содержащемся в данном понятии. А виды понятий — это логическое подразделение всего множества понятий на различные подмножества или, как мы это называли, виды.

Ст: Какие же бывают виды понятий?

Ав: Давайте разберемся.

Выделение видов связано с основаниями, при помощи которых выделяются в данном понятии определенные виды. По разным основаниям можно выделять различные виды. Они характеризуют объекты, входящие в объем даннмго понятия с точки зрения признаков, которые присущи объектам или не присущи им или присущи им в разной степени[11].

Все понятия можно разделить по следующим признакам:

I. По характеру признаков.

II. По числу элементов объема понятий.

III. По характеру элементов объема.

Рассмотрим эти группы понятий по отдельности.

I.Виды понятий, выделяемые по характеру признаков.

а) Положительные и отрицательные.

В § 2 главы 2 мы делили все признаки на положительные и отрицательные. В соответствии с этим характером признаков мы делим и понятия.

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

Отрицательным называется понятие, в основном содержании которого встречается хотя бы один отрицательный признак.

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

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

б) Относительные и абсолютные.

Это деление связано с другим известным нам делением признаков: на признаки-отношения и признаки-свойства.

Абсолютным[12] называется понятие, в основном содержании которого встречаются только признаки-свойства.

Пример. Квадрат — это прямоугольный равносторонний четырехугольник. В содержание этого понятия входят только признаки-свойства, которые могут быть выражены в форме P(x). Поэтому квадрат — понятие абсолютное.

Относительным называется понятие, в основном содержании которого встречается хотя бы один признак-отношение.

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

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

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