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

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

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

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

Возникновение ошибок в аргументации при устной или письменной речи чаще всего связано с нарушением логических законов. Формальная логика служит инструментом для обнаружения таких ошибок и установления их причин, что позволяет повысить качество убеждения за счёт устранения логических несоответствий.

Логика как основа теории аргументации

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

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

Отметим, что термин "логика" произошёл от греческого слова "логос" — "наука", "разум", "слово". В современной практике логика анализирует формальную структуру мышления. Следует отличать два уровня значений: смысловое наполнение, выражающееся в мыслях или образах, и предметное значение языковых знаков, на которых базируется формализация.

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

В отличие от формальной логики, теория аргументации охватывает не только доказательство, но и убеждающее воздействие. Это проявляется в различии предметов изучения: доказательство представляет собой вынуждающий и безличный процесс, в то время как аргументация — процедура, в которой приводят аргументы в защиту позиции с целью убедить оппонента.

При этом доказательство обязано иметь строгую структуру, состоящую из трёх элементов: тезиса, аргументов и демонстрации. Тезис — это утверждение, которое требуется доказать. Аргументы — это основания, объясняющие истинность тезиса, а демонстрация — это логическая связь, которая связывает тезис и аргументы через корректные умозаключения.

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

К тезису предъявляются следующие требования:

• Наличие необходимости доказательства: не требуется доказывать аксиомы, постулаты или очевидные факты.
• Ясность и точность формулировки, чтобы избежать неоднозначности, вызванной многозначностью слов.
• Постоянство тезиса в течение всего доказательства, предотвращая подмену или потерю основной идеи.

Для аргументов установлены такие требования:

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

Демонстрация должна строго показывать логическую связь между тезисом и аргументами. Выражения наподобие "таким образом" или "поэтому" без указания корректного умозаключения не устанавливают логическую связь.

Виды аргументации

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

Дедуктивная аргументация строится на выведении утверждений из ранее принятых, общепринятых или аксиоматичных положений. Она опирается на строгие правила вывода, свойственные формальной логике. Поскольку дедукция гарантирует сохранение истинности, выводы считаются достоверными при истинности посылок. Однако дедукция ограничена формальными системами и не всегда применима к эмпирическим утверждениям.

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

Принципиальная опровержимость и проверяемость — это критерии, исходящие из философии науки. Здесь механизм заключается в демонстрации возможности эмпирического тестирования утверждения с целью опровержения или подтверждения. Согласно Попперу, теория или утверждение считается научным, если потенциально опровержимо экспериментом.

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

Методологическая аргументация основывается на ссылке на надёжные методы, использованные для получения утверждения. Механизм заключается в подтверждении правильности результата путем проверки качества и надежности методик, включая верификацию, валидацию и повторяемость экспериментов или доказательств.

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

Типичные ошибки и ограничения

Распространенные ошибки при аргументации связаны с нарушением требований к тезисам, аргументам и демонстрации. К примеру, подмена тезиса ведет к логической ошибке, когда доказывается не изначальное утверждение. Зависимость истинности аргументов от тезиса приводит к циркулярным доказательствам, которые не усиливают обоснование. Избыточность аргументов усложняет восприятие и снижает убедительность. Отсутствие строгости в демонстрации делает выводы непроверяемыми.

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

Таблица. Сравнение видов аргументации

Ниже приведена таблица с основными характеристиками перечисленных видов аргументации для наглядного сопоставления.

Таблица позволяет быстро оценить соответствие видов аргументации конкретным требованиям задачи и ограничениям применения.

Матрица условий для выбора методов аргументации:

• Если объект формализуем и система аксиоматична – использовать дедуктивную аргументацию; ограничение – невозможность формализации частей эмпирических данных.
• Если существует проверенная теория, в которую можно встроить утверждение – выбирать системную аргументацию; ограничение — применима только при наличии аккредитованной теории.
• Для проверяемых экспериментально гипотез применять принципиальную опровержимость; ограничение — требует доступного эмпирического тестирования.
• Для оценки сочетания с устоявшимися принципами – использовать совместимость; ограничение — ограниченность областью известной совокупности знаний.
• Если доказательство опирается на методы и процедуры, их надежность должна быть подтверждена методологической аргументацией; ограничение — отсутствие стандартов или признанных методик снижает достоверность.