- •Предмет логики.
- •Общая характеристика понятия.
- •Содержание и объем понятия.
- •Виды понятий.
- •Отношения между понятиями.
- •Обобщение и ограничение понятия.
- •9. Общая характеристика суждения.
- •10. Суждения простые и сложные.
- •11. Состав простого суждения.
- •12. Деление суждений по качеству и количеству.
- •13. Распределенность терминов в суждении.
- •14. Деление суждений по модальности.
- •15. Сложное суждение и его виды.
- •16. Отношения между суждениями («логический квадрат»).
- •17. Обращение суждений.
- •18. Превращение суждений.
- •19. Противопоставление предикату.
- •20. Закон тождества.
- •21. Закон противоречия.
- •22. Закон исключенного третьего.
- •23. Закон достаточного основания.
- •24. Общая характеристика умозаключения.
- •25. Простой категорический силлогизм.
- •26. Фигуры и модусы категорического силлогизма.
- •27. Общие правила категорического силлогизма.
- •28. Первая фигура категорического силлогизма.
- •29. Вторая фигура категорического силлогизма.
- •30. Третья фигура категорического силлогизма.
- •31. Сведение модусов 2, 3 и 4 фигуры к модусам 1 фигуры путем обращения.
- •33. Условный силлогизм.
- •34. Условно-категорический силлогизм.
- •35. Разделительно-категорический силлогизм.
- •36. Дилемма.
- •37. Сокращенные, сложные и сложносокращенные силлогизмы.
- •38. Индукция и дедукция.
- •39. Полная и неполная индукция.
- •40. Популярная и научная индукция.
- •41. Метод сходства.
- •42. Метод различия.
- •43. Соединенный метод сходства и различия.
- •44. Метод сопутствующих изменений.
- •45. Метод остатков.
- •46. Аналогия.
- •47. Гипотеза.
- •48. Виды гипотез.
- •49. Построение и проверка гипотез (см. Вопрос 48)
- •50. Общая характеристика доказательства.
- •51. Структура доказательства.
- •52. Доказательство и опровержение.
- •53. Прямое и косвенное доказательства.
- •54. Ошибка в доказательстве.
52. Доказательство и опровержение.
Из действий с доказательством, или над доказательством, как определенной формой мысли, определенной мыслительной структурой, наиболее известно всего лишь одно - отрицание его. Отрицание доказательства называется опровержением. Опровержение — это обоснование ложности или несостоятельности того или иного элемента доказательства, а иногда и доказательства в целом. Многие свойства опровержения определяются свойствами доказательства, потому что опровержение структурно мало чем отличается от доказательства. Опровержение может быть направлено против тезиса доказательства, против аргументов его, против демонстрации. Опровергая тезис, опровержение необходимо формулирует антитезис; опровергая аргументы - выдвигает другие; опровергая демонстрацию доказательства - показывает (демонстрирует) своей структурой строгое соблюдение логических связей между своими аргументами и антитезисом.
Не всякое опровержение отбрасывает доказательство в целом.
Соответственно видам опровержения (опровержение тезиса, опровержение аргументов и опровержение демонстрации) можно указать и способы опровержения, которые используются в них. Так, тезис может быть опровергнут путем доказательства антитезиса и путем выведения следствий из тезиса, противоречащих действительности. Аргументы могут быть опровергнуты как путем обоснования их ложности (аргументы только кажутся истинными, или некритически принимаются за истинные), так и путем обоснования того, что для доказательства тезиса приведенных аргументов мало. Опровержение можно осуществить и путем обоснования того, что используемые аргументы сами нуждаются в обосновании. Ну и, наконец, опровержение можно осуществить и путем установления того, что источник фактов (оснований, аргументов) для обоснования тезиса является недостоверным, недоброкачественным: фальшивые документы, псевдолетописи, подделанные мемуары и пр.
53. Прямое и косвенное доказательства.
По способу доказывания, по типу связи аргументов и тезиса доказательства подразделяются на прямые и косвенные. Прямые доказательства — те, в которых тезис обосновывается аргументами непосредственно, прямо, т.е. используемые аргументы выполняют, например, роль посылок простого категорического силлогизма, где вывод из них выступает тезисом нашего доказательства. Иногда прямые доказательства называют еще и прогрессивными. Так, для доказательства тезиса "Мой друг сдает экзамен по логике" мы приводим следующие аргументы:
Мой друг - студент философского факультета и
Все студенты философского факультета сдают экзамен по логике.
Эти аргументы позволяют нам по модусу ВаrЬarа первой фигуры категорического силлогизма сразу получить вывод, совпадающий с нашим тезисом. Это — прямое, прогрессивное доказательство, состоящее из одного умозаключения, хотя доказательство и не обязательно сводимо к одному, доказательство может состоять и из нескольких умозаключений.
Другое дело — косвенное доказательство, аналитическое, или регрессивное. В нем истинность тезиса обосновывается опосредованно, путем обоснования ложности антитезиса, т.е. положения (суждения), противоречащего тезису; либо путем исключения всех членов разделительного суждения по разделительно-категорическому силлогизму, кроме нашего тезиса, являющегося одним из членов этого разделительного суждения. В том и в другом случае необходимо опираться на требования логики к этим формам мысли, на законы и правила логики, строго соблюдать их. Так, при формулировке антитезиса надо следить за тем, чтобы он был действительно противоречащим тезису, а не противоположным ему, потому что противоречие не допускает одновременной ни истинности, ни ложности этих суждений (положений), а противоположность -допускает их одновременную ложность. При противоречии, обоснованная истинность антитезиса, выступает основанием ложности тезиса, а обоснованная ложность антитезиса, наоборот, косвенно обосновывает истинность тезиса. Обоснование же ложности противоположного тезису положения, не гарантирует, не обосновывает истинность самого тезиса, так как противоположные суждения могут быть и одновременно ложными. Косвенными доказательствами обычно пользуются тогда, когда нет аргументов для прямого доказательства, когда невозможно по разным причинам обосновать тезис прямо.
Другой вид косвенного доказательства — разделительное доказательство. Оно обосновывает тезис путем исключения всех членов разделительного суждения, кроме тезиса.