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

Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей.

У этого термина существуют и другие значения, см. Определение.

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

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

Виды

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

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

 — описание свойств, характеристик объектов, выделяющих определяемое в сравнении с другими объектами соответственно;

 — пояснения смысла термина указанием правил выделения его среди прочего;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Определение предмета путём указания на него, или демонстрации самого предмета.

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

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

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

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

См. также

В Викисловаре есть статья «определение»

• Множество

Примечания

1. ↑ Бочаров В. А. Определение //Новая философская энциклопедия. — М.: Мысль, 2000.

Для улучшения этой статьи желательно?: Исправить статью согласно стилистическим правилам Википедии. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Викифицировать статью.