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

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

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

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

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

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

      Примеры:

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

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

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

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

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

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

      Определения через род и видовое отличие. Пример: имя – это слово или словосочетание, обозначающее какой-либо предмет.

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

      В атрибутивно-реляционных определениях видовым отличием являются качества (атрибуты) и отношения (реляции). Качества – это то, что присуще предметам самим по себе, а отношения – это проявления качеств во взаимодействии предметов с другими предметами. Наличие свободных электронов у металлов – это их качество. Проводимость электричества – это отношение, представляющее собой проявление указанного качества во взаимодействии с электрическим полем.

      Примеры.

      «Человек – это разумное животное» – атрибутивное определение.

      «Человек – это животное, которое