С развитием математической логики это направление в логике, путающее ее с поверхностно понятой методологией и пронизанное психологизмом, постепенно захирело.
Одним из отголосков идей «расширенной» логики является, в частности, разговор о так называемых «основных» законах мышления, или «основных» законах логики.
Согласно этой «широкой» трактовке логики основные законы — это наиболее очевидные из всех утверждений логики, являющиеся чем-то вроде аксиом этой науки. Они образуют как бы фундамент логики, на который опирается все ее здание. Сами же они ниоткуда не выводимы, да и не требуют никакой опоры в силу своей исключительной очевидности.
Под это до крайности расплывчатое понятие основных законов можно было подвести самые разнородные идеи. Обычно к таким законам относили закон противоречия, закон исключенного третьего и закон тождества. Нередко к ним добавляли еще закон достаточного основания и принцип «обо всех и ни об одному
Согласно последнему принципу сказанное обо всех предметах какого-то рода верно и о некоторых из них, и о каждом в отдельности; неприложимое ко всем предметам неверно также в отношении некоторых и отдельных из них.
Действительно, это так. Но совершенно непонятно, какое отношение имеет эта истина к основаниям логики. В современной логике это один из бесконечного множества ее законов.
Закон достаточного основания вообще не является принципом логики — ни основным, ни второстепенным. Он требует, чтобы ничто не принималось просто так, на веру. В случае каждого утверждения следует указывать основания, в силу которых оно считается истинным. Разумеется, это никакой не закон логики. Скорее всего это некоторый методологический принцип, не особенно ясный, но в общем небесполезный.
Закон тождества, как он толковался в «расширенной» логике, тоже имел только отдаленное сходство с соответствующим законом. В процессе рассуждения значения понятий и утверждений не следует изменять. Они должны оставаться тождественными самим себе, иначе свойства одного объекта незаметно окажутся приписанными совершенно другому. Чтобы этого не случилось, надо выделять обсуждаемые объекты по достаточно устойчивым признакам.
Требование не изменять и не подменять значения в ходе рассуждения является, конечно, совершенно справедливым. Но столь же очевидно, что оно не относится к законам логики.
Что касается законов противоречия и исключенного третьего, то и они в рамках «расширенной» логики приобретали ярко выраженный методологический уклон. Первый из этих законов обычно превращался в запрещение говорить одновременно «да» и «нет», утверждать и отрицать одно и то же об одном и том же предмете, рассматриваемом в одном и том же отношении. Второй подменялся требованием, чтобы решение каждого вопроса доводилось до полной определенности. Анализ следует считать завершенным только тогда, когда установлена истинность либо рассматриваемого положения, либо его отрицания.
Это — полезные советы, но никакие не законы логики.
В итоге можно сказать, что рассуждения «расширенной» логики об основных законах мышления затемняют и запутывают проблему логических законов.
Как ясно показала современная логика, законов ло-гики бесконечное множество. Деление, их на основные и неосновные лишено ясных оснований.
Несостоятельна также подмена логических законов расплывчатыми методологическими советами. Никакого фундамента в виде короткого перечня основополагающих принципов у науки логики нет. В этом она не отличается от всех других научных дисциплин.
«Основных принципов», из которых выводилось бы или на которые опиралось бы все остальное содержание, нет ни у математики, ни у психологии, ни у любой иной науки. Иногда, правда, говорят о таких принципах или о фундаменте какой-то отрасли знания. В прошлом веке термин «основные принципы» нередко фигурировал в названиях научных книг. Но все это не должно пониматься буквально и прямолинейно.
Удивительно, что разговор об «основных принципах» логики иногда возникает даже в наше время.
Есть еще один предрассудок, культивировавшийся «расширенной» логикой и доживший до наших дней. Это обсуждение законов логики в полном отрыве их от всех иных ее важных тем и понятий и даже в изоляции их друг от друга.
При чтении старых книг по логике постепенно складывается впечатление разрозненности, необязательности и несвязанности рассматриваемых в них тем. Если удалить из старого учебника логики, скажем, раздел о законе исключенного третьего, на трактовке других законов это не скажется. Можно вообще устранить из такого учебника всякое упоминание об основных законах. И при этом все оставшееся не нужно будет даже перефразировать.
Логические законы интересны, конечно, и сами по себе. Но если они действительно являются важными элементами механизма мышления — а это, несомненно, так, — они должны быть неразрывно связаны с другими элементами этого механизма. И прежде всего с центральным понятием логики — понятием логического следования, и значит, с понятием доказательства.
Современная логика устанавливает такую связь.
Доказать утверждение — значит показать, что оно является, логическим следствием других утверждений, истинность которых уже установлена. Заключение логически следует из принятых посылок, если оно связано с ними логическим законом.
Без логического закона нет логического следования и нет самого доказательства.
ЕЩЕ ЗАКОНЫ
Вернемся, однако, к конкретным законам логики.
Законы двойного отрицания позволяют снимать и вводить такое отрицание. Их можно выразить так: если неверно, что не-А, то А; если А, то неверно, что не-А. Например, «Если неверно, что Фреге не знал закона снятия двойного отрицания, то Фреге знал этот закон», и наоборот.
Закон, носящий имя средневекового логика и философа монаха Дунса Скота, характеризует ложное высказывание. Смысл этого закона можно приблизительно передать так: из ложного утверждения вытекает какое угодно утверждение. Применительно к конкретным утверждениям это звучит так: если дважды два равно четыре, то если это не так, то вся математика ничего не стоит. В подобного рода рассуждениях есть несомненный привкус парадоксальности. Особенно заметным он становится, когда в качестве заключения берется явно ложное и совершенно не связанное с посылками высказывание. Например: если дважды два равно четыре, то если это не так, то Луна сделана из зеленого сыра. Явный парадокс! Не все описания логического следования принимают данный закон в качестве правомерного способа рассуждения. Построены, хотя только сравнительно недавно, такие теории логических связей, в которых этот и подобные ему способы рассуждения считаются недопустимыми.
Известен анекдот о Б. Расселе, доказавшем своему собеседнику на каком-то вечере, что из того, что два плюс два равно пяти, вытекает, что он, Рассел, — римский папа. В доказательстве использовался закон Дунса Скота.
Отнимем от обеих сторон равенства 2 + 2 = 5 по 3. Получим: 1=2. Если собеседник утверждает, что Рассел не является римским папой, то этот папа и Рассел — два разных лица. Но поскольку 1=2, папа и Рассел — это одно и то же лицо.
Закон, названный именем еще одного средневекового монаха и логика — Клавия, лежит в основе доказательства путем приведения к абсурду. Закон Клавия говорит, что если из ложности утверждения вытекает его истинность, то утверждение истинно.
К законам доказательства путем приведения к абсурду относится и принцип, говорящий, что если из утверждения вытекает противоречие, то это утверждение ложно. Например, если из утверждения: «Треугольник имеет четыре угла» — выводится как то, что у треугольника три угла, так и то, что у него не три угла, это означает, что исходное утверждение ложно.
Приведенные формулировки законов логики и примеров к этим законам являются весьма неуклюжими конструкциями, и звучат они довольно непривычно. И это даже в случае самых простых по своей структуре законов. Естественный язык, использовавшийся в этих формулировках, явно не лучшее средство для данной цели. И дело даже не столько в громоздкости получаемых выражений, сколько в отсутствии ясности и точности в передаче законов.
Мало сказать, что о законах логики трудно говорить, пользуясь только обычным языком. Строго подходя к делу, нужно сказать, что они вообще не могут быть адекватно переданы на этом языке.
Не случайно современная ложка строит для выражения своих законов и связанных с ними понятий специальный язык. Этот формализованный язык отличается от обычного языка прежде всего тем, что следует за логической формой и воспроизводит ее даже в ущерб краткости и легкости общения.