Доказательство, гипотеза и опровержение — инструменты, которыми рассуждение превращается в знание. Ошибки, софизмы и парадоксы показывают, где рассуждение ломается, а неклассические логики — что и правила логики можно расширять.
Что нужно знать
- Доказательство: тезис (что доказываем), аргументы (чем), демонстрация (как связаны).
- Прямое доказательство — из аргументов к тезису; косвенное — от противного или разделительное (исключение альтернатив).
- Правила: тезис ясен и неизменен; аргументы истинны, достаточны, обоснованы независимо от тезиса.
- Опровергают тезис, аргументы или демонстрацию.
- Гипотеза: факты → выдвижение → следствия → проверка → подтверждение или опровержение. Ложное следствие опровергает гипотезу, истинное лишь подтверждает.
- Ошибки: подмена тезиса, круг в доказательстве, аргумент к личности, предвосхищение основания.
- Софизм — намеренная уловка; парадокс — противоречие при верных на вид посылках (лжеца, кучи, Зенона, Рассела).
- Неклассические логики: многозначная (Лукасевич), модальная, интуиционистская (без закона исключённого третьего), паранепротиворечивая; Гёдель — недоказуемые истины.
- Классическое понимание истины — соответствие мысли действительности (Аристотель).
Где чаще всего ошибаются
- Считать одно подтверждённое следствие окончательным доказательством гипотезы.
- Опровергать человека, а не его довод.
- Путать софизм с парадоксом.
- Обосновывать тезис через него самого.
Проверить себя
По этой же теме курса есть проверочная работа из 15 заданий на 25 минут. Проверка автоматическая, результат виден сразу — и по работе целиком, и по каждой теме.
Основы рационального познания · 10–11 классы · Аргументация, гипотеза и ошибки мышления