В современной науке различают термины «определение» и «дефиниция».

Определение - исследовательский логический процесс выявления и оптимизации набора существенных признаков понятия (раскрытие содержания понятия).

Дефиниция (от лат. definitio - ограничение) - формулированное в явной и сжатой форме основное содержание понятия (результат определения, выступающий в виде текста, в котором сформулированы существенные признаки понятия в виде связной фразы).

Дефиниции делят по разным основаниям:

• по выполняемой функции - на реальные (для предметов, явлений) и номинальные (введение новых языковых форм - терминов);

• по способу раскрытия содержания - на явные (указываются признаки, присущие предмету или явлению) и неявные (выявляются отношения, в которых находится определяемый предмет с другими предметами).

Явные дефиниции могут быть представлены в виде равенства, в котором .

Виды явных дефиниций:

• атрибутивно-реляционные, в которых указывается ближайший (более широкий) род ("genus proximum") и "видовое отличие" ("differentia specifica"). Например, квадрат - ромб с прямыми углами;

• генетические, в которых указывается происхождение или способ конструирования объекта, обозначаемого определяемым именем. Например, сфера - пространственная поверхность, которую описывает полуокружность при вращении ее вокруг диаметра;

• операциональные, в которых, в качестве видовой характеристики объектов выступает указание на некоторую операцию, посредством которой эти объекты могут быть обнаружены и обозначено их отличие от других предметов. Например, кислота - вещество, окрашивающее лакмус в красный цвет.

Дефидент - термин, над которым проводится операция дефиниции.

В процессе дефинирования термину должен быть непосредственно прописан в качестве его значения либо экстенсионал (объект), либо интенсионал (признак). Если термин явно не соотнесен ни с объектами, ни с признаками, он остается символом, не имеющим семантического значения.

Параметрическая общая теория систем — один из вариантов общей теории систем, разработанный Авениром Ивановичем Уемовым и его философской школой. В рамках параметрической общей теории систем удалось выявить системные закономерности, позволяющие предсказывать поведение систем различных видов. Для параметрической общей теории систем школой А. И. Уемова был разработан формальный аппарат — Язык тернарного описания (ЯТО).

Авенир Иванович Уёмов (4 апреля 1928, Поречье, Ивановская область — 29 мая 2012, Одесса) — советский и украинский философ, специалист по логике, методологии науки и теории систем, создатель теории выводов по аналогии, одного из вариантов неклассической логики — «языка тернарного описания», параметрической общей теории систем.

Язык тернарного описания (ЯТО) является логическим формализмом, разработанным А.И. Уемовым с целью определения понятий на основе двух триад категорий:

• {Вещь, Свойство, Отношение – ВСО}

• {Определенное, Неопределенное, Произвольное – ОНП}.

Вещь — одна из основных онтологических категорий, отдельный объект материального мира, обладающий относительной независимостью, объективностью и устойчивостью существования. Выражением собственных характеристик вещи являются её свойства (структурные, функциональные, ачественные и количественные) и отношения с другими вещами.

Свойство — атрибут предмета (объекта). Например, о красном предмете говорится, что он обладает свойством «красноты». Свойство можно рассматривать как форму предмета самого по себе, притом, что он может обладать и другими свойствами. Свойства, следовательно, подпадают под действие парадокса Рассела и парадокса Греллинга-Нельсона.

Отношение — то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов (пропозициональная функция от двух или большего числа переменных).

Отношения вещей и явлений друг к другу бесконечно многообразны: пространственные и временные, причинно-следственные, части и целого, формы и содержания, внешнего и внутреннего и др.

Пропози́ция (лат. propositio — основное положение, предпосылка, предмет, тема) — семантический инвариант, неизменный для языковых конструкций, производных от предложения (модальной, коммуникативной парадигмы и др.).

В структуре пропозиции выделяют два типа составляющих:

• термы или имена которые отражают предметы, лица, явления и т. п., в общем случае — сущности; могут быть: актантами (аргументами) предиката — обозначают обязательных участников ситуации; не-актантами. Актанты по семантической роли могут быть агентивы (производители действия), объективы (объекты действия), инструменты и т. д.

• предикаты отображающие свойства сущностей и отношение между ними. Предикаты отличаются друг от друга количеством аргументов (одноместные, двухместные, трехместные, редко более трех) и порядком. Предикаты первого порядка в качестве аргументов используют только термы, более высокого порядка — могут использовать другие предикаты. Предикаты В свою очередь,

В ЯТО применяется деление всех имен языка по трем категориям неопределенности.

Вначале вводятся три примитивных имени:

• t обозначает «определенный» предмет (или: «заданный», «фиксированный» предмет);

• a – «неопределенный» («какой-то») предмет;

• A – «произвольный» («какой угодно, любой») предмет.

Приведенные выше примеры формул, таким образом, читаются так:

• (A)t – «произвольный предмет имеет фиксированное свойство»;

• a(t) – «определенному предмету присуще некоторое отношение».

Квадратные скобки в ЯТО обозначают особую операцию «свертывания» суждения в понятие. В натуральном языке ей соответствует преобразование предложения в именную группу, как, например: «Король лыс» – (X)Y; «Лысый король» – [(X)Y].

Из примитивных имен ЯТО строятся сложные имена, каждое из которых имеет свой тип неопределенности.

Типы словарных дефиниций:

• логическая (значение слова определяется через ближайший род и видовое отличие обозначаемого предмета),

• синонимическая (через синонимы или словообразовательные формулы, - возникает опасность потери оттенков значения).

• отсылочная (деривационная).

Логическая дефиниция определяет значение слова путём указания на явление реальной действительности, что сводится к определению родового понятия и набора дифференциальных (различительных) признаков. Родовое понятие обозначает класс индивидуальных явлений (дом, дорога, берёза; деревянный, стальной; спать, лежать, бежать и так далее). Дифференциальные признаки обозначают свойства.

В составе описательной дефиниции выделяются два лексикографических компонента значения: а) собственно описательный, который отражает внешние и внутренние и прочие характеристики явления (внешний вид, размер, объём, устройство, форма, месторасположение, цвет, вкус и др.; лицо, качества, свойства и так далее), и б) функциональный, который отражает назначение данного явления в жизненной практике человека (отношение явления к действиям или поведению человека, отношение данного явления к другому).

Собственно описательные компоненты значения входят в основу словарного определения. Функциональные компоненты значения занимают ту часть семантики дефиниции, где сообщается, зачем и почему используется то или иное явление. Они могут иметь эксплицитное и самостоятельное выражение, но в большинстве случаев они имплицитны и могут быть обнаружены через свои сочетательные свойства (синтагматику) в иллюстративном материале.

Синонимическая дефиниция может вводиться с указанием. Пример словарной дефиниции с синонимическим указанием.

ВРАЧ, –а, м. Специалист с высшим медицинским образованием. В.-терапевт. В.-эпидемиолог. В.-рентгенолог. В.-хирург.
ЛЕКАРЬ, –я, мн. –и, –ей и (устар.) –я, –ей, м. То же, что врач (устар.), а также вообще тот, кто лечит (разг. шутл.). [Толковый словарь русского языка С. И. Ожегова и Н. Ю. Шведовой.c. -237]
Использование синонимической дефиниции считается целесообразным, когда значение малоизвестного или неизвестного слова поясняется более известным или общеупотребительным словом.

Отсылочная (деривационная) дефиниция содержит характеристику мотивирующего значения слова и сохраняет мотивирующие и мотивированные связи значений. Значения мотивированных (производных) слов сохраняют смысловую связь с теми словами, от которых они образованы; это определяется в толковом словаре посредством отсылочной дефиниции типа: см.; относящийся к; действие по знач.; к; (в 1-м знач.).
Особую ценность имеют иллюстрации, которые содержат информацию, позволяющую уточнить дефиницию, охарактеризовать смысловую связь между мотивированным и мотивирующим словами. Можно сравнить дефиниции слов красочный и краска.
КРАСОЧНЫЙ, –ая, –ое; –чен, –чна.
1 см. краска. Петровский открыл ему (художнику) безграничный кредит в красочной лавке: краски, кисти, полотно доставлялись ему в изобилии. Григор.
"Красочная лавка" - историзм, современному читателю практически не известен. Дефиниция прилагательного красочный актуализирует его словообразовательную связь с мотивирующим общеупотребительным существительным:
КРАСКА, –и, ж.
Состав, придающий тот или иной цвет предметам, к-рые им покрываются или пропитываются. Масляные, акварельные краски. Эмалевые, клеевые краски. К. для волос. К. для ткани. [Толковый словарь русского языка С. И. Ожегова и Н. Ю. Шведовой. c. 325]
Это позволяет понять, какой товар находится в красочной лавке, - цитата вносит необходимое уточнение.
Таким образом, иллюстрационный материал (цитаты из произведений и речения) расширяет, презентирует смысловую сферу лексикографической дефиниции. Поэтому в практике составления словарной статьи столь необходим и важен правильный, вдумчивый подбор иллюстрационного материала.