Логическая операция, раскрывающая содержание понятия, называется определением или дефиницией. Понятие, содержание которого надо раскрыть, называется определяемым (дефиниендум); понятие, раскрывающее содержание определяемого понятия, — определяющим (дефиниенс). В логике существуют номинальные и реальные определения. Номинальное определение — взамен описания какого-либо предмета вводится новый термин (имя), объясняется значение термина, его происхождение и т. п. («Термин «юридический» означает относящийся к правоведению, правовой»). Реальное определение раскрывает существенные признаки предмета («Улика — доказательство виновности обвиняемого в совершении преступления»).
В логике различают также явные и неявные определения. К явным относятся определения, раскрывающие существенные признаки предмета. Они состоят из определяемого и определяющего понятий. Выделим следующие:
Определение через род и видовое отличие, где определяющее раскрывается через родовое понятие к определяемому и его видовые отличия. («Кража — тайное похищение (род) личного имущества (вид) граждан»).
Генетическое определение указывает на происхождение предмета, на способ его образования. («Шар есть геометрическое тело, образованное вращением круга вокруг одного из своих диаметров»).
Неявные определения. Вышеназванные приемы определения иногда неприменимы. В этих случаях дают иные определения.
А. Определение через указание на отношение предмета к своей противоположности («Свобода — познанная необходимость).
Б. Контекстуальное определение — содержание понятия раскрывается в некотором контексте. К приемам, заменяющим определение, относятся описание, характеристика, сравнение, различение и остенсивное определение. Последнее означает определение, устанавливающее значение термина путем демонстрации предмета, обозначаемого этим понятием (например, демонстрация приборов, орудий и т. п. при ознакомлении с криминалистической техникой).