5. Доказательство, структура и форма доказательства.

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

Доказательство включает в себя три элемента: тезис (Т), аргументы (а, а₁….а_n) и демонстрацию. Тезис доказательства – это то суждение, истинность которого надо обосновать; аргументы доказательства – те положения, с помощью которых обосновывается истинность тезиса; демонстрация – установление логической связи между тезисом и аргументами. Демонстрация может принимать форму различных умозаключений, в частности, может идти по схеме ПКС.

По способу осуществления доказательства делятся на два вида: доказательство прямое, в нем тезис обосновывается без привлечения допущений, противоречащих тезису, и доказательство косвенное (доказательство «от противного»), в нем истинность тезиса обосновывается с использованием допущения, противоречащего тезису.

ПРАВИЛА ПО ОТНОШЕНИЮ К ТЕЗИСУ

Тезис должен быть логически определенным, ясным и точным суждением (возможная ошибка – выдвижение неопределенного тезиса); Тезис должен оставаться тождественным самому себе на протяжении всего доказательства (возможные ошибки: потеря тезиса, полная или частичная подмена тезиса).

ПРАВИЛА ПО ОТНОШЕНИЮ К АРГУМЕНТУ

Аргументы должны быть истинными и доказанными суждениями (возможные ошибки: использование ложного или не обоснованного суждения в качестве аргумента). Аргументы в своем обосновании не должны зависеть от тезиса (возможная ошибка – круг в доказательстве). Аргументы не должны противоречить друг другу (ошибка - использование противоречащих друг другу суждений в качестве аргументов). Аргументы должны быть достаточными для доказательства данного тезиса (ошибки: использование недостаточного или избыточного числа аргументов).

ПРАВИЛА ПО ОТНОШЕНИЮ К ДЕМОНСТРАЦИИ

Доказательство должно осуществляться по правилам соответствующего умозаключения. Возможные ошибки связаны, во-первых, с нарушением этих правил, во-вторых, с заменой демонстрации некорректным логическим переходом: от сказанного с условием к сказанному безусловно; от сказанного в определенном отношении к сказанному безотносительно к чему-либо; ошибки в случае замены демонстрации называют «мнимым следованием».

Вопросы к зачету по логике.

1. Место логики в комплексе наук, изучающих речемыслительную деятельность человека. Предмет и значение логики.

2. Понятие как форма речемыслительной деятельности. Содержание и объем понятия.

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

4. Операции обобщения и ограничения понятия.

5. Определение понятия как логическая операция; правила её осуществления.

6. Операция деления понятия, правила её осуществления.

7. Суждение как форма речемыслительной деятельности. Виды суждений.

8. Структура простого суждения. Классификация простых суждений по количеству и качеству.

9. Логический квадрат, отношения между суждениями по логическому квадрату.

10. Умозаключение как форма речемыслительной деятельности. Классификация умозаключений.

11. Индуктивные умозаключения и их виды.

12. Дедуктивные умозаключения, их классификация.

13. Простой категорический силлогизм: состав, правила построения и проверка.

14. Сущность и правила доказательства: правила тезиса, аргументов и демонстрации.

15. Вопросно-ответная коммуникация с точки зрения логики, правила постановки и оценки вопроса.