дефиниция (лат. definitio — определение) — логическая операция: 1) раскрывающая содержание (смысл) имени посредством описания существенных и отличительных признаков предметов или явлений, обозначаемых данным именем (денотата имени); 2) эксплицирующая значение термина. В процессе дефинирования термину должен быть непосредственно прописан в качестве его значения либо экстенсионал (объект), либо интенсионал (признак). Если термин явно не соотнесен ни с объектами, ни с признаками, он остается символом, не имеющим семантического значения. Определить термин, значит установить границы его применения. Строгая его дефиниция состоит из двух частей: дефиниендума (dfd) — определяемого имени, и дефиниенса (dfn) — определяющего выражения, раскрывающего смысл определяемого имени либо устанавливающего значение термина. Дефиниендум и дефиниенс должны находиться в отношении тождества, т.е. иметь один и тот же денотат, и быть взаимозаменяемыми. Дефиниции делят по разным основаниям: 1) по выполняемой функции — на реальные (определение предметов, явлений) и номинальные (введение новых языковых форм — терминов); 2) по способу раскрытия содержания — на явные (указываются признаки, присущие предмету или явлению) и неявные (выявляются отношения, в которых находится определяемый предмет, явление с другими предметами, явлениями). Явные дефиниции могут быть представлены в виде равенства, в котором определяемая часть эквивалентна по объему определяющей части. Различают следующие виды явных дефиниций: 1) атрибутивно-реляционные, в которых указывается ближайшее родовое отличие и видовой признак, присущий только данному виду (например, «квадрат — ромб с прямыми углами»); 2) генетические, в которых указывается происхождение или способ конструирования объекта, обозначаемого определяемым именем (например, «сфера — пространственная поверхность, которую описывает полуокружность при вращении ее вокруг диаметра»); 3) операциональные, в которых, в качестве видовой характеристики объектов выступает указание на некоторую операцию, посредством которой эти объекты могут быть обнаружены и обозначено их отличие от других предметов (например, «кислота — вещество, окрашивающее лакмус в красный цвет»). Неявные дефиниции не имеют четко выраженной структуры, вследствие чего отсутствует способ элиминации дефиниендума из того или иного контекста (например, матричное определение логических операций в исчислении высказываний и др.). К числу неявных дефиниций относятся: 1) аксиоматические (например, в математической логике — определение формулы в исчислении высказываний); 2) контекстуальные (например, возможность выяснить содержание понятия, не прибегая к толковому словарю, а через предлагаемый контекст); 3) рекурсивные (например, определение математического ряда чисел Фибоначчи посредством рекурсивной (возвратной) функции, в котором каждое последующее число равно сумме двух предыдущих чисел: 1, 1, 2, 3, 5, 8 и т.д.); 4) индуктивные (например, в математике определение понятия «натуральное число»).