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