Логика. Краткий курс - стр. 12

Реальными являются определения, в которых придается точный смысл выражениям, значения которых известны. Номинальные определения от реальных можно отличить лишь по контекстам, в которых они употребляются, если определения не содержат таких слов, как «будем употреблять то-то выражение в таком-то смысле» и т. д.

Номинальные определения ранее называли определениями названий, слов, а реальные – определениями вещей. В случае реального определения, например, слова «человек», можно говорить об определении человека, то есть ответить на вопрос «Что такое человек?».

Определения делятся на номинальные и реальные по той функции, которую они выполняют в познании. Определения делятся также на два вида по форме. Этими видами являются явные и неявные определения.

Явными называются определения, которые имеют структуру: «А есть В» или «А, если и только если, В», где А – определяемое выражение, а В – определяющее. Определяемое выражение называется дефиниендумом (от лат. definiendum, сокращенно: dfd), а определяющее – дефиниенсом (от лат. definiens, сокращенно dfn).

Неявные определения такой формы не имеют.

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

Явные определения. Определяемыми выражениями в явных определениях могут быть выражения типа (1) единичных имен, (2) общих имен; (3) предметных функторов; (4) знаков свойств и отношений; (5) знаков признаков; (5) предложений.

Если использовать указанные сокращения определяемого и определяющего выражений, то определение можно представить так: dfd –_>df dfn. Читается: «dfd есть то же самое, что и dfn», или «dfd тождественно по определению (по дефиниции) dfn».

Примеры:

(1) «Логика – наука о формах мыслей и об отношениях между мыслями по логическим формам». (Определение единичного имени.)

(2) «Вердикт – решение о виновности или невиновности подсудимого, вынесенное коллегией присяжных заседателей». (Определение общего имени.)

(3) «Вес – то общее, что есть у всех тел, которые притягиваются к Земле с одной и той же силой (уравновешиваются на весах)». (Определение знака предметной функции.)

(4) «Быть студентом – учиться в высшем учебном заведении гражданского типа». (Определение знака признака.)

(5) «“Петров Павел – студент” означает, что Петров Павел учится в высшем гражданском учебном заведении». (Определение предложения.)

Наиболее распространенными явными определениями являются определения имен, называемые определениями через (ближайший) родивидовое отличие, которые в свою очередь делятся на (а)