Deductive reasoning Research Papers - Academia.edu (original) (raw)

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