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

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

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

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

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

Если посылки, или хотя бы одна из них, являются ложными, правильное рассуждение может давать в итоге как истину, так и ложь. Неправильные рассуждения могут от истинных посылок вести как к истинным, так и к ложным заключениям. Никакой определенности здесь нет. С логической необходимостью заключение вытекает только в случае правильных, обоснованных выводов.

Логика занимается, конечно, не только связями утверждений в правильных выводах, но и другими проблемами. В числе последних — смысл и значение выражений языка, различные отношения между понятиями, определение понятий, вероятностные и статистические рассуждения, софизмы и парадоксы и др. Но главная и доминирующая тема формальной логики — это, несомненно, анализ правильности рассуждения, исследование "принудительной силы речей", как говорил основатель этой науки — древнегреческий философ и логик Аристотель.

2. Логическая форма

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

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

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

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

Как известно, все предметы, явления и процессы имеют как содержание, так и форму. Наши мысли не являются исключением из этого общего правила. То, что они обладают определенным, меняющимся от одной мысли к другой содержанием, известно каждому. Но мысли имеют также форму, что обычно ускользает от внимания.

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

Сравним два высказывания:

"Все шахматисты — гроссмейстеры".

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

"Все S есть Р".