<<
>>

§ 2 ЛОГИКА НОРМ, ОСНОВАННАЯ НА ТЕОРИИ ВЗАИМОДЕЙСТВИЯ

Рассмотрим теперь логику норм, являющуюся расшире­нием логической теории человеческого взаимодействия.

92

«каждый человек обязан кому-то предоставить р» («в слу­чае каждого человека существуют люди, к которым он дол­жен относиться так, как относятся к ближним»);

«имеется субъект, долгом которого является предоставление каждому субъекту р»;

«существует субъект, обязанный от всякого требовать р»\

«каждый от каждого обязан принимать р» («всякий человек обязан соглашаться со справедливыми замечаниями, незави­симо от того, кем они высказываются»);

«всякий субъект имеет право навязать р каждому» («всякий человек вправе сделать любому справедливое замечание»);

«каждый имеет право не принимать р от некоторых лиц» и т.

п.

Символические средства логики норм, основанной на логической теории взаимодействия, позволяют выделить несколько типов обязанностей и прав:

обязанность предоста- обязанность причинить или на­вить, вязать,

обязанность требовать, обязанность не причинять,

право предоставить, право не причинять,

право не требовать, право принять

и т. п.

. Между ними существуют определенные логические связи.

Их строгое описание и систематизация и являются основ­ной задачей предпринятого нами расширения аппарата логи­ки норм.

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

§ А. а. Иевк 93

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

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

Определения:

Аксиомы А1—А4 являются теоремами абсолютной деон­тической логики и не нуждаются в особом комментарии. Отметим лишь, что А4 эквивалентна в данной системе конъ­юнкции принципов деонтической непротиворечивости и пол­ноты. Используемая здесь деонтическая логика является, таким образом, сильной и полной системой. Проблема стра­тификации логики норм, основанной на логике взаимодейст­вия, нас не интересует, поэтому мы ограничиваемся расши­рением сравнительно богатой абсолютной логики норм, допу­скающей взаимную определимость обязанности и разреше­ния.

Аксиома А5 устанавливает связь обязанности предоста­вить с правом требовать. Согласно ей один субъект обязан предоставить другому некоторое состояние в том и только том случае, когда второй субъект имеет право требовать от первого реализации этого состояния. Например, если долж­ник обязан возвратить свой долг кредитору, то кредитор имеет право требовать от должника возвращения долга; и наоборот, когда кредитор вправе требовать от должника возвращения долга, обязанностью должника является воз­вращение своего долга кредитору.

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

Используя аксиомы А5 и А6, можно доказать формулы

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

Некоторые теоремы, выводимые с использованием аксиом А5 и А6:

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

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

  1. Александр Архипович ИВИН. ЛОГИКА НОРМ. Москва - 1973, 1973
  2. 3. Расовые теории и концепции
  3. ТЕТРАДЬ I I ГИДРОМАШИНЫ. ОСНОВЫ ТЕОРИИ
  4. ТЕТРАДЬ I ГИДРОМАШИНЫ. ОСНОВЫ ТЕОРИИ
  5. ТЕТРАДЬ II ГИДРОМАШИНЫ. ОСНОВЫ ТЕОРИИ
  6. 6. Общение как взаимодействие
  7. ЧАСТЬ II ДИНАМИЧЕСКИЕ НАСОСЫ, ОСНОВЫ ТЕОРИИ
  8. 14.6. Организация взаимодействия библиотек
  9. Организация взаимодействия бухгалтерской службы с внутренними пользователями информации
  10. Организация взаимодействия бухгалтерской службы с внешними пользователями информации
  11. Иерархия (соподчиненность) и взаимодействие желез внутренней секреции
  12. РЕКОМЕНДАЦИИ АДВОКАТАМ ПО ВЗАИМОДЕЙСТВИЮ СО СРЕДСТВАМИ МАССОВОЙ ИНФОРМАЦИИ
  13. ТЕМА 2. ВЗАИМОДЕЙСТВИЕ ОРГАНИЗАЦИИ С ВНУТРЕННИМИ И ВНЕШНИМИ ПОЛЬЗОВАТЕЛЯМИ БУХГАЛТЕРСКОЙ ИНФОРМАЦИИ
  14. О применении судами норм Уголовно-процессуального кодекса Российской Федерации
  15. Осуществление денежных расчетов как форма взаимодействия организации с контрагентами
  16. О применении судами норм Уголовно-процессуального кодекса Российской Федерации, регулирующих судопроизводство с участием присяжных заседателей
  17. 3.8.4. Информационное право как система норм, регулирующих отношения в информационной сфере
  18. О применении норм Уголовно-процессуального кодекса Российской Федерации, регулирующих производство в суде апелляционной инстанции
  19. Сучасний стан виборчої системи до Верховної Ради України та перспективи впровадження норм виборчого права держав-членів ЄС
  20. О применении судами общей юрисдикции общепризнанных принципов и норм международного права и международных договоров Российской Федерации