Юрий Ивлев - Логика для юристов: Учебник.

Контекстуальные определения указанных форм называются нормальными.

Существуют контекстуальные определения, которые нормальными не являются. К таким относятся, например, некоторые табличные определения логических связок. Эти определения нельзя представить посредством предложений вида К(а) ≡ Т и К(а)=Т. Последние определения называются собственно контекстуальными.

Целесообразно выделить еще один вид контекстуальных определений. Назовем их определениями в контексте. В качестве определения здесь выступает контекст, представляющий собой текст, состоящий из ряда высказываний, в которых употребляется определяемый термин. В самом контексте, как и вне контекста, не говорится, что имеет место определение термина. Если же контекст внимательно проанализировать, то из него можно “вычитать” определение указанного термина. Например, исследуя свидетельства древних авторов о философских взглядах Демокрита, выявляют определение причины в смысле Демокрита. Средствами символической логики удалось показать, что не всякий контекст, в котором встречается термин, является определением (в контексте) этого термина.

Упражнение 4

К каким видам относятся следующие определения?

1. Моделью называется объект, который в каком-то отношении сходен с другим объектом — оригиналом, является упрощением последнего и служит для того, чтобы познавать оригинал.

2. Высказывание “ A ∨ B ” истинно, если и только если истинно высказывание “ A ”или высказывание “ B ”.

3. Свобода человека зависит от его экономического положения. Главный фактор свободы — возможность хорошо работать при справедливой оплате труда.

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

Правило 1.Определение должно быть соразмерным, т.е. значения (объемы) определяемого и определяющего выражений должны совпадать (должны быть равны друг другу).

Обозначим объемы дефиниендума и дефиниенса соответственно Wdfd и Wdfn. Указанное требование запишем: “Должно быть так, что Wdfd = Wdfn ” .

Возможные нарушения правила соразмерности представим круговыми схемами:

Wdfn Wdfd Wdfd Wdfn Wdfd Wdfn

Этим ситуациям соответствуют следующие ошибки, возникающие при нарушении первого правила.

а) “ Слишком широкое определение ” . Дефиниенс шире дефиниендума по объему. Примеры: “Спекуляция есть скупка и перепродажа товаров или иных предметов”; “Человек есть двуногое бесперое животное”. Бывают случаи, когда находят ошибку “слишком широкое определение” там, где ее нет. Это происходит при неправильном отождествлении атрибутивного суждения, не выражающего определения, с суждением, в котором представлен результат определения, поскольку то и другое имеет структуру “А есть В”. Чтобы не возникало указанного смешения и нельзя было бы критиковать авторов, высказывающих те или иные истинные утверждения (в форме атрибутивных суждений), за неправильное определение терминов, (а истинное суждение не всегда является правильным определением), необходимо все определения в тексте выделить (подчеркиванием, особым шрифтом, словами “называется”, “определим такое-то выражение так-то” и т.д.).

б) “ Слишком узкое определение ” . При этой ошибке объем дефиниенса меньше объема дефиниендума. Примеры: “Озеро — замкнутый в берегах большой естественный водоем с пресной водой”; “Смерть — естественный конец всякого живого существа”, (а не естественный?); “Совесть — это осознание человеком ответственности перед самим собой за свои поступки”, (а перед обществом?).

в) “ Перекрещивающееся определение ” . Объемы дефиниендума и дефиниенса находятся в отношении перекрещивания. Пример: “Философ— это человек, разрабатывающий научную методологию”.

г) Ошибка, соответствующая последней схеме, называется «определить “ как попало ” ». О такой ошибке идет речь в следующей шуточной истории: «Когда известный естествоиспытатель Кювье зашел в Академию наук (в Париже), где работала комиссия по составлению энциклопедического словаря, его попросили оценить определение слова “рак”, которое только что удачно было найдено.

В данной книге дефиниендум выделен разрядкой, а дефиниенс — курсивом.

“Мы нашли определение понятия “рак”, — сказали члены комиссии, — вот оно: “Рак — небольшая красная рыбка, которая ходит задом наперед”. — “Великолепно, — сказал Кювье. — Однако разрешите мне сделать небольшое замечание... Дело в том, что рак не рыба, он не красный и не ходит задом наперед. За исключением всего этого, ваше определение превосходно”» [26] Войшвилло Е.К. Понятие как форма мышления. М., 1989. С. 226. .

Можно особо отметить случай определения с этой ошибкой, когда объем определяющего термина — пустое множество.

П р и м е р: “Материализм — теория, которая рассматривает вселенную как нечто, состоящее только из твердых объектов”. (Определение материализма, данное американским философом Роном Хаббардом в книге “Дорога к счастью”, перепечатанной “Аргументами и фактами”, № 10, 1993).

Правило 2.Определение не должно заключать в себе круга. При нарушении данного правила возникает ошибка, имеющая название “ круг в определении ” . Суть этой ошибки в следующем: dfd определяется посредством dfn, а последний непосредственно или опосредованно определяется при помощи dfd.

Пример: “Логика — наука о правильном мышлении”; “Правильное мышление — логичное мышление”. Указанная ошибка встречается даже в учебниках. Например, в учебниках по диалектическому материализму можно встретить определение сущности как совокупности внутренних, необходимых связей объекта, а необходимости — как таких сторон и связей, которые обусловлены сущностью.

Разновидностью круга в определении является ошибка “ тавтология ” , или “то же через то же” (лат. “idem per idem”). Тавтологичными называют определения, в которых dfn повторяет dfd, но, может быть, другими словами. Примеры: “Возможность — это то, что может быть, а может и не быть”; “Количество — характеристика предметов с количественной стороны”; “Математика — это то, чем занимаются математики”.