Мысли имеют форму
Логика отделяет правильные способы рассуждения от неправильных и систематизирует первые. Ее можно определить, таким образом, как науку о правильном рассуждении. Она занимается, конечно, не только связями утверждений в правильных выводах, но и другими темами. В числе последних проблемы смысла и значения выражений языка, различные отношения между понятиями, определение понятий, деление и классификация, вероятностные и статистические рассуждения, софизмы и парадоксы. Но главная и доминирующая тема формальной логики — это, несомненно, анализ правильности рассуждения, исследование «принудительной силы речей».
Своеобразие логики связано, прежде всего, с ее основным принципом, в соответствии с которым правильность рассуждений зависит только от формы этих рассуждений.
Этот принцип представляется на первый взгляд довольно простым. Но он далеко не так прост, как кажется. Во всяком случае, он не проще входящего в его формулировку понятия формы рассуждения.
Самым общим образом форму рассуждения можно определить как способ связи входящих в это рассуждение содержательных частей.
Чтобы сделать это определение понятным и полезным, надо раскрыть смыслы всех входящих в него понятий и показать на примерах как выявляется логическая форма конкретных мыслей, рассуждений. В дальнейшем мы как раз и займемся этим. Сейчас же сделаем несколько общих замечаний, связанных так или иначе с понятием логической формы.
Рассуждение — это цепочка утверждений или высказываний, определенным образом связанных друг с другом. И само рассуждение, и входящие в него утверждения представляют собой акты нашего разума, или, как говорят, наши «мысли». Слово «мысль» не отличается особой ясностью. Тем не менее для наших целей можно без всяких опасений вместо термина «форма рассуждения» употреблять термин «форма мысли».
И еще одно терминологическое замечание. В логике принято говорить не «на языке», а «в языке»: «формулируется в определенном языке», «доказывается в языке» и т. п.
Основной принцип формальной логики предполагает — и это следует специально подчеркнуть, — что каждое наше рассуждение, каждая мысль, выраженная в языке, имеет не только определенное содержание, но и определенную форму. Предполагается также, что содержание и форма отличаются друг от друга и могут быть разделены. Содержание мысли не оказывает никакого влияния на правильность рассуждений и от него следует поэтому отвлечься. Для оценки правильности существенной является лишь форма мысли. Ее необходимо выделить в чистом виде, чтобы затем на основе одной «бессодержательной» формы решить вопрос о правильности рассматриваемого рассуждения.
Как известно из философии, все предметы, явления и процессы имеют как содержание, так и форму. Наши мысли не являются исключением из этого общего правила. То, что они обладают определенным, меняющимся от одной мысли к другой содержанием, известно каждому. Но мысли имеют также форму, что обычно ускользает от внимания.
Логика не интересуется содержанием наших мыслей. Ее внимание целиком приковано к форме, ибо только от формы зависит правильность рассуждений.
Казалось бы, все просто. Однако просто только в идеале и абстракции.
Различие между формой и содержанием не является абсолютным. То, что в одном случае считается относящимся к форме, в другом может оказаться содержательным компонентом рассуждения и наоборот. Противопоставление формы мысли ее содержанию является относительным и верным лишь в определенных границах. Так что интерес формальной логики только к форме не означает абсолютного отвлечения от всякого содержания. В принципе, такое полное разъединение формы и содержания вообще недостижимо, поскольку формы, совершенно лишенной содержания, нет. Логика, исследуя логическую форму, анализирует и содержание, с необходимостью присутствующее в ней.
Это содержание является довольно своеобразным. Иногда его называют «формальным», чтобы отличить от «конкретного содержания», содержания в обычном смысле этого слова. Но ясно, что какое-то содержание — пусть и не совсем обычное — в логической форме все-таки есть.
Поэтому положение, что логика интересуется одной формой рассуждений, нуждается в важной конкретизации. Оно требует прояснения самого понятия такой формы.
Понятие логической формы, формы рассуждения или формы мысли является крайне абстрактным. Смысл его лучше всего раскрыть на примерах.
Сравним два утверждения: «Все лошади едят овес» и «Все реки впадают в море». По содержанию они совершенно различны, к тому же первое из них является истинным, а второе — ложным. И тем не менее сходство их несомненно. Это сходство, а точнее говоря, тождество их строения, формы. Чтобы выявить подобное сходство, нужно отвлечься от содержания утверждений, а значит и от обусловленных им различий. Оставим поэтому в стороне лошадей и овес, реки и моря. Заменим все содержательные компоненты утверждений латинскими буквами, скажем, S и Р, не несущими никакого содержания. В итоге получим в обоих случаях одно и то же: «Все S есть Р».
Это и есть форма рассматриваемых утверждений. Она получена в результате отвлечения от конкретного их содержания, от которого в ней не осталось никаких следов. Но сама эта форма имеет все-таки некоторое содержание. Из нее мы узнаем, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р. Это не особенно богатое, но все-таки содержание, «формальное содержание».
Этот простой пример хорошо показывает одну из особенностей подхода логики к анализу рассуждений — его высокую абстрактность.
В самом деле, все началось с очевидной мысли, что утверждения о лошадях, которые едят овес, и о реках, впадающих в море, совершенно различны. И если бы не цели логического анализа, на этом различии мы и остановились бы. Именно так и поступил герой одного из рассказов А. Чехова, не увидевший ничего общего между высказываниями «Лошади едят овес» и «Волга впадает в Каспийское море».
Отвлечение от содержания и выявление формы привело нас, однако, к прямо противоположному мнению: рассматриваемые утверждения имеют одну и ту же логическую форму, и, следовательно, они полностью совпадают. Начав с мысли о полном различии утверждений, мы пришли к выводу об абсолютной их тождественности.
Никакой непоследовательности во всем этом нет. Два утверждения, различные с точки зрения своего содержания, оказались неразличимыми с точки зрения своей логической формы. Но насколько абстрактным должен быть подход формальной логики, чтобы дать возможность увидеть за совершенным различием полное совпадение!
Легко понять, что такое пространственная форма. Скажем, форма здания характеризует не то, из каких элементов оно сложено, а только то, как эти элементы связаны друг с другом. Здание одной и той же формы может быть и кирпичным, и железобетонным.
Достаточно просты также многие непространственные представления о форме. Говорят, например, о форме классического романа, предполагающего постепенную завязку действия, кульминацию и, наконец, развязку. Все такие романы независимо от их содержания сходны в своей форме, способе связи своих содержательных частей.
