Определение (логика)
Эта статья или раздел нуждается в переработке. |
Определе́ние, дефини́ция (лат. definitio — предел, граница) — логическая процедура придания строго фиксированного смысла терминам языка[1]. Термин, над которым проводится операция дефиниции, называется дефидентом.
Виды
[править | править код]Интенсиональное определение
[править | править код]Должно содержать:
- описание свойств, характеристик объектов, выделяющих определяемое в сравнении с другими объектами соответственно;
- пояснения смысла термина указанием правил выделения его среди прочего;
- указание ближайшего понятия и отличительных признаков по сравнению с другими определениями других понятий.
К интенсиональному виду определений относятся собирательное и представительное определения.
Реальное определение
[править | править код]Отображает существенные признаки, свойства и характеристики объекта с целью формирования отличий от других объектов.
Аксиоматическое определение
[править | править код]Является фундаментальным, строится из суждений (логических выражений) как (конъюнктивная) совокупность утверждений, содержащих определяемое и определяющие понятия в этих утверждениях.
Номинальное определение
[править | править код]Определяет термин, обозначающий понятие, с помощью номинальных определений вводятся новые термины, вводятся знаки, обозначающие термины.
Явное определение
[править | править код]Когда даны дефидент и дефиниция, и между ними устанавливается отношение равенства. Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет «прибор». (напр. «барометр — это прибор для измерения атмосферного давления»)
Неявное определение
[править | править код]На место дефиниции подставляется контекст или набор аксиом.
Генетическое определение
[править | править код]Определение предмета путём указания на способ, которым образуется только данный предмет и никакой другой. Пример: «кислоты — это вещества, образующиеся из кислотных остатков и атомов водорода».
Контекстуальное определение
[править | править код]Позволяет понять незнакомое слово через контекст (уравнение).
Индуктивное (рекурсивное) определение
[править | править код]Дефидент используется в выражении понятия, которое ему приписывается в качестве его смысла (см.: «натуральное число»).
Остенсивное «определение»
[править | править код]Определение предмета путём указания на него, или демонстрации самого предмета. Однако стоит заметить, что остенсивные «определения» определениями вовсе и не являются[источник не указан 2737 дней], поскольку совершаются на дологическом уровне.
Правила дефиниции
[править | править код]- Соразмерность дефидента и дефиниции. Пример ошибки:
- Широкое определение «Лошадь — млекопитающее и позвоночное животное».
- Узкое определение «Совесть — это осознание человеком ответственности перед самим собой за совершённые поступки».
- И широкое и узкое одновременно «Бочка — это сосуд для хранения жидкостей».
- Определение не должно содержать круга — когда дефиниция определяется через дефидент, а дефидент был определён через дефиницию. Пример ошибки:
- «Халатность заключается в том, что человек халатно относится к своим обязанностям» (см.: Тавтология).
- Чёткость и ясность — определения не должны быть двусмысленными, не допускаются метафоры и сравнения. Пример ошибки:
- «Лев — царь зверей».
- Родовой признак должен указывать на ближайшее широкое понятие, не перескакивая через него.
- Видовым различием должен быть признак или группа признаков, присущих лишь данному понятию и отсутствующих у других понятий этого рода.
- По возможности определение не должно быть негативным и вообще предвзятым.
Следует отличать определение от других действий, не раскрывающих полностью суть понятия:
- описание — перечисление отличительных внешних признаков, способствующих выделению среди остальных
- характеристика — перечисление самых важных признаков
- сравнение — фиксирование факта совпадения или несовпадения признаков между объектами
- демонстрация — ознакомление с понятием выяснением его рода или класса
См. также
[править | править код]Примечания
[править | править код]- ↑ Бочаров В. А. Определение //Новая философская энциклопедия. — М.: Мысль, 2000.
Для улучшения этой статьи желательно:
|