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