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


Определе́ние, дефини́ция (лат. definitio — предел, граница) — предложение, описывающее смысл слова или фразы; логическая операция, раскрывающая (приписывающая) сущность имени посредством выделения принадлежности к определённому понятию (родовому понятию, генусу, классу) и указания отличительной особенности имени в том классе, в котором оно определено (видовое отличие). Таким образом, определение состоит из родового понятия и видового отличия, или определителя (дифферента).

Согласно Бочарову В. А. и Маркину В. И, определение — это логическая процедура, состоящая в придании строго фиксированного смысла языковым выражениям (терминам языка). [1]

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

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

Экстенсиональные определения могут быть прямыми (когда все объекты указаны явно) или косвенными. Прямое экстенсиональное определение иногда называют перечислительным определением. Перечислительные определения возможны только для конечных множеств и удобны только для сравнительно небольших множеств.

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