Логика

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

В отношении исключения находятся имена, объёмы которых полностью исключают друг друга.

Исключают друг друга имена «трапеция» и «пятиугольник», «человек» и «планета», «белое» и «красное» и т.п.

Исключение

Можно выделить два вида исключения:

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

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

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

Противоречащие имена Противоположные имена

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

Круговые схемы могут применяться для одновременного представления объёмных отношений более, чем двух имён. Такова, к примеру, приводимая на рисунке схема, представляющая отношения между объёмами имён: «планета» (S), «планета Солнечной системы»(P ), «Земля» (M ), «спутник» (L), «искусственный спутник» (N), «Луна»(O ) и «небесное тело» ®. Согласно этой схеме существуют, в частности, небесные тела, не являющиеся ни планетами, ни их спутниками, планеты, не входящие в Солнечную систему, спутники, не являющиеся искусственными, и т.д. Объёмы единичных имён представляются точками.

3. ОПРЕДЕЛЕНИЕ

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

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

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

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

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

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

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

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