По законам логики

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

МНОГОЗНАЧНАЯ ЛОГИКА

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

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

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

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

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

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

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

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

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

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