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

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

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

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

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

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

И еще одно терминологическое замечание. В логике принято говорить не «на языке», а «в языке»: «формулируется в определенном языке», «доказывается в языке» и т. п.

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

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

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

Казалось бы, все просто. Однако просто только в идеале и абстракции.

Различие между формой и содержанием не является абсолютным. То, что в одном случае считается относящимся к форме, в другом может оказаться содержательным компонентом рассуждения, и наоборот. Противопоставление формы мысли ее содержанию является относительным и верным лишь в определенных границах. Так что интерес формальной логики только к форме не означает абсолютного отвлечения от всякого содержания. В принципе такое полное разъединение формы и содержания вообще недостижимо, поскольку формы, совершенно лишенной содержания, нет. Формальная логика, исследуя логическую форму, анализирует и содержание, с необходимостью присутствующее в ней.

Это содержание является довольно своеобразным. Иногда его называют «формальным», чтобы отличить от «конкретного содержания», содержания в обычном смысле этого слова. Но ясно, что какое-то содержание — пусть и не совсем обычное — в логической форме все-таки есть.

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