Определение (дефиниция) естьт логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина. Структура - dfd (определяемое понятие) и dfn (определяющее понятие).
Реальное определение - когда определяется понятие. Номинальное - определяется термин, обозначающий понятие, с помощью номинальных определений вводятся новые термины, вводятся знаки, обозначающие термины. Явные определения - это когда даны дфд и дфн и между ними устанавливается отношение равенства “барометр - это прибор для изменения атмосферного давления”. Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет “прибор”. Генетическое определение - определение предмета путем указания на способ , которым образуется только данный предмет и никакой другой “кислоты - это вещества, образующиеся из кислотных остатков и атомов водорода”. Неявные определения - на место dfn подставляется контекст или набор аксиом.
Кнтекстуальное определение позволяет понять незнакомоен слово через контекст (уравнение).