Теория и практика аргументации

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

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

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

Интуиционистская аргументация в значительной степени носит конструктивный характер (мы не будем вдаваться в особенности понятия “конструктивности”, принимаемого сторонниками различных направлений в интуиционизме). Это сказывается в том, что в подобного рода аргументации не поощряется использование рассуждений, основывающихся на доказательстве от противного или сведении к абсурду. Если вы выдвигаете предположение, что справедливо утверждение, противоположное защищаемому вами, то вывод, демонстрирующий абсурдность или ложность вашей гипотезы, не может считаться подтверждением вашей точки зрения. Доказательством может служить только предъявление некоторого механизма (конструкции, примера), реализующего ваше утверждение или отрицание вашего утверждения. Таким образом, интуиционистская аргументация может основываться только на конструктивных утверждениях позитивного или негативного характера. Возможно сведение интуиционистской аргументации к алетической и каноническая иллюстрация на примере роста и накопления знаний (кумулятивная модель).

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

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

Деонтическая аргументация имеет дело с утверждениями, включающими выражения типа “обязательно”, “позволено”, “запрещено”. Эти выражения могут вводиться на основании перехода от истинных утверждений к обязательным и позволенным. Кажущуюся парадоксальность возникающих утверждений следует проверять обращением к конкретно принимаемым логическим законам. Например, утверждение “если обязательно заботиться о ближних, то эту обязанность мы налагаем на себя тем, что курим” не представляется истинным. Однако подобного рода утверждения справедливы в рамках некоторых деонтических модальных исчислений{150}. Справедливость утверждений может быть аргументирована обращением к возможным (моральным) мирам, которые характеризуются наличием или отсутствием определенных норм.

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