Александр Ивин - По законам логики

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

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

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

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

Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 году и американский логик Э. Пост в 1921 году. С тех пор построены и исследованы десятки и сотни таких «логик». Я. Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и возможными, или неопределенными? К последним были отнесены высказывания наподобие: «Я буду в Москве в декабре будущего года». Событие, описываемое этим высказыванием, сейчас никак не предопределено ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.

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

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

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

Вопрос о такой интерпретации — это как раз самая сложная и спорная проблема многозначной логики. Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что, собственно, означают высказывания, не относящиеся ни к истинным, ни к ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи. Приходится поэтому не только придавать смысл промежуточным степеням, но и переистолковывать сами понятия истины и лжи.

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

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

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

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

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

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

Возьмем выражение: «Металлы проводят электрический ток». Оно допускает двоякое уточнение: количественное и качественное. Можно воспользоваться какими-то из слов: «все», «некоторые», «большинство», «только один», «ни один» и т. п. и уточнить, о всех металлах идет речь или нет, всякого ли рода ток они проводят или же только одну его разновидность и т. д. Это будет количественная конкретизация высказывания. Можно также попытаться конкретизировать качественный характер установленной в нем связи. Для этого используются модальные понятия. Результатом их применения будут высказывания: «Необходимо, что металлы проводят ток», «Хорошо, что они проводят ток», «Опровергнуто, что это так» и т, п.

Все модальные понятия распадаются на группы. Каждая из них дает характеристику с некоторой единой точки зрения. Так, для теоретико-познавательной конкретизации утверждений используются понятия «доказуемо», «опровержимо» и «неразрешимо», для нормативной — понятия «обязательно», «разрешено» и «запрещено», Для оценочной — понятия «хорошо», «плохой и «безразлично».

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

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