Всякая классификация вещей воспроизводит классификацию людей:
Выражение языка, обозначающее предмет, класс предметов, свойства или отношения предметов, является именем:
Два понятия равнозначны, если их объемы совпадают:
Имя, обозначающее более одного предмета, - общее имя:
Имя, обозначающее несуществующий реально предмет или предметы, - пустое имя:
Имя, обозначающее только один предмет, называется единичным:
К понятиям относятся:
К пустым именам относятся:
К равнозначным понятиям относятся понятия:
Классификация является естественной, если она ведется по существенным признакам:
Классификация является искусственной, если она ведется по несущественным, второстепенным признакам:
Контекстуальные и остенсивные определения относятся к неявным определениям:
Логическая операция, раскрывающая содержание понятия, - определение:
Логическое деление:
Множество предметов, каждому из которых принадлежат признаки, входящие в содержание имени, - объем имени:
Можно назвать дихотомическое деление "делением надвое":
Неявное определение имеет форму равенства двух понятий:
Общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом называется "понятием":
Операция деления является распределением на группы тех предметов, которые мыслятся в исходном понятии:
Подчиняющее понятие называется видом, а подчиненное - родом:
Понятие, объем которого полностью входит в объем другого понятия, называется подчиненным:
Понятия "белый" и "черный" являются противоречащими:
Понятия, объемы которых частично совпадают, находятся в отношении пересечения:
Противоположные понятия - понятия, объемы которых исключают друг друга, не давая всего объема родового понятия:
Противоречащие понятия - понятия, исключающие друг друга и исчерпывающие в совокупности объем родового понятия:
Следующее деление проведено не по одному основанию:
Совокупность свойств, мыслимых в имени (понятии), является содержанием имени (понятия):
Содержит круг определение:
Требование, чтобы деление велось только по одному основанию, является необходимым:
Члены деления могут не исключать друг друга:
Явное определение имеет форму неравенства двух понятий: