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