§ 1 ЛОГИЧЕСКАЯ ТЕОРИЯ ЧЕЛОВЕЧЕСКОГО ВЗАИМОДЕЙСТВИЯ

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

Не способствует развитию таких приложений и доказуемость в большинстве этих систем парадоксальных утверждений. Но наиболее серьезным препятствием на пути применения результатов логики норм к совокупностям моральных, правовых и иных сложных социальных норм является, без сомнения, чрезмерная абстрактность имеющихся логических теорий нормативного рассуждения. Ими принимается во внимание чересчур малое число факторов, определяющих структуру такого рассуждения, чтобы они могли оказаться достаточно конкретными и достаточно точными его описаниями '. Основной задачей современной логики норм является поэтому обогащение ее симвг. лического аппарата, расширение существующих систем тем, чтобы получить логические теории, пригодные для адекватной реконструкции реальных нормативных рассуждений.

В предыдущих разделах были описаны абсолютные и относительные деонтические логики, установлены их взаимные отношения и указана их связь с теорией логических модальностей. Теперь мы рассмотрим расширения этих логик, способные найти практически интересные приложения в исследовании сложных социальных норм и определении таких понятий, как долг, право, норма, социальная роль и т. п. В основе этих расширений будет лежать логическая теория человеческого взаимодействия и главная их идея будет состоять в таком обогащении аппарата стандартных систем логики норм, которое дает возможность представить всякую норму как связь двух и более субъектов^[50]^[51].

Проведем различие между четырьмя типами деятельности, связывающей двух субъектов: требованием, предоставлением, причинением и принятием.

Требование — это выражение желания, чтобы другое лицо выполнило определенное действие (реализовало определенное состояние) в пользу лица, высказывающего требование. Ответом на требование является предоставление или непредоставление требуемого состояния, т. е. выполнение или невыполнение человеком, к которому обращено требование, определенных действий в пользу требующего. Причинение — это осуществление одним лицом действий, ограничивающих свободу другого лица, навязывание одним лицом другому определенного состояния. Ответом на причинение является принятие или непринятие навязываемого ограничения, согласие с действиями причиняющего лица или противодействие ему.

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

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

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

Введем символические обозначения для каждого из указанных типов взаимодействия двух субъектов. Выражение Сху(р) будет представлять высказывание «субъектом х предоставляется субъекту у состояние, описываемое высказыванием р» (или короче: «х предоставляет у-ку (состояние) р»), Нху(р}—«х причиняет у-ку р», Тху(р)— «х требует от у-ка р» и Аху(р)— «х принимает от у-ка р».

В выражениях логики взаимодействия С, Я, Г и Л будут являться специфическими для этой логики константами; х, у, 2, х ¹и т. д. — именными переменными, вместо которых могут подставляться имена взаимодействующих субъектов; /?, q,г, р¹и т. д. — пропозициональными переменными, вместо которых могут подставляться высказывания, описывающие те или иные состояния.

Определение правильно построенной формулы логики взаимодействия:

(1) ппф пропозициональной логики есть ппф логики взаимодействия;

(2) если а есть ппф пропозициональной логики, а а и Ъ— именные переменные, то СаЬ( а), НаЬ(а), Tab (а) и АаЬ( а) являются ппф логики взаимодействия;

(3) если а и (5 — ппф логики взаимодействия, а а и b —

именные переменные, то Cab (a), Hab( a), Tab (а), АаЬ( а), «сэр, а==£, а&р, а\Р0, также являются ппф этой ло

гики з.

• Логика взаимодействия определяется следующим множеством аксиом и правил вывода:

АО. Множество аксиом классической- пропозициональной логики,

Al. Cxy(p&q) = Cxy(p)&Cxy(q),

А2. Сху (p\Jq)= Сху (р) V Сху (

<< | >>

↑

Источник: Александр Архипович ИВИН. ЛОГИКА НОРМ. Москва - 1973. 1973

Еще по теме § 1 ЛОГИЧЕСКАЯ ТЕОРИЯ ЧЕЛОВЕЧЕСКОГО ВЗАИМОДЕЙСТВИЯ:

- Логика - Общая философия - Социальная философия -