Логика   ::   Ивин Александр Архипович

Изменим несколько данную схему и будем рассуждать так: если есть первое, то имеется второе; имеет место второе; значит, есть и первое.

Например:

Если идёт дождь, земля мокрая; земля мокрая; следовательно, идёт дождь.

Этот вывод, очевидно, неправилен. Верно, что всякий раз, когда идёт дождь, земля мокрая. Но из этого условного утверждения и того факта, что земля мокрая, вовсе не вытекает, что идёт дождь. Земля может оказаться мокрой и без дождя, её можно намочить, скажем, из шланга, она может быть мокрой после таяния снега и т.д.

Ещё один пример рассуждения по последней схеме подтвердит, что она способна приводить к ложным заключениям:

Если у человека повышенная температура — он болен; человек болен; значит, у него повышенная температура.

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

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

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