Морис Клайн - Математика. Утрата определенности.

В то время как внимание большинства математиков было сосредоточено на обосновании собственно математики, менее многочисленная группа занялась критическим пересмотром логики. Выдающихся успехов в этом направлении добился профессор математики Куинз-колледжа в Корке (Ирландия) Джордж Буль (1815-1864). {95}

В своей работе Буль, несомненно, вдохновлялся примером общей (или абстрактной) алгебры, основы которой были заложены кембриджской группой — Пикоком, Грегори и де Морганом (гл. VII). Хотя использованный этими авторами принцип перманентности форм в действительности не мог служить обоснованием алгебраических операций, производимых над буквенными коэффициентами с вещественными или комплексными значениями, Пикок, Грегори и де Морган косвенно способствовали возникновению нового взгляда на алгебру как на науку о символах и операциях, которые могут иметь любую природу и представлять любые объекты. Работа Гамильтона о кватернионах (1843) показала, что возможны другие алгебры, отличные от привычной алгебры вещественных и комплексных чисел. Обобщение алгебраических рассуждений в форме так называемой алгебры операторов предложил в 1844 г. Буль. Его также беспокоила мысль о том, что алгебра не обязательно должна заниматься рассмотрением одних лишь чисел и что законы алгебры не обязательно должны совпадать с законами арифметики вещественных и комплексных чисел. Упомянув об этом в начале своей работы «Математический анализ логики» (1847), Буль вскоре развил алгебру логики. Шедевром по праву считается работа Буля «Исследование законов мышления» (1854). Основная идея Буля, менее претенциозная, чем идея Лейбница об универсальной алгебре, и более близкая по духу лейбницевскому calculus ratiocinator (логическая форма мышления), состояла в том, что существующие законы мышления представимы в символическом виде, позволяющем придать более точный смысл обычным логическим рассуждениям и упростить их применение. В своей книге Буль так сформулировал программу построения алгебры логики:

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

Кроме того, Буля интересовали некоторые конкретные приложения логики, в частности к законам вероятности.

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

Чтобы по достоинству оценить булеву алгебру логики, упомянем лишь некоторые из ее идей. Пусть символы x и y означают классы объектов, например класс собак и класс рыжих животных. Тогда xy означает класс объектов, принадлежащих одновременно классу x и классу y. Если x и y имеют предложенную нами интерпретацию, то xy означает класс рыжих собак. Равенство xy = yx верно при любых x и y. Если z — класс белых объектов и если x = y, то zx = zy. Кроме того, из самого смысла «произведения» xy следует, что xx = x.

Символ x + y означает класс объектов, принадлежащих либо классу x, либо классу y, либо классам x и y одновременно. (Это более поздняя модификация логических построений Буля, предложенная Уильямом Стенли Джевонсом (1835-1882). {96}) Так, если x — класс мужчин, а y — класс избирателей, то x + y — класс мужчин и избирателей (включающий в себя помимо избирателей-мужчин также и избирателей-женщин). Нетрудно доказать, что если, скажем, z — класс людей старше 35 лет, то

z ( x + y ) = zx + zy .

Если x — некоторый класс объектов, то 1 − x (или −x ) — множество всех объектов, не принадлежащих классу x. Так, если 1 — множество всех объектов, x — множество собак, то 1 − x (или −x ) — множество всех объектов, не являющихся собаками. Соответственно −(−x) означает множество собак. Равенство

x + (1 − x ) = 1

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

Буль заложил также основы исчисления высказываний, хотя начало этой области логики восходит к стоикам (IV в. до н.э.). В интерпретации этого исчисления p, например, означает «Джон — человек». Утверждать p означает утверждать, что высказывание «Джон — человек» истинно. Тогда 1 − p (или −p ) означает, что высказывание «Джон — человек» не истинно. Аналогично высказывание −(−p) означает: «Неверно, что Джон не человек», т.е. «Джон — человек». Закон исключенного третьего для высказываний, гласящий, что любое высказывание либо истинно, либо ложно, Буль записывал в виде p + (−p) = 1, где 1 соответствует истине. Произведение pq истинно, когда истинны оба высказывания p и q, а сумма p + q истинна, если истинно либо p, либо q (либо истинны оба высказывания).

Другое новшество было внесено де Морганом. В своем главном труде «Формальная логика» (1847) де Морган высказал идею о том, что логика должна заниматься изучением отношений в общем виде. Так, аристотелева логика занималась изучением отношения «быть» ( x есть y ). Классический пример: «Все люди смертны». Но аристотелева логика, по словам де Моргана, не в состоянии вывести из утверждения «Лошадь — животное» утверждение «Голова лошади — голова животного»: для этого необходимо ввести дополнительную посылку о том, что у всех животных есть головы. В сочинениях Аристотеля также есть фрагменты, посвященные логике отношений, хотя писал он о них довольно невразумительно и сжато. Кроме того, многие труды Аристотеля и обобщения, сделанные средневековыми учеными, были безвозвратно утеряны к XVII в. В необходимости логики отношений убедиться нетрудно. Так, следующее рассуждение, построенное только на отношении «быть», как легко видеть, ложно: