Таким образом, примечательный спор Е. В. Булыгина и С. Хаак о методологической роли логики в праве рассказывает нам об этой роли многое, но о связи логики и права рассказывает далеко не всё. Теоретическое наследие Е. В. Булыгина больше говорит о том, что может сделать право для логики и в этом, пожалуй, заключается влияние концепции Е. В. Булыгина на логику, в целом, и на ее развитие отечественными учеными.
Существует два взгляда на становление логики как науки практической или теоретической, они оба берут начало в античности. Первый выводит логику из практик хозяйственных и судебных споров и считает ее практической наукой доказательства и убеждения, изучающей то, каким образом надлежит строить обоснование тезиса в споре, чтобы убедить других участников спора не только в его истинности, но в корректности предложенного способа обоснования, так что в дальнейшем они станут опираться на этот способ в доказательстве и других тезисов. Такой предстает логика в диалогах Платона, доказательствах корректности измерений античных земледельцев, описаниях судебных споров и формальных доказательствах древних математиков, а также в современной теории аргументации, включающей дедуктивную и недедуктивную аргументацию.
Второй взгляд видит в логике теоретическую науку о формальном доказательстве, его строении и видах, понимаемых абстрактно от того, в какой предметной области оно применяется и кем. Такой логика предстает в сочинениях Аристотеля и одного из наиболее влиятельных логиков Альфреда Тарского (1901–1983), с этим взглядом на логику преимущественно связаны ее успехи в XX в. Различие между этими двумя взглядами на логику чем-то напоминает различие между естественным правом и юспозитивизмом по вопросу происхождения права: являются создаваемые логикой формализмы отражением каких-либо форм практических рассуждений или это идеальные формы умозаключений, представляющие образцы для практических рассуждений?
Логические позитивисты уверены, что в логике нет ничего естественного, потому что это формальная наука и повседневные рассуждения людей ее не интересуют. Их оппоненты, к числу которых принадлежат ученые-когнитивисты и сторонники широкого взгляда на логику как на концептуальный дизайн или формальную философию, не оспаривая положения об инвариантности логической формы относительно предметной области, отмечают, что конструирование логических форм связано с тем, каким образом рассуждающий агент определяет тип задачи.
Из перечисленных Е. В. Булыгиным пяти успешных случаев применения логики в праве, по меньшей мере, три, оказавшие непосредственное влияние на отечественных исследователей, отражают успехи логики как практической науки, хотя и нередко понимаются ее успехами как теоретической науки.
Во-первых, это разграничение между дескриптивным и прескриптивным пониманиями норм, на которое первоначально обратили внимание именно правоведы, а не логики. Уже в 1960-х гг. Е. В. Булыгин опирается на него в своей дискуссии с Г. Кельзеном. Логика позволяет иначе посмотреть на такие центральные для юридической догматики вопросы как, например, различие между нормой права и статьей закона. Для изучения этого старого доктринального различия Е. В. Булыгин, уже с опорой на логические идеи Г. Х. фон Вригта, предлагает гораздо более точное и понятное деление между нормами и нормативными предложениями, уточняя при этом соответствующие классификации, предложенные Г. Кельзеном, О. Вайнбергером и другими представителями юридического позитивизма.
Под влиянием важности этого разграничения сначала его соавтор К. Э. Альчуррон создает специальную деонтическую логику без истинностных значений в 1969 г., затем они в соавторстве модифицируют дедуктивную модель правоприменения в «Нормативных системах» при помощи нестандартного приложения одной из стандартных деонтических систем вригтовского типа. В 1980-е гг. и Г. Х. фон Вригт, уже будучи признанным основателем деонтической логики, признает, что проглядел проблему, не обратив должного внимания на это разграничение. И, наконец, отечественные аналитические философы В. В. Оглезнев и В. А. Суровцев под влиянием этих идей пишут, что трактовать конституцию как аксиоматическую систему можно лишь неформально, т. е. в том смысле, в котором возможно этим разграничением пренебречь, когда речь идет о полноте и непротиворечивости права [4] Ogleznev V, Surovtsev V The Constitution as an Axiomatic System // Axiomathes. 2018. Vol. 28. No. 2. P. 219–232.
.
Читать дальше