ВВЕДЕНИЕ

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

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

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

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

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

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