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

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Дефиниция»)
Перейти к: навигация, поиск

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

Виды[править | править вики-текст]

Интенсиональные определения[править | править вики-текст]

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

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

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

Реальные и номинальные определения[править | править вики-текст]

Общее представление об определении строится на том, что оно понимается как суждение, выражающее суть бытия вещи. Согласно Аристотелю, существенные свойства объекта составляют его «сущность» (τò τí ėστι), и, соответственно, входят в содержание его определения[2].

Представление о том, что определение должно выражать суть вещи, впоследствии приводит к разделению на номинальную и реальную сущность. Во Второй Аналитике в этой связи Аристотель приводит аргумент, демонстрирующий, что определение может объяснять либо существование вещи, либо ее сущность: значение имени вещи (Аристотель приводит пример — «козлоолень») может быть доступно нашему пониманию и без знания «сущности» этой вещи, которую этот термин обозначал, если бы такая вещь существовала[3]. Этим объясняется введенное средневековыми схоластами разделение между так называемой quid nominis или «чтойностью имени», и лежащей в основе всего сущего природой, quid rei или «чтойностью вещей» (ранние нововременные философы такие, как Локк, использовали соответствующие английские обозначения «номинальная сущность» или «реальная сущность»). Слово «хоббит» является довольно показательным примером в этом отношении. Оно обладает quid nominis, однако никому неизвестна реальная природа хоббитов, их quid rei. В противовес, наименование «человек» обозначает реальный объект (человека) и имеет определённую quid rei. Таким образом, значение имени отлично от реальной сущности вещи, которой последняя должна обладать, чтобы соответствовать своему наименованию.

Это различение приводит к соответствующему разделению на номинальные и реальные определения. Номинальное определение является определением, объясняющим значение наименования, то есть таким, которое утверждает, что есть «номинальная сущность». Реальное определение, в противоположность, выражает реальную природу вещи — что она (эта вещь) есть.

В логике номинальное определение — это определение, посредством которого формулируется значение некоторого знакового выражения (Dfd) («Термином „пятиугольник“ мы будем обозначать многоугольники с пятью сторонами»). Реальное определение — это определение, с помощью которого объект (Dfd) (реальный или абстрактный) выделяется из других, смежных с ним объектов, по некоторому отличительному признаку («Пятиугольник — это многоугольник с пятью сторонами»). Номинальные и реальные определения взаимопереводимы; при этом, содержательная информация в каждом определении не меняется, то есть не изменяются существенные признаки, через которые определяется понятие[4].

Явные определения[править | править вики-текст]

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

Генетическое определение[править | править вики-текст]

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

Неявные определения[править | править вики-текст]

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

Аксиоматическое определение[править | править вики-текст]

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

Индуктивное (рекурсивное) определение[править | править вики-текст]

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

Контекстуальное определение[править | править вики-текст]

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

Остенсивное «определение»[править | править вики-текст]

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

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

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

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

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

См. также[править | править вики-текст]

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

Примечания[править | править вики-текст]

  1. Бочаров В. А. Определение //Новая философская энциклопедия. — М.: Мысль, 2000.
  2. Аристотель. Вторая Аналитика, гл.4. — гл. 4.
  3. Аристотель. Вторая Аналитика, Г.7..
  4. Краткий словарь по логике / под ред. Горский Д.П. и др.. — М.: Просвещение, 1991. — С. 132-133. — 208 с.