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

Правильно ли рассуждает человек, когда говорит: «Если бы барий был металлом, он проводил бы электрический ток; барий проводит электрический ток; следовательно, он металл?». Чаще всего на основе логической интуиции отвечают: правильно, барий металл, и он проводит ток. Этот ответ, однако, неверен. Логическая правильность, как гласит теория, зависит только от способа связи утверждений. Она не зависит от того, истинны используемые в выводе утверждения или нет. Хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: «Если есть первое, то есть второе; второе есть; значит, есть и первое». Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся. В рассуждении: «Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура» обе посылки могут быть истинными, а заключение ложным: многие болезни протекают без повышения температуры. Другой пример: «Если бы шёл дождь, земля была бы мокрой; но дождя нет; значит, земля не мокрая». Это рассуждение интуитивно обычно оценивается как правильное, но достаточно небольшого рассуждения, чтобы убедиться, что это не так. Верно, что в дождь земля всегда мокрая; но если дождя нет, из этого вовсе не следует, что она сухая: земля может быть просто полита или быть мокрой после таяния снега. Рассуждение опять-таки идёт по неправильной схеме: «Если первое, то второе; но первого нет; значит, нет и второго».