Розділ VIII. Поняття

4. Лінія є діаметром тоді і тільки тоді, коли це відрізок прямої, що проходить через центр кола.

У прикладах 1, 2, 3 Dfd належить до категорії предикаторів, а у прикладі 4 до категорії висловлювань. Dfd у 1 і 2 прикладах представляють одиничні класи, а не окремі елементи. Отже, взаємозамінюваність Dfn на Dfd у реальних дефініціях означає, що вони тотожні як об'єкти однієї семантичної категорії (предикатори).

Як уже зазначалося у номінальних дефініціях Dfd вживається у функції іменування. А це означає, що у цих дефініціях Dfd належить до метамови. Якщо у реальних дефініціях Dfd - у функції репрезентації говорить про предмет, то у номінальних дефініціях Dfd у функції іменування говорить про слово. Наприклад:

1. "Париж" - складається із п'яти букв.

2. Слово "Париж" - чоловічого роду.

3. "Марс" - термін, який позначає планету Сонячної системи.

4. Вираз "автор Кобзаря" - описове ім'я.

Очевидно, що у наведених прикладах Dfd у номінальних дефініціях завжди є термом, а В/н може бути у репрезентативній функції:

1. "Dfd" =Df "Dfn"

2. "Dfd" =Df Dfn.

Перша формула відповідає дефініції: "Борисфен" означає теж саме, що і "Дніпро". Друга - відповідає дефініції: "Словом "геометрична фігура" називають трикутники, квадрати, трапеції тощо".

Після загальних зауважень щодо поділу дефініцій на реальні і номінальні розглянемо конкретні види реальних і номінальних визначень.

До реальних визначень належать:

1. Визначення через рід і найближчу видову відмінність;

2. Визначення через вказівку на протилежність;

3. Генетичне визначення;

4. Операціональне визначення;

5. Індуктивне визначення.

Суть дефініції через рід і видову відмінність полягає в тому, що спочатку знаходять найближче родове поняття для В/й, а потім перераховують характерні видові відмінності.

Наприклад, "Республіка - це форма правління, при якій всі вищі органи державної влади вибираються народом, або формуються загальнонаціональними представницькими установами"; "Автократія - це монархія в якій відсутні справжні представницькі установи" і т.д. Цей вид визначення є найбільш поширеним.