В логике различаются несколько вводов определений. Они подразделяются на явные и неявные. Явным называется определение, в котором определяемое понятие синтаксически совпадает с Dfd и непосредственно приравнивается к значению Dfn.
Среди явных определений наиболее известно классическое определение. Оно строится по схеме: «А есть В и С», где A Dfd, В и С — Dfn, «есть» — дефинитивная связка. При этом В является родовым именем но отношению к А (А В), а С фиксирует отличительный признак, которым А выделяется среди видов, подчиненных В. Классическое определение сводится к определению через род и видовое отличие. Есть также генетические (или индуктивные — в другой терминологии) определения, описывающие предметы в соответствии со способами их образования, возникновения, построения (Берков В., Терлюкович П.). Однако не всякому понятию определение дается в явном виде. В частности, многие математические понятия не определяются явно. Здесь используется, например, система аксиом.
Определения через отношение к противоположному. Эти определения широко распространены в философии. В них определяются сразу два термина путем указания отношения предметов, обозначаемых одним термином, к предметам, обозначаемым другим термином. Приведем пример: «причина — это явление, которое при определенных условиях обязательно вызывает другое явление, называемое следствием».
Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. Например, «Предложение «р» истинно, если и только если р». Контекстуальные определения имеют форму: К(а) = Т, где а — определяемое выражение (в приведенном выше примере «быть истинным»), входящее в сложное выражение К(а). (Если в качестве дефиниендума рассматривать все выражение К(а), то это определение можно будет считать явным.).
Определение требует выполнения ряда правил:
1. Правило соразмерности. Dfd и Dfn должны быть равнообъемны. Выполнение этого правила позволяет взаимозаменять Dfd и Dfn в одних и тех же контекстах. Отклонение от правила соразмерности приводит к различного рода дефектам. Если объем Dfn больше объема Dfd, то говорят об ошибке «слишком широкого определения». В случаях, если объем Dfn меньше объема Dfd, имеет место ошибка «слишком узкого определения».
2. Правило запрета порочного круга. Запрещается Dfd определять через Dfn, который в свою очередь определен через Dfd. Допускаемое при этом нарушение называется «порочный круг в определении». Частным случаем «порочного круга» является тавтология - повторение Dfd в Dfn.