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