Определение (логика)

Для термина «Неопределённость» см. также другие значения.

Определе́ние, дефини́ция (лат. definitio — предел, граница) — логическая процедура придания строго фиксированного смысла терминам языка. Термин, над которым проводится операция дефиниции, называется дефидентом.

Виды

Интенсиональное определение

Должно содержать:

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

К интенсиональному виду определений относятся собирательное и представительное определения.

Реальное определение

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

Аксиоматическое определение

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

Номинальное определение

Определяет термин, обозначающий понятие, с помощью номинальных определений вводятся новые термины, вводятся знаки, обозначающие термины.

Явное определение

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

Неявное определение

На место дефиниции подставляется контекст или набор аксиом.

Генетическое определение

Определение предмета путём указания на способ, которым образуется только данный предмет и никакой другой. Пример: «кислоты — это вещества, образующиеся из кислотных остатков и атомов водорода».

Контекстуальное определение

Позволяет понять незнакомое слово через контекст (уравнение).

Индуктивное (рекурсивное) определение

Дефидент используется в выражении понятия, которое ему приписывается в качестве его смысла (см.: «натуральное число»).

Остенсивное «определение»

Основная статья: Остенсивное определение

Определение предмета путём указания на него, или демонстрации самого предмета. Однако стоит заметить, что остенсивные «определения» определениями вовсе и не являются, поскольку совершаются на дологическом уровне.

Правила дефиниции

• Соразмерность дефидента и дефиниции. Пример ошибки:
  • Широкое определение «Лошадь — млекопитающее и позвоночное животное».
  • Узкое определение «Совесть — это осознание человеком ответственности перед самим собой за совершённые поступки».
  • И широкое и узкое одновременно «Бочка — это сосуд для хранения жидкостей».
• Определение не должно содержать круга — когда дефиниция определяется через дефидент, а дефидент был определён через дефиницию. Пример ошибки:
  • «Халатность заключается в том, что человек халатно относится к своим обязанностям» (см.: Тавтология).
• Чёткость и ясность — определения не должны быть двусмысленными, не допускаются метафоры и сравнения. Пример ошибки:
  • «Лев — царь зверей».
• Родовой признак должен указывать на ближайшее широкое понятие, не перескакивая через него.
• Видовым различием должен быть признак или группа признаков, присущих лишь данному понятию и отсутствующих у других понятий этого рода.
• По возможности определение не должно быть негативным и вообще предвзятым.

Следует отличать определение от других действий, не раскрывающих полностью суть понятия:

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

См. также

• Множество