Розділ «4.3. Структура простих тверджень»

Діаграма Ейлера - графічне зображення відношення обсягів імен, па якому замкненими плоскими геометричними фігурами позначають обсяги непорожніх імен.

Загальне ім'я - ім'я, яким позначають об'єкт з огляду па наявність у нього тих чи інших ознак.

Зміст імені - сукупність ознак, на підставі яких певний об'єкт називають відповідним знаком.

Ім'я - знак, яким позначають об'єкт як такий, що існує самостійно.

Індивідуальне ім'я - ім'я, яким позначають об'єкт незалежно від наявності в нього тих чи інших ознак.

Конкретне ім'я - ім'я, яким позначають об'єкти, які насправді існують (чи можуть існувати) самостійно.

Несумісні імена - імена, обсяги яких не мають спільних елементів.

Обсяг імені - множина об'єктів, позначених відповідним знаком.

Одиничні імена - імена, обсяг яких містить один елемент.

Перехрещеність - відношення, за якого наявні три множини об'єктів: 1) об'єкти, які мають ознаки, що належать до змісту першого імені, але не належать до змісту другого імені; 2) об'єкти, які мають ознаки, що належать до змісту другого імені, але не належать до змісту першого імені; 2) об'єкти, які є спільними для обсягів обидвох імен.

Підпорядкованість - відношення, за якого кожен елемент обсягу одного імені є елементом обсягу іншого, але не навпаки.

Порівнювані імена - імена, щодо яких з'ясування відношення обсягів є коректним завданням (такими є ті імена, які мають спільне більш загальне ім'я).

Порожні імена - імена, обсяг яких не містить жодного елемента.

Предикат твердження - та частина твердження, якою позначено, що саме стверджують про об'єкти, позначені суб'єктом твердження.

Просте твердження - елементарна послідовність знаків, якою зафіксоване знання.

Рівнообсяговість - відношення, за якого кожен елемент обсягу одного імені є елементом обсягу іншого, і навпаки.

Суб'єкт твердження - та частина твердження, якою позначено те, про що стверджують.

Сумісні імена - імена, обсяги яких мають спільні елементи.