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