Определе'ние
, несамостоятельный член предложения, грамматически подчинённый существительному (или имени — в языках без грамматический дифференциации имён) и указывающий на признак предмета, явления и т.п. О. может быть (в русском, немецком, латинском и многих др. индоевропейских языках, в арабском, банту и пр.) согласуемым («большой город», «наш сад») и несогласуемым («дом с мезонином», немецком das Buch des Genossen — «книга товарища»). В некоторых языках (семитских, тюркских и др.) присоединение О. (соответствующего русскому О. в родительном падеже) к имени требует морфологического изменения определяемого слова (т. н. изафетная конструкция). Особым видом О. является приложение.Определение (объяснение значения)
Определе'ние
, дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином Поскольку указание на предмет (или класс предметов), характерное для остенсивного О., может быть дано и в чисто словесной форме (с помощью указательных местоимений, описаний и т.п.), такие языковые конструкции естественно причислить к тому же классу О. Но подавляющее большинство О., в которых и Dfd и Dfn имеют языковую природу, определяют значения некоторых выражений (Dfd) через значения др. выражений (Dfn), принимаемые (в рамках данного О.) за известные. Такие О. называются вербальными; каждое из них представляет собой предложение некоторого языка (совокупность предложений сложного О. всегда можно считать одним сложным предложением). Посредством вербальных О. вводятся новые термины или поясняются значения терминов, введённых ранее; в обоих случаях такое О. называется номинальным Если же имеется в виду, что определяется не сам по себе термин, а обозначаемый им предмет или понятие (его детонат — см.
До сих пор речь шла о явных (иначе — эксплицитных) О., позволяющих не только вводить Dfd в качестве «сокращения» для Dfn в любой контекст, но и, наоборот, в случае надобности, удалять из произвольного контекста Dfd, «расшифровывая» его посредством Dfn. Классическим примером О. такого рода могут служить рассмотренные ещё
Но особенно важны случаи, когда неявный характер О. неустраним; именно так обстоит дело в аксиоматических теориях, аксиомы которых неявно определяют входящие в них исходные термины данной теории (см.