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

Номинальные определения – это соглашения или указания относительно смысла вновь вводимых языковых выражений, а также о том, в каком из различных имеющихся смыслов следует употреблять выражение в данном контексте или какой новый смысл, в отличие от принятых смыслов, придается выражению. Например, мы можем договориться называть хорошим учеником того, который не имеет троек по математике, а можем называть хорошим учеником того, который учится на 4 и 5, и т. д.

Реальными являются определения, в которых придается точный смысл выражениям, значения которых известны.

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

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

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

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

definiens, сокращенно dfn).

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

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

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

Если использовать указанные сокращения определяемого и определяющего выражений, то определение можно представить так: dfd –

dfn.

Читается: «dfd есть то же самое, что и dfn», или «dfd тождественно по определению (по дефиниции) dfn».

Примеры:

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

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