Равнозначными являются два имени, объёмы которых полностью совпадают. Иными словами, равнозначные имена отсылают к одному и тому же классу предметов, но делают это разными способами.
Равнозначны, к примеру, имена «квадрат» и «равносторонний прямоугольник»: каждый квадрат является равносторонним прямоугольником, и наоборот.
Равнозначность означает совпадение объёмов двух имён, но не их содержаний. Например, объёмы имён «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук – чей-то сын), но содержания их различны.
Отношения между объёмами имён можно геометрически наглядно представить с помощью круговых схем. Они называются по имени математика XVIII в. Л.Эйлера «кругами Эйлера». Каждая точка круга представляет один предмет, входящий в объём рассматриваемого имени. Точки вне круга представляют предметы, не подпадающие под это имя.
Отношение между двумя равнозначными именами изображается в виде двух полностью совпадающих кругов.
Равнозначность
В отношении пересечения находятся два имени, объёмы которых частично совпадают.
Пересекаются, в частности, объёмы имён «лётчик» и «космонавт»: некоторые лётчики являются космонавтами (они представлены заштрихованной частью кругов), есть лётчики, не являющиеся космонавтами, и есть космонавты, не являющиеся лётчиками.
Пересечение
В отношении подчинения находятся имена, объём одного из которых полностью входит в объём другого.
В отношении подчинения находятся, к примеру, имена «треугольник» и «прямоугольный треугольник»: каждый прямоугольный треугольник является треугольником, но не каждый треугольник прямоугольный.
Подчинение
В этом же отношении находятся имена «дедушка» и «внук»: каждый дедушка есть чей-то внук, но не каждый внук является дедушкой. «Внук» – подчиняющее имя, «дедушка» – подчинённое.
Если в отношении подчинения находятся общие имена, то подчиняющее имя называется родом, а подчинённое – видом. Имя «треугольник» есть род для вида «прямоугольный треугольник», а имя «внук» – род для вида «дедушка».
В отношении исключения находятся имена, объёмы которых полностью исключают друг друга.
Исключают друг друга имена «трапеция» и «пятиугольник», «человек» и «планета», «белое» и «красное» и т.п.
Исключение
Можно выделить два вида исключения:
1. Исключающие объёмы дополняют друг друга так, что в сумме дают весь объём рода, видами которого они являются. Имена, объёмы которых исключают друг друга, исчерпывая объём родового понятия, называются противоречащими.
Противоречащими являются, например, имена «умелый» и «неумелый», «стойкий» и «нестойкий», «красивый» и «некрасивый» и т.п. Противоречат друг другу также имена «простое число» и «число, не являющееся простым», исчерпывающие объём родового имени «натуральное число», имена «красный» и «не являющийся красным», исчерпывающие объём родового имени «предмет, имеющий цвет», и т.п.
2. Исключающие имена составляют в сумме только часть объёма того рода, видами которого они являются. Имена, объёмы которых исключают друг друга, не исчерпывая объём родового имени, называются противоположными.
Противоречащие имена Противоположные имена
К противоположным относятся, в частности, имена «простое число» и «чётное число», не исчерпывающие объёма родового имени «натуральное число», имена «красный» и «белый», не исчерпывающие объёма родового имени «предмет, имеющий цвет» и т.п.
Круговые схемы могут применяться для одновременного представления объёмных отношений более, чем двух имён. Такова, к примеру, приводимая на рисунке схема, представляющая отношения между объёмами имён: «планета» (S), «планета Солнечной системы» (P), «Земля» (M), «спутник» (L), «искусственный спутник» (N), «Луна» (O) и «небесное тело» (C). Согласно этой схеме существуют, в частности, небесные тела, не являющиеся ни планетами, ни их спутниками, планеты, не входящие в Солнечную систему, спутники, не являющиеся искусственными, и т.д. Объёмы единичных имён представляются точками.
3. Определение
Определение – логическая операция, раскрывающая содержание имени. Определить имя – значит указать, какие признаки входят в его содержание.