Логика. Краткий курс. Юрий Васильевич Ивлев

Чтение книги онлайн.

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

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

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

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

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

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

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

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

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

      Примеры:

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

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

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

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

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

      Наиболее распространенными явными определениями являются определения имен, СКАЧАТЬ