Имена считаются совместимыми если их объёмы хотя бы частично совпадают, т.е. эти объёмы имеют общие элементы.
Виды совместимых имён:
1) Равнообъёмными (равнозначными) считаются имена, объёмы которых полностью совпадают (рис.1). При отношении равнообъёмности имен AиB каждый предмет, обозначенный именем A,может бытьобозначен именем B, и наоборот.
2) Имена находятся в отношении подчинения, если объём одного полностью включается в объём другого, но не совпадает с ним. При этом включающеё имя называется подчиняющим, или родовым, а включенное – подчиненным, или видовым. Если имя A подчиняется имени B (рис.2), то все признаки Bприсущи содержанию имени A, и каждый предмет, обозначаемый именем A, может обозначаться именем B (но не наоборот).
3) Пересекающимися (перекрещивающимися) являются такие имена, объёмы которых лишь частично входят друг в друга. При этом некоторые предметы, обозначаемые именем A, могут обозначаться именем B, и наоборот. Если имена A и B находятся в отношении пересечения (рис.3), то предметы, входящие одновременно в объёмы имен A и B, то есть находящиеся на пересечении этих объёмов, обладают одними и теми же признаками.
Отношения между родственными именами.
Отношение несовместимости
При отношении несовместимости в содержании одного из имен указываются признаки, исключающие признаки содержания другого имени.
Виды несовместимых имён:
1) Противоречащими называются два несовместимых имени, видовое содержание одного из которых (т.е. совокупность его видовых признаков) является отрицанием видового содержания другого. Такие имена полностью исчерпывают объём третьего, подчиняющего их имени (рис.4).
2) Внеположенныминазываются такие несовместимые имена, объёмы которых в сумме составляют часть объёма некоторого подчиняющего (родового) имени. Поскольку A и B, будучи внеположенными, одновременно подчинены С, постольку их называют также соподчиненными относительно С (рис. 5).
3) Противоположными называют имена, содержания которых выражают какие-либо крайние характеристики в некотором упорядоченном ряду постепенно меняющихся свойств (рис. 6).
Обобщение и ограничение как операции с именами
Обобщение объема A ‑ логическая операция, в результате которой образуется имя с объемом B, содержащим в себе объем A. Иными словами, обобщить имя A ‑ значит образовать такое другое имя B (род), которое подчиняло бы себе имя A (вид). Пределом обобщения в каждом конкретном случае выступает некое универсальное имя.
Ограничение ‑ логическая операция, обратная обобщению. Она состоит в нахождении имени с объемом B, который содержится в объеме A. Ограничить объем A ‑ значит найти такое другое имя B (вид), которое находилось бы в отношении подчинения к A (роду). Пределом ограничения выступают имена, объемы которых равны одному предмету (единичные имена).
Особой разновидностью ограничения является выделение типа, или типизация. Тип ‑ это имя, которому однородные предметы соответствуют в той или иной мере. Если некоторые предметы составляют объем имени A и среди них есть такие, что безусловно (т.е. со степенью, равной 1) принадлежат к объему B, а другие обладают этим свойством в некоторой (меньшей 1) степени, то имя с объемом B представляет собой тип.
Присоединение к объему А новых предметов, тождественных со старыми по некоторому признаку, называется логической операцией расширения объема A.
Операция, обратная расширению, т. е. удаление из объема A предметов, которые тождественны с оставшимися по некоторым признакам, называется локализацией объема имени A.
Логические операции с объёмами имен не следует смешивать с мысленными переходами от части к целому и, наоборот, от целого к части. Специфика последних наиболее отчетливо выявляется при их сопоставлении с операциями обобщения и ограничения.