Определение (логика)
[править]
Материал из Википедии — свободной энциклопедии
Nuvola apps important recycle.svg
Эта статья или раздел нуждается в переработке.
Пожалуйста, улучшите статью в соответствии с правилами написания статей.

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

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

1 Виды
2 Правила дефиниции
3 См. также
4 Примечания

[править] Виды

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

Прошивка магнитолы Geely Atlas Прошивка магнитолы Geely Coolray Прошивка магнитолы Geely Atlas Pro Прошивка магнитолы Geely Tugella К интенсиональному виду определений относятся собирательное и представительное определения.

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

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

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

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

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

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

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

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

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

[править] Правила дефиниции

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

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

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