Учебник логики

Следует упомянуть о попытке греческого философа Порфирия (233-304) при помощи схемы облегчить понимание отношения между охватывающими друг друга понятиями, т.е. понятиями, из которых одно входит в объём другого. Эта схема называется «деревом Порфирия». В понятие «бытия» (т.е. того, что вообще существует) входит понятие «телесного бытия» и «бестелесного бытия». Тело содержит в своём объёме одушевлённое тело, или организм, и неодушевлённое тело. Понятие «организм» содержит в своём объёме чувствующие и нечувствующие организмы (растения). Чувствующие организмы содержат в своём объёме разумные и неразумные существа и т.д. (рис. 3).

Бытие есть высший род, который уже не может быть видом для другого рода. Такой род называется summum genus; человек – это низший вид. В его объём уже не входят понятия с меньшим объёмом, а входят только отдельные индивидуумы. Такое понятие называется infima species (самый низший вид). Ближайший высший класс (или род) того или другого вида называется proximum genus (ближайший род). Отношение между более широкими и узкими понятиями можно изобразить и иначе, именно, поместив круги, служащие для обозначения понятий с меньшим объёмом, внутри кругов, служащих для обозначения понятий с большим объёмом (рис. 3а).

Ограничение и обобщение. Процесс образования менее общих понятий из более общих называется ограничением (determinatio). Для образования менее общего понятия мы должны к более общему прибавить несколько признаков, благодаря чему понятие уясняется (determinatur). Например, чтобы из понятия «дерево» получить менее общее понятие «пальма», надо к признакам дерева прибавить специальные признаки пальмы: вид её листьев, прямизну ствола и т.д. Обратный процесс образования более общего понятия из менее общего, при котором, наоборот, некоторое количество признаков от данного понятия отнимается, называется обобщением (generalisatio).

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

Предположим, что у нас есть понятие A (наука). Из него при помощи видового различия a мы можем образовать вид Aa (математика); прибавив к понятию Aa видовое различие b (определение пространственных отношений), получим геометрию Aab. Прибавив к этому виду признак c (определение пространственных отношений на плоскости), получим планиметрию Aabc.

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

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

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

Вопросы для повторения

Что такое признаки понятий? Какие признаки понятий мы отличаем? Что такое родовой признак? Что такое видовое различие? Что такое вид? Что такое собственный признак? Что такое несобственный признак? Что такое содержание понятия? Что такое объём понятия? Что такое summum genus? Что такое infima species? Что такое обобщение? Что такое ограничение? Какое существует отношение между объёмом и содержанием понятия?

Глава IV Логические категории и отношения между понятиями