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

Правила тезиса:

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

Ошибка: Кто слишком много доказывает, тот не доказывает ничего.

• На всем протяжении доказательства тезис должен быть одним и тем же.

Ошибка: подмена тезиса.

Правило аргумента:

• Аргументы должны быть истинными суждениями, не противоречащими друг другу.

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

• Аргументы должны быть достаточными для основания тезиса.

Ошибка: мнимое следование.

• Аргументы должны быть доказаны независимо от тезиса.

Ошибка: круг в доказательстве – тезис доказывается аргументом, а аргумент доказывается этим же тезисом.

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

Полно прогрессивный и регрессивный.

Прогрессивный – заключение предшествующего силлогизма становится большей посылкой последующего силлогизма.

Всё, что укрепляет здоровье полезно. Спорт укрепляет здоровье. Спорт полезен.

Лёгкая атлетика есть спорт. Лёгкая атлетика полезна. Бег есть вид легкой атлетики. Бег полезен.

Регрессивный – такой сложный силлогизм, в котором заключение предшествующего силлогизма становится меньшей посылкой последующего силлогизма

Все организмы суть тела. Все растения суть организмы. Все растения суть тела. Все тела имеют вес. Все растения имеют вес.

Сорит – вид сложного силлогизма, в котором приводятся только последнее заключение, проводятся через ряд посылок, остальное промежуточное заключение не высказывается, а подразумевается.

Доказательство и опровержение. Теория аргументации

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

Опровержение – это логическая операция по обоснованию ложности некоторых суждений.