Определение - онлайн головоломки

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

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

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

Дефидент (Dfd) — термин, над которым проводится дефиниция.