Модальная логика

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

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

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

Принцип Юма говорит об отсутствии логической связи между описаниями и оценками. Однако в реальной ситуации дело осложняется тем, что чистые описания и чистые оценки встречаются в гуманитарных и социальных науках не так часто. Гораздо более часты двойственные, описательно-оценочные утверждения. Такие выражения размывают границу между описаниями и оценками, вследствие чего принцип Юма лишается той ясности, которой он достигает при противопоставлении чистых описаний и чистых оценок.

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

9. Структура и классификация норм

логика долг оценочный высказывание

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

Каждая норма включает следующие части, или элементы:

• содержание -- действие, являющееся объектом нормативной регуляции;

• характер -- норма обязывает, разрешает или запрещает это действие;

• условия приложения -- обстоятельства, в которых должно или не должно выполняться действие;

• субъект -- лицо или группа лиц, которым адресована норма.

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

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

Юридические нормы всегда имеют определенный авторитет. Моральные нормы также предполагают некоторый авторитет и меняются вместе с изменением своего авторитета. Вместе с тем авторитет, стоящий за моральными нормами, является менее определенным, чем авторитет юридических норм. Еще более расплывчаты авторитеты, стоящие за нормами («правилами») грамматики, игры и т. п. Естественно предполагать, что за нормами логики и математики нет никакого авторитета. «Авторитет природы», иногда упоминаемый в связи с такими нормами, -- не более чем метафора.

Нормы могут принадлежать разным авторитетам, один из которых может оценивать некоторое состояние как обязательное, а другой -- как безразличное или даже запрещенное. Нормы «Обязательно сделать А» и «Запрещено делать А», принадлежащие разным авторитетам, не противоречат друг другу. Описания же «Истинно, что А» и «Ложно, что А» противоречат друг другу, даже если они утверждаются разными лицами. Основания разных норм, их субъекты и авторитеты не могут быть отождествлены.

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

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

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

В юридической интерпретации всякая норма включает диспозицию, гипотезу и санкцию.

Диспозиция -- структурный элемент нормы права, который раскрывает содержание поведения субъекта права, имеющее юридически значимый характер. Диспозиция представляет собой ядро юридической нормы, поскольку указывает на форму поведения субъекта права, непосредственно обусловливающую юридические последствия. Если диспозиция содержит требования к правомерному поведению или запрет на противоправное деяние, то гипотеза является предпосылкой применения властного предписания.

Гипотеза -- структурный элемент нормы, указывающий на условия ее действия.

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

Санкция -- структурная часть нормы права, указывающая на возможные меры воздействия на нарушителя данной нормы.

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

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

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

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

Самым общим образом нормы можно разделить на следующие группы:

• правила, включающие правила игры, грамматики, логики и математики, обычая и ритуала и т. п.;

• предписания, охватывающие законы государства, указы, директивы, команды, приказы и т. п.;

• технические, или целевые, нормы, говорящие о том, что должно быть сделано для достижения определенной цели (например, «Чтобы в доме не было душно, следует проветривать его»).

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

• традиции и обычаи («Следует уважать старших», «На Новый год принято наряжать елку»);

• моральные принципы («Заботься о своих близких», «Не будь завистлив»);

• правила идеала («Судья должен быть беспристрастным», «Честность -- лучшая политика»).

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

10. Логика норм

Логика норм, называемая также деонтической логикой, уже в первые годы своего существования убедительно показала, что рассуждения, включающие нормы, не выходят за сферу «логического» и могут успешно анализироваться и описываться с помощью методов логики. Это создало хорошую почву для критики концепций, утверждающих алогичность таких рассуждений и настаивающих на невозможности сколько-нибудь убедительного обоснования моральных, правовых и иных норм и их кодексов.

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

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

Центральное в логике норм понятие обязанности можно попытаться разъяснить путем противопоставления его другим видам необходимости. В зависимости от основания утверждения о необходимости ранее были выделены два ее вида: логическая необходимость и физическая необходимость. К ним можно добавить теперь также нормативную необходимость, или обязанность.

Логически необходимо все, что вытекает из законов логики. Физически необходимо то, что следует из законов природы. Нормативно необходимо то, что вытекает из законов или норм общества, т. е. то, отрицание чего противоречит таким законам или нормам.

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

Аналогия между логической и физической необходимостью, с одной стороны, и нормативной необходимостью (обязательностью), с другой, не является полной. Необходимое в силу законов логики или законов природы реально существует. Утверждение «Все, что логически необходимо, -- истинно» является законом логики. Утверждение «Физически необходимое -- реально существует» также представляет собой логический закон. Однако из обязательности какого-то действия не следует, что оно непременно выполняется. Принципы морали, законы государства, правила, обычаи или ритуалы и т. п., как известно, нарушаются, и происходит это нередко. Утверждение «Если действие обязательно, то оно выполняется» не может быть, конечно, законом логики норм.

К законам логики норм относятся, в частности, такие простые положения:

• «Никакое действие не может быть одновременно и обязательным, и запрещенным»;

• «Невозможно, чтобы какое-либо действие было обязательным и безразличным»;

• «Никакое действие не может быть вместе и запрещенным, и безразличным».

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

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

Например, нормативно безразлично, как человек называет свою собаку, только если не обязательно называть ее определенным именем и не запрещено называть ее любым именем.

При употреблении понятий «обязательно», «разрешено» и т. п. всегда имеется в виду какая-то нормативная система, налагающая обязанность, предоставляющая разрешение и т. д. Существуют различные системы или, как их называют, кодексы.

Возьмем, к примеру, следующие нормативные высказывания: «Возлюби ближнего своего», «Разрешено ездить в автобусе» и «Безразлично, выращиваете ли вы цветы». Эти три высказывания относятся, очевидно, к трем разным нормативным системам. Приведенная обязанность любви к ближнему является характеристикой определенного круга действий с точки зрения принципов морали. Разрешение относится к действию, подпадающему под систему правовых норм. Нормативное безразличие утверждается относительно достаточно неопределенной системы норм, скажем, совокупности требований обычая, традиции и т. п.

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

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

Обязанность может быть определена через запрещение, а запрещение -- через обязанность:

• «Обязательно действие, от которого запрещено воздерживаться»;

• «Запрещено действие, от которого обязательно воздерживаться».

Например, «Обязательно платить налоги, когда запрещено не делать этого» и «Запрещено нарушать правила дорожного движения, если и только если обязательно не делать этого».

Разрешение определимо через обязанность:

• «Действие разрешено, если и только если не обязательно воздерживаться от него».

Обязанность определяется через разрешение:

• «Действие обязательно, если и только если не разрешено воздерживаться от него».

Например: «Обязательно соблюдать правила дорожного движения только при условии, что их запрещено нарушать», «Запрещено заниматься лечебной практикой тому, кто обязан от нее воздерживаться».

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

Очевидно, что ни в какой системе норм одно и то же действие не должно быть вместе и разрешенным, и запрещенным. Это требование к системе норм выражает принцип:

• «Если действие разрешено, оно не должно быть запрещенным».

Например, если разрешено переходить улицу на зеленый свет светофора, то это не запрещено.

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

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

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

* «Неверно, что обязательно выполнить какие-то действия и обязательно воздержаться от него» («Неверно, что обязательно А и обязательно не-А»).

Французский философ Ш. Монтескье писал о римском императоре Калигуле, который однажды произвел в сенаторы своего коня, что Калигула показал себя настоящим софистом в своей жестокости. То он говорил, что будет наказывать консулов как в том случае, если они будут праздновать день, установленный в память победы при Акции, так и в том случае, если они не будут праздновать его. Когда умерла Друзилла, которой он велел воздавать божественные почести, то было преступлением плакать по ней, потому что она была богиней, и не плакать, потому что она была сестрой императора.

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

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

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

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

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

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

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

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

В логике норм имеет место также закон деонтической полноты: «Всякое действие или обязательно, или безразлично, или запрещено».

Данный закон является конкретизацией логического закона исключенного третьего на случай нормативных высказываний. Идею полноты нормативного кодекса можно выразить также с помощью одного из следующих высказываний:

• «Действие разрешено, если воздержание от него не является обязанностью»;

• «Всякое незапрещенное действие -- разрешено»;

• «Относительно любого действия верно, что разрешено или выполнять его, или воздерживаться от него».

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

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

Из других законов логики норм можно упомянуть положения:

• «Логические следствия обязательного -- обязательны»;

• «Если действие ведет к запрещенному следствию, то само действие запрещено»;

• «Если обязательно выполнить вместе два действия, то обязательно каждое из этих действий».

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

На оба эти вопроса деонтическая логика отвечает отрицательно. В соответствии с принципом Юма невозможен логический переход от утверждений со связкой «есть» к утверждениям со связкой «должен». Деонтическая логика не нарушает данный принцип и не санкционирует переходов от описательных посылок к нормативным заключениям.

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

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

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

Размещено на Allbest.ru