Георгий Челпанов - Учебник логики
Кругом символизируется какое-нибудь одно понятие A, и вне его ставится другое понятие B, которое есть не-A, причём это понятие B может быть поставлено где угодно, лишь бы не внутри круга, не в его объёме; это второе понятие по своим свойствам называется понятием отрицательным или неопределённым (notio negativa seu indefinita).
Если мы возьмём для сравнения два понятия противоположные и два противоречащие: «белый» – «чёрный» (противоположные), «белый» – «небелый» (противоречащие), то мы можем наглядно убедиться, что разница между этими двумя логическими отношениями огромная: тогда как второй член первой пары (чёрный) имеет вполне определённое содержание, которое можно представить, второй член второй пары (небелый) такого определённого содержания не имеет. Его содержание отличается неопределённостью, т.е., употребляя слово «небелый», мы можем под ним понимать и красный, и зелёный, и синий, и даже большой, красивый, добрый и т.п.
5. Скрещивающиеся понятия (notiones inter se convenientes). Если мы имеем два понятия, содержание которых различно, но объёмы некоторыми своими частями совпадают, то такие два понятия называются скрещивающимися. Возьмём два понятия, например A – «писатели» и B – «учёные». В объёме понятия «писатели» заключается часть объёма понятия «учёные», ибо некоторые писатели суть учёные, и, с другой стороны, в объёме понятия «учёные» заключается некоторая часть объёма понятия «писатели», ибо некоторые из учёных суть писатели. Это мы могли бы изобразить при помощи схемы на рис. 9.
Так как та часть объёма понятия «писатели», которая состоит из учёных, и та часть объёма понятия «учёные», которая состоит из писателей, логически между собой равны, то символически их можно представить равными частями двух кругов, которые при наложении могли бы совпасть. Поэтому схемой скрещивающихся понятий могут служить два скрещивающихся круга, причём круги символизируют объёмы данных понятий, а место их скрещивания – совпадающие, логически равные части этих объёмов. Другой пример – прямоугольные фигуры и параллелограммы, ибо некоторые прямоугольные фигуры суть параллелограммы и некоторые параллелограммы суть прямоугольные фигуры.
6. Понятия несравнимые (notiones disparatae). Возьмём два понятия: «душа» и «треугольник». Для этих двух понятий нет общего ближайшего родового понятия, в объём которого они могли бы оба войти как координированные. Между ними нет ничего такого общего, что могло бы для них явиться посредствующим, связывающим элементом, на основании которого их можно было бы сравнить. Такие два понятия находятся в логическом отношении несравнимости. Для того чтобы можно было сравнить два понятия, необходимо нечто третье, что объединяло бы эти понятия, – это именно ближайшее общее понятие, в объём которого они входили бы. Это третье понятие называется tertium comparationis.
Сюда же относятся понятия, которые вообще получены неотрицательным путём, например «бесконечный», «бесспорный» и т.п., если эти понятия могут быть символизированы только что указанным способом.
Следует заметить, что речь идёт об отсутствии ближайшего родового понятия. Если мы возьмём, например, два таких понятия, как «корабль» и «чернильница», то при всём различии их они имеют нечто общее (и то и другое есть вещь), но нет ближайшего родового понятия, в объём которого они входили бы.
Вопросы для повторенияЧто такое категория? Какие категории признавал Аристотель? Какие следует признавать категории? Что такое вещь, свойство, отношение? Что такое подчинение понятий? Приведите примеры. Что такое соподчинение понятий? Приведите примеры. Какие понятия называются равнозначащими? Приведите примеры. Какие понятия называются противными или противоположными? Приведите примеры. Какие понятия называются противоречащими? Приведите примеры. Что такое скрещивающиеся понятия? Приведите примеры. Какие понятия несравнимые? Что необходимо для того, чтобы понятая можно было сравнивать?
Глава V
Об определении
Цель определения. Когда мы произносим какое-либо слово, соответствующее известному понятию, и хотим сделать его понятным для всех, то мы должны раскрыть содержание понятия, соответствующего указанному слову, а так как содержанием понятия называется совокупность его признаков, то раскрытие содержания понятия можно обозначить как перечисление признаков, присущих данному понятию. Какое-либо понятие A содержит признаки a, b, c, d; если мы перечислим эти признаки, то тем самым точно обозначим, раскроем содержание понятия A; это значит, другими словами, что мы определим его.
Следует заметить, что не все понятия могут быть определены. Понятия по своему содержанию бывают весьма различны: содержание одних понятий больше, других – меньше. Такие понятия, которые имеют сложное содержание, т.е. такие, которые имеют много признаков, могут быть определены. Но есть понятия, которые имеют настолько простое содержание, что не могут быть определены, потому что, как было сказано, для определения необходимо раскрытие содержания понятия; если же содержание понятия не может быть раскрыто, то оно не может быть и определено. Такие понятия называются простыми. Например, понятие «пунцовый цвет» не подлежит определению: цвет этот нужно видеть, чтобы знать, что он такое. Всё же определения, которые мы попытались бы дать в данном случае, были бы ложными в логическом отношении. Точно так же определять, что такое тон известной высоты, бесполезно; это усваивается, понимается непосредственным восприятием этого тона. Сюда же относятся такие понятия, как, например, понятия «равенство», «тождество», «тяжесть», «протяжение», «сознание» и т.п. Точно так же не могут быть определяемы индивидуальные понятия, потому что при определении их пришлось бы перечислить бесконечное множество признаков. Например: «этот бриллиант».
Итак, определить то или иное понятие значит перечислить его признаки. Но это представляется иногда задачей трудной, потому что количество признаков того или другого понятия может быть очень велико; поэтому перечислить даже большинство этих признаков не окажется возможным. Если бы, например, определяя понятие «прямоугольник», мы сказали, что прямоугольник есть геометрическая фигура, плоская, ограниченная прямыми линиями, четырёхугольная, с прямыми углами и т.д., то это определение было бы правильно, но практически оно неудобно, потому что перечисляется целый ряд признаков. Вследствие этого принят другой способ определения понятий, который имеет целью избежать полного перечисления признаков. Он заключается в следующем.
Дадим определение прямоугольника. Для этой цели мы воспользуемся понятием «параллелограмм». Когда мы употребляем термин «параллелограмм», то под ним мы понимаем или прямоугольник, или ромб, или квадрат. Зная это, мы не будем говорить «прямоугольник есть геометрическая фигура, плоская, ограниченная прямыми линиями, четырёхугольная» и т.д., а просто скажем, что это есть «параллелограмм, в котором все углы прямые», ибо всякий под словом «параллелограмм» разумеет геометрическую фигуру, ограниченную четырьмя прямыми, попарно параллельными линиями; прибавляя, что все углы фигуры прямые, мы окончательно завершаем определение её именно тем, что мы отличаем прямоугольник от ромба и от квадрата, которые тоже суть параллелограммы. Таким образом, определяя понятие «прямоугольник», мы указали род данного понятия (параллелограмм) и присоединили к нему видовое различие его (четыре прямых угла), отличающее его от других видов, входящих в тот же род, т.е. от ромба и квадрата. Руководствуясь тем же правилом, мы скажем, что «ромб есть параллелограмм, в котором все стороны равны», а «квадрат есть параллелограмм, в котором стороны и углы равны».
Итак, определение заключается в указании рода данного понятия с присоединением видового различия его. Это в логике принято обозначать при помощи формулы: «Definitio fit per genus et differentiam specificam», т.е. определение совершается при помощи рода и видового различия.
Если нам нужно определить какое-либо понятие, то мы выражаем наше определение при помощи суждения, содержащего подлежащее и сказуемое. Подлежащее этого суждения называется определяемым (definiendum), сказуемое называется определяющим (definiens). Эти термины важны потому, что благодаря им мы можем указать те правила, при соблюдении которых получается правильное определение. Таких правил четыре.
Другие в этой формуле прибавляют к genus термин proximum: «definitro fit per genus proximum et differentiam specificam» («определение совершается при помощи ближайшего рода и видового различия»), желая этим указать на то, что следует пользоваться ближайшим родовым понятием.
1. Определение должно быть соразмерным, т.е. таким, в котором объёмы определяемого и определяющего тождественны, т.е. одинаково велики. Если правило это нарушено, то определение неадекватно, или несоразмерно. В таком случае определение делается или слишком широким или слишком узким, именно, если объём определяющего становится слишком широким или слишком узким в сравнении с объёмом определяемого. Возьмём в пример определение лошади. Если сказать, что «лошадь есть домашнее животное», то это определение будет слишком широким; в нём объём определяющего будет более широким, чем объём определяемого понятия (в объём домашнего животного, кроме лошади, входят ещё коровы, собаки и т.п.). Относительно такого определения можно также сказать, что в него не входит указание существенного признака данного понятия. Если в определении опущены существенные признаки понятия, тогда оно окажется слишком широким, как в только что приведённом примере.