Изменение смысла основных понятий логики

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

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

Законы логики долгое время представлялись абсолютными истинами, никак не связанными с опытом. Однако возникновение конкурирующих логических теорий, отстаивающих разные множества законов, показало, что логика складывается в практике мышления и что она меняется с изменением этой практики. Логические законы – такие же продукты человеческого опыта, как аксиомы евклидовой геометрии тоже казавшиеся когда-то априорными.

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

– 22 –

«Рассуждения» имеют место в большом числе различных контекстов: в повседневной жизни, в математике и науке, в судах и, между прочим, в логике тоже, пишет Г.Х. фон Вригт. Нельзя считать само собою разумеющимся, что принципы, согласно которым протекают верные рассуждения, одни и те же во всех контекстах (видах контекстов). «Законы логики» не обязательно истинны semper ubique.

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

Обнаружилась, таким образом, «двойственная гибкость» человеческой логики: она может изменяться не только в зависимости от области обсуждаемых объектов, но и в зависимости от уровня теоретического осмысления этой области.

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

Можно сказать, что Витгенштейн настаивает на двойственном, дескриптивно-прескриптивном характере логических законов. Они формируются в практике мышления, систематизируя и очищая от случайностей опыт теоретизирования. В этом смысле законы описывают то, как на самом деле люди мыслят. Но, с другой стороны, законы

– 23 –

предписывают определенные формы поведения, выдвигают известные образцы и требования. В этом смысле они определяют, что должно называться правильным мышлением.

Законы логики не являются каким-то исключением в этом плане: дескриптивно-прекскриптивными образованиями являются все научные законы. Однако в логических законах явно доминирует прескриптивное начало. В этом они близки к моральным принципам, правилам грамматики и т.п.

Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязательным для каждого непредубежденного ума. Развитие логики показало, однако, что доказательства вовсе не обладают абсолютной, вневременной строгостью и являются только культурно опосредствованными средствами убеждения. Даже способы математической аргументации наделе историчны и социально обусловлены.

Хотя термин «доказательство», замечает В.А.Успенский, является едва ли не самым главным в математике, он не имеет точного определения. Понятие доказательства во всей его полноте принадлежит математике не более, чем психологии: ведь доказательство – это просто рассуждение, убеждающее нас настолько, что с его помощью мы готовы убеждать других.

Еще в «Принципах математики» Б.Рассел писал, что одно из главных достоинств, присущих доказательствам, состоит в том, что они пробуждают определенный скептицизм по отношению к доказанному результату. В этой же книге Рассел даже утверждал, что любой результат может быть опровергнут, но никогда не может быть доказан.

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

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

– 24 –

есть сохраняющее истинность развитие мысли. Например, когда утверждается, если А, то В, утверждается, что если истинно А, то В тоже истинно. И когда от этого мы по контрапозиции переключаемся на утверждение, что если не–В, тогда и не–А, это имеет такой смысл, что если бы было ложным В, то А тоже было бы ложным.

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

В стандартном определении доказательства и сейчас еще используется понятие истины. Доказать некоторое утверждение – значит логически вывести его из других, являющихся истинными положений. Но многие утверждения не связаны с истиной: предположения, гипотезы, рассказы о вымышленных лицах и событиях, просьбы, угрозы, благодарности, проклятия, мольбы, приветствия и т.д.

Оценочные, нормативные и им подобные высказывания способны быть посылками и заключениями корректных рассуждений. Это означает, что «высказывание», «логическое следование» и другие центральные понятия логики должны быть определены в терминах, отличных от «истины» и «лжи». Намечается выход логики за пределы «царства истины», в котором она находилась до сих пор. Понимание ее как науки о приемах получения истинных следствий из истинных посылок должно уступить место более широкой концепции логики.

Отказ от использования понятия истины в обосновании ключевых понятий логики начался еще с интуиционистской логики.

Понятие истины, отмечает Д. Майхилл, не играет у интуиционистов никакой роли, во всяком случае оно не является тем элементарным рычагом, с помощью которого объяснялся бы смысл пропозициональных связок, как это делается в классической логике. Роль понятия истины на этом уровне выполняет в интуиционизме понятие (значимых) оснований для утверждения чего-то.

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

Использование понятия истины при определении логической правильности рассуждения можно назвать основной ошибкой логики.

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

– 25 –

языки, имеющие ясную логическую структуру, равноправны, и ни один из них не лучше и не хуже другого. Это – так называемый принцип терпимости, отрывающий логику от обычного мышления и обычного языка.

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

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

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