Дефініція (Лат. definitio - визначення) - логічна операція:
1) розкриває зміст (сенс) імені допомогою опису істотних і відмінних ознак предметів чи явищ, що позначаються даними ім'ям (денотата імені);
2) есплікується значення терміна. У процесі дефінірованія терміну повинен бути безпосередньо прописаний в якості його значення або екстенсіонал (об'єкт), або інтенсионал (ознака). Якщо термін явно не поєднана ні з об'єктами, ні з ознаками, він залишається символом, які не мають семантичного значення. Визначити термін, значить встановити межі його застосування.
Сувора його дефініція складається з двох частин: дефінієндум (Dfd) - визначається імені, і дефініенс (Dfn) - визначального вирази, розкриває сенс визначається імені або встановлює значення терміна. Дефінієндум і дефиниенс повинні знаходитися у відношенні тотожності, тобто мати один і той же денотат, і бути взаємозамінними.
Дефініції ділять по різних підставах:
1) по виконуваної функції - на реальні (визначення предметів, явищ) і номінальні (введення нових мовних форм - термінів);
2) за способом розкриття змісту - на явні (Вказуються ознаки, властиві предмету або явищу) і неявні (Виявляються відносини, в яких знаходиться визначається предмет, явище з іншими предметами, явищами). Явні дефініції можуть бути представлені у вигляді рівності, в якому обумовлена частина еквівалентна за обсягом визначальною частини.
Розрізняють такі види явних дефініцій:
1) атрибутивно-реляційні, в яких вказується найближче родове відмінність і видовий ознака, властивий тільки даному виду (наприклад, «квадрат - ромб з прямими кутами»);
2) генетичні, в яких вказується походження або спосіб конструювання об'єкта, що позначається визначеним ім'ям (наприклад, «сфера - просторова поверхню, яку описує півколо при обертанні її навколо діаметра»);
3) операціональні, в яких, як видовий характеристики об'єктів виступає вказівка на деяку операцію, за допомогою якої ці об'єкти можуть бути виявлені і позначено їх відмінність від інших предметів (наприклад, «кислота - речовина, окрашивающее лакмус в червоний колір»).
Неявні дефініції не мають чітко вираженої структури, внаслідок чого відсутній спосіб елімінації дефінієндум з того чи іншого контексту (наприклад, матричне визначення логічних операцій в численні висловів та ін.).
До числа неявних дефініцій відносяться:
1) аксіоматичні (наприклад, в математичній логіці - визначення формули в численні висловів) - 2) контекстуальні (наприклад, можливість з'ясувати зміст поняття, не вдаючись до тлумачного словника, а через пропонований контекст);
3) рекурсивні (наприклад, визначення математичного ряду чисел Фібоначчі допомогою рекурсивної (поворотної) функції, в якому кожне наступне число дорівнює сумі двох попередніх чисел: 1, 1, 2, 3, 5, 8 і т.д.);
4) індуктивні (наприклад, в математиці визначення поняття «натуральне число»). [С. В. Воробйова «Філософський словник»]
Джерела: