Визначити термін - значить встановити межі його застосування. Сувора його дефініція складається з двох частин: дефінієндум (dfd) - визначається імені, і дефініенс (dfn) - визначає вираження, який розкриває зміст визначається імені або встановлює значення терміна. Дефінієндум і дефиниенс повинні знаходитися у відношенні тотожності. тобто мати один і той же денотат, і бути взаємозамінними.
Дефініції ділять по різних підставах, зокрема за способом розкриття змісту - на явні (вказуються ознаки, властиві предмету або явищу) і неявні (виявляються відносини, в яких знаходиться визначається предмет, явище з іншими предметами, явищами).
Явні дефініції можуть бути представлені у вигляді рівності, в якому обумовлена частина еквівалентна за обсягом визначальною частини. Вони задаються лінгвістичної конструкцією виду: A ↔ B. Кожна така конструкція містить чотири частини: A називається визначається частиною, B - визначальною частиною, знак «↔» вказує, що вираз A означає те ж саме, що і вираз B. У випадках конкретних явних визначень замість знака «↔» пишеться або знак «Df» (читається: «одно по дефініції»), або знак «≡ Df» (читається: «еквівалентно по дефініції»). Перший знак вживається в тому випадку, коли обумовлена частина A є іменний конструкцією, а другий в тому випадку, коли A - висказивательной конструкція. В визначається частини A. яке може бути складним виразом, завжди присутній деякий термін, який і є метою визначення. Цей термін називається визначеним терміном. В явних визначеннях визначеним терміном є та мінімальна частина визначається вираження A. яка не зустрічається в визначальною частини.
- Атрибутивно-реляційні дефініції. в яких вказується найближче родове відмінність і видовий ознака, властивий тільки даному виду (наприклад, «квадрат - це ромб з прямими кутами»).
- Генетичні дефініції. в яких вказується походження або спосіб конструювання об'єкта, що позначається визначеним ім'ям (наприклад, «сфера - просторова поверхню, яку описує півколо при обертанні її навколо діаметра»).
- Цільові дефініції. в яких вказується на те, як використовується визначається об'єкт, які функції він виконує, для досягнення яких цілей він застосовується.
- Кваліфікуючі дефініції. в яких фіксуються, що визначається об'єкт являє собою, тобто фіксуються якісь його структурні особливості, атрибути, а також особливості зовнішнього вигляду.
- Перечислительного дефініції. в яких просто перераховуються ті об'єкти, які підпадають під кожний термін.
- Операціональні дефініції. в яких, як видовий характеристики об'єктів виступає вказівку на деяку операцію, за допомогою якої ці об'єкти можуть бути виявлені і позначено їх відміну від інших предметів (наприклад, «кислота - речовина, окрашивающее лакмус в червоний колір»).
Явні дефініції мають однією важливою властивістю - визначаються і визначають частини можуть в будь-якому контексті заміщатися один на одного, тобто для них вірно правило заміни по дефініції.
Неявні дефініції не мають чітко вираженої структури, внаслідок чого відсутній спосіб елімінації дефінієндум з того чи іншого контексту (наприклад, матричний визначення логічних операцій в обчисленні висловлювань та інші). Вони задаються лінгвістичної конструкцією виду: A є те, що задовольняє умовам: B1. В 2. ... Βn.
До числа неявних дефініцій відносяться:
Для всіх неявних дефініцій мають місце такі особливості:
- Умови B1. В 2. ... Βn є пропозиціями.
- Кожний термін - це те мінімальне вираження, яке входить в кожне визначальна умова B1. В 2. ... Βn. що ні тягне проте тавтологічні дефініцій, так як в дефініціях цього сорту визначальна частина (умови B1. В2. ... Βn) НЕ прирівнюється висловом A.
- В силу сказаного для неявних дефініцій не діє правило заміни по дефініції.
Залежно від виконуваної функції дефініції діляться на:
- Реальні дефініції. що визначають предмети і явища. Визначення вважається реальним, якщо значенням визначається терміна є реально (матеріально) існуючі предмети або їх характеристики (властивості і відносини). Реальне визначення вирішує завдання освіти поняття про предмети, що входять в обсяг визначається терміна, тобто завдання виділення загального і відмінного ознак цих предметів.
- Номінальні дефініції. вводять нові мовні форми - терміни. Визначення вважається номінальним (утворено від латинського слова: nomen - назва, ім'я), якщо значенням визначається терміна є предмети реально (матеріально) не існують, а також їх характеристики. Воно використовується в ситуаціях, коли термін вводиться в мовної контекст як скорочена назва для об'єктів певного типу або ж коли існує кілька смислових трактувань визначається терміна і необхідно домовиться, яка з них приймається в даному контексті.
Залежно від мети виконуваної процедури дефініції діляться на:
- Реєструють дефініції. фіксують (констатують) відоме значення деякого терміну без змін.
- Уточнюючі дефініції. коригувальні (регулюють) сенс терміна шляхом приписи значення.
- Постулює дефініції. за допомогою якої вводяться нові наукові терміни або позначаються нововідкриті явища, створені предмети і так далі.
Майже всі дефініції відносяться до числа родо-видових, тобто до визначень через вказівку на рід і видову відмінність, так як при формальної записи визначень майже будь-яка дефініція містить деякі змінні, що пробігають по якомусь універсуму. Останній якраз і є тим родом, всередині якого за допомогою видового відмінності виділяються визначаються об'єкти. Однак серед визначень є і такі, які не можна віднести до родо-видовим. Це так звані фундаментальні індуктивні визначення. Справа полягає в тому, що характеристика деякого визначення як родо-видового передбачає, що рід вже є і тому залишається тільки за допомогою видового відмінності в цьому роді виділити клас визначаються предметів. Однак фундаментальні індуктивні визначення не передбачають ніякого заздалегідь даного універсуму, навпаки, вони самі будують універсум міркування. Прикладом фундаментального визначення може служити розглянуте вище визначення натурального числа.
До дефініцій пред'являються різного роду вимоги, дотримання яких гарантує коректність цієї логічної операції. Дефініція як логічна операція повинна відповідати чотирьом основним правилам:
У повсякденній розмовній практиці словниковий запас мови зазвичай використовується на інтуїтивному рівні. Подібна ситуація в силу наявності у людей різної інтуїції часто веде до взаємного нерозуміння і навіть непорозумінь. Тому існує нагальна потреба в уточненні значень термінів. Саме цю функцію і виконують визначення, за допомогою яких терміни отримують деяку однозначну стандартну трактування.
Особливо велике значення чіткої та однозначної термінології в наукових дослідженнях, де питання про визначення приділяється пильна увага. Визначення є невід'ємним елементом наукових теорій, так як дозволяють сформувати чіткий понятійний і термінологічний каркас цих систем знання. Вони широко використовуються в процесі побудови доказів теоретичних положень, встановлення відносин між різними теоріями і так далі. При цьому для вирішення різних наукових завдань одного й того ж терміну можуть ставитися у відповідність різні смисли. Так, в повсякденній практиці смислові трактування використовуваних співрозмовниками термінів часто строго фіксуються тільки на момент ведення [аргументативної] бесіди і не більше того, оскільки саме в аргументатівного процесах надзвичайно важлива узгодженість «полів аргументації» опонентів, і перш за все - смислових трактувань використовуваних ними термінів. І навіть в сфері науки, де термінам прагнуть надати стійкі, фіксовані смисли, нерідко виникають ситуації, які вимагають уточнення або перевизначення вже раніше визначених термінів. Останнє є наслідком постійного розвитку та уточнення наукового знання, відповідно до чого трансформуються і визначення наукових термінів.
Будь-яке визначення, незалежно від цілей і способів його введення, є констатацію наявності відповідності між мовним вираженням і його змістом. Такого роду констатації завжди є конвенціями (угодами) про вживання деякого терміну. Тому визначення не є пропозиціями і їм не можна приписувати властивості «бути істинним» або «бути помилковим». Можна лише говорити про те, чи виконує ту чи іншу визначення свою функцію, досягає або не досягає поставлених цілей.