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

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

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

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

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

Логика занимается не только связями утверждений в правильных умозаключениях, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между понятиями, операциями определения и логического деления понятий, вероятностными, или правдоподобными, рассуждениями, парадоксами и логическими ошибками и т. д. Но главная задача логики – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.

Согласно основному принципу логики, правильность рассуждения зависит только от его логической формы, или структуры, и не зависит от конкретного содержания входящих в него утверждений.

Логическая форма – способ связи входящих в рассуждение содержательных частей.

Основной принцип логики был в ясной форме сформулирован еще Аристотелем, и поэтому его принято считать основателем логики как науки.

Основной принцип логики предполагает – и это следует специально подчеркнуть, – что каждое наше рассуждение, выраженное в языке, имеет не только содержание, но и определенную форму. Предполагается также, что содержание и форма отличаются друг от друга и могут быть разделены. Содержание рассуждения не оказывает никакого влияния на его правильность, поэтому от него следует отвлечься. Для оценки правильности существенной является лишь форма. Ее необходимо выделить в чистом виде и затем на основе одной «бессодержательной» формы решить вопрос о правильности рассматриваемого рассуждения.

Особым интересом логики к логической форме наших рассуждений объясняется то, что иногда эту науку называют также «формальной логикой».

Понятие логической формы является довольно абстрактным. Смысл его лучше всего раскрыть на примерах.

Сравним два утверждения: «Все металлы проводят электрический ток» и «Все планеты имеют форму куба». По содержанию они совершенно различны, к тому же первое из них является истинным, а второе ложным. И тем не менее сходство их несомненно – это сходство, а точнее говоря тождество, их строения, формы. Чтобы выявить данное сходство, нужно отвлечься от содержания утверждений и от обусловленных им различий. Оставим поэтому в стороне металлы и планеты, электрический ток и кубы. Заменим все содержательные компоненты утверждений латинскими буквами, например S и Р, не несущими никакого содержания. В итоге получим в обоих случаях выражение «Все S есть Р» («Все металлы есть проводящие электрический ток» и «Все планеты есть имеющие форму куба»). Это и есть форма рассматриваемых утверждений. Такую же логическую форму имеют утверждения «Все кометы имеют хвост», «Все люди добры» и т. п. Но утверждения «Все люди не являются бессмертными» и «Все личинки мух не имеют головы» имеют уже другую логическую форму – «Все S не есть Р».