Логика. Краткий курс. Юрий Васильевич Ивлев
выражение, а В – определяющее. Определяемое выражение называется дефиниендумом (от лат. definiendum, сокращенно: dfd), а определяющее – дефиниенсом (от лат. definiens, сокращенно dfn).
Неявные определения такой формы не имеют.
Видами неявных определений являются определения (а) через отношение к противоположному, (б) контекстуальные и другие.
Явные определения. Определяемыми выражениями в явных определениях могут быть выражения типа (1) единичных имен, (2) общих имен; (3) предметных функторов; (4) знаков свойств и отношений; (5) знаков признаков; (5) предложений.
Если использовать указанные сокращения определяемого и определяющего выражений, то определение можно представить так: dfd –df dfn. Читается: «dfd есть то же самое, что и dfn», или «dfd тождественно по определению (по дефиниции) dfn».
Примеры:
(1) «Логика – наука о формах мыслей и об отношениях между мыслями по логическим формам». (Определение единичного имени.)
(2) «Вердикт – решение о виновности или невиновности подсудимого, вынесенное коллегией присяжных заседателей». (Определение общего имени.)
(3) «Вес – то общее, что есть у всех тел, которые притягиваются к Земле с одной и той же силой (уравновешиваются на весах)». (Определение знака предметной функции.)
(4) «Быть студентом – учиться в высшем учебном заведении гражданского типа». (Определение знака признака.)
(5) «“Петров Павел – студент” означает, что Петров Павел учится в высшем гражданском учебном заведении». (Определение предложения.)
Наиболее распространенными явными определениями являются определения имен, называемые определениями через (ближайший) род и видовое отличие, которые в свою очередь делятся на (а) атрибутивно-реляционные; (б) генетические; (в) операциональные и др.
Определения через род и видовое отличие. Пример: имя – это слово или словосочетание, обозначающее какой-либо предмет.
В этом определении имена выделяются среди всех слов и словосочетаний. То множество предметов, среди которых необходимо выделить интересующие нас предметы, называется родом. В данном примере родом является множество слов и словосочетаний. Та система признаков, с помощью которой выделяются определяемые предметы среди других предметов рода, носит название видового отличия. Видовое отличие в этом примере – обозначать какой-либо предмет.
В атрибутивно-реляционных определениях видовым отличием являются качества (атрибуты) и отношения (реляции). Качества – это то, что присуще предметам самим по себе, а отношения – это проявления качеств во взаимодействии предметов с другими предметами. Наличие свободных электронов у металлов – это их качество. Проводимость электричества – это отношение, представляющее собой проявление указанного качества во взаимодействии с электрическим полем.
Примеры.
«Человек – это разумное животное» – атрибутивное определение.
«Человек – это животное, которое