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

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

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

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

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

Не-фрегевская аргументация позволяет различать логическую эквивалентность и тождественность утверждений. Тождественность влечет эквивалентность, но не наоборот; тождественность основывается на совпадении ситуаций, описываемых утверждениями, что позволяет разумно аргументировать даже в случае непрозрачных и интенсиональных контекстов.

3. “Рогатка” Черча и не-фрегевская аргументация

Проиллюстрируем особенности применения неклассической аргументации на примере аргумента Алонзо Черча — так называемой “рогатки” Черча. Это имя ввиду простоты приводимой Черчем аргументации было дано Дж.Барвайсом и Дж.Перри, которые критически ее рассмотрели в книге “Ситуации и установки”{152}.

Черч формулирует свой аргумент в книге “Введение в математическую логику”{153} следующим образом. Вначале он принимает следующий постулат:

(1). Денотат составного имени не меняется, если одно из входящих в него составляющих имен заменить другим с тем же, что у заменяемого, денотатом (хотя смысл может и измениться){154}.