Как возможна логика в праве? - стр. 7
Хорошим примером может служить известный спор Протагора и Еватла по поводу платы за обучение. Еватл записался к Протагору в ученики и обещал оплатить обучение после того, как выиграет свое первое дело в суде. Однако, окончив учебу, он не стал заниматься судебными делами. Не дождавшись оплаты, Протагор обратился в суд, рассчитывая, что он в любом случае получит причитающееся, потому что либо суд поддержит его иск, и тогда Еватл погасит долг по суду, либо, если суд отклонит его иск, то Еватлу придется заплатить по договору. Но Еватл заявил, что, напротив, ему в любом случае не придется платить: в первом случае – по договору как проигравшему суд, а во втором случае – по решению суда[6].
Логика трактует позиции Протагора и Еватла как дилемму и контрдилемму, что создает впечатление парадокса. Правоведы могут предложить разные юридические решения с точки зрения действующих в правопорядке норм. Например, состоящее в том, что для получения долга Протагору надлежит обратиться в суд повторно, если при первом обращении его иск отклонят со ссылкой на договор. С логической точки зрения, вердикт судей можно рассматривать как волевое решение, в котором судьи одному обоснованному решению предпочли другое, потому что сочли более убедительным обоснование в защиту второго. Абстрагируясь от конкретных норм правопорядка, логика помогает определить границу между формальной корректностью выведения заключения из посылок и содержательным обоснованием волевого решения судей.
Модель использования классической логики высказываний и деонтической логики вригтовского типа, предложенная в «Нормативных системах», фокусируется на понятии нормативного множества, из которого судьи выводят заключения как содержательные формулировки решений по делу, отбрасывая непригодные формулировки. Эта модель служит хорошим упражнением для изучающих логику и философию, помогая понять методологическую роль формальных методов в праве. Кроме этого, повторное обращение в суд есть динамическое обновление условий – посылок для выведения заключения. Подобный динамический взгляд возможен и в отношении самих деонтических операторов «дозволено», «запрещено» и «обязательно», которые можно трактовать как специальные программы, регулирующие порядок осуществления действий[7].
В-третьих, отмена, внесение поправок и прочие манипуляции с кодексами норм – рутинные операции юристов и правоведов, стимулировали становление специальных приложений логических формализмов для моделирования изменений в базах данных и поведения агентов в условиях нормативных ограничений, которые сегодня, в свою очередь, применяются в области электронного правосудия.