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

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

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

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

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

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

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

Примеры:

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

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

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

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

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

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

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

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

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

Примеры.

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

«Человек – это животное, которое может заниматься скупкой и перепродажей товаров или иных предметов с целью получения прибыли» – реляционное определение.

В генетических определениях в качестве видового отличия выступает способ происхождения, образования, конструирования предметов. Томас Гоббс приводит следующий пример генетического определения: «Круг есть фигура, получающаяся в результате вращения отрезка прямой вокруг одного из его концов в плоскости»3.

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

Пример: кислота – это жидкость, при погружении в которую лакмусовой бумажки последняя окрашивается в красный цвет. Операция распознавания выполняет здесь роль видового отличия.

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

Пример: причина – это явление, которое при определенных условиях обязательно вызывает другое явление, называемое следствием. Определяются выражения «причина» и «следствие».

Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. Например, «Предложение “р” истинно, если и только если р». Структура – К(dfd) –df Т, где dfd – определяемое выражение (в данном примере «быть истинным»), входящее в сложное выражение К(dfd).