Жар холодных числ и пафос бесстрастной логики - [15]

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

Мы познакомимся с одной из логических машин прошлого столетия — с машиной Джевонса. Она была основана на более детально разработанной формализованной логике, чем логические исчисления, которые строил Лейбниц. Это и не удивительно: Джевонс не только хорошо знал труды основоположника математической логики Буля (которые оценивал как «эпоху в человеческом мышлении») и другого известного математика того времени — Августа Де Моргана (1806—1871), но и сам разработал оригинальную систему алгебраического логического исчисления. Последнее и было положено в основу действия его машины.

Уильям Стенли Джевонс (1835—1882), профессор логики и политической экономии в Манчестере, а затем в Лондоне, построил свою машину в 1869 году. Ныне она хранится в Музее истории наук в Оксфорде. Ее демонстрация в свое время вызвала, по-видимому, большой интерес и явилась некоторого рода сенсацией; но она не производила, вероятно, того мистического впечатления, как когда-то прибор Луллия. Времена изменились, и хотя многие люди и в наши дни легко могут поверить в «летающие тарелки», все же престиж научного знания вырос существенно. Поэтому на устройство Джевонса смотрели как на Доказательство торжества точных наук и математики, а не как на таинственный «указатель истины».

Машина Джевонса вызвала интерес и в нашей стране: в конце XIX века у нас была опубликована статья с описанием машины[12], а в последствии она была воспроизведена в России с некоторыми усовершенствованиями и публично демонстрировалась. Приведем объявление, помещенное в газете «Русские ведомости» от 16 апреля 1914 года:

«Мыслительная машина. В субботу, 19 апреля в большой аудитории Политехнического музея состоится публичная лекция проф. А. Н. Щукарева на тему «Познание и мышление». Во время лекции будет демонстрирована мыслительная машина, аппарат, который позволяет воспроизвести механически процесс человеческой мысли, то есть выводить заключения из поставленных посылок. Машина построена впервые математиком Джевонсом и усовершенствована автором лекции. Результаты ее операций получаются на экране в словесной форме»[13].

Чтобы пояснить, какого рода логические рассуждения можно было «передать» машине Джевонса, расскажем о его логическом исчислении. Это исчисление было модификацией алгебры логики Дж. Буля, о вкладе которого в интересующую нас область речь пойдет в следующей главе.

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

Правило это (его Джевонс называл «принципом замещения») гласит: если верно, что А = В, и об А нечто утверждается (то есть A входит в состав какого-то сложного утверждения, признаваемого верным), то тоже самое должно утверждаться и о В. Как, разъясняет Джевонс, «то, что верно об одной вещи, будет верно и относительно другой, равнозначащей с первой»[14].

Логика Джевонса была логикой классов; суждения в ней записывались как равенства и истолковывались как высказывания о классах (множествах) предметов. Смысл равенств был следующим:

(1) А = В — простое тождество: множества A и B совпадают. Например, «Равносторонние треугольники = равноугольные треугольники», то есть «Все равносторонние треугольники равноугольны».

(2) A = АВ — частичное тождество: класс A совпадает с пересечением классов А и В[15].

Например, «Млекопитающие = млекопитающие позвоночные», чему в обычной речи соответствует «Все млекопитающие суть позвоночные».

(3) АВ = АС — ограниченное тождество: тождество B и C ограничено сферой вещей, которые суть A. Например, «Материальное вещество = материальное тяготеющее вещество».

(4) A = АВ' — выражает отрицательное суждение «Ни одно A не есть В». Например, «Элемент = то, что не может быть разложено». Здесь В' — класс, дополняющий B до «класса всех вещей» - универсального класса V.

(5) A = АВ ∪ АС — формула так называемого разделительного (дизъюнктивного) суждения «A суть B или C» («Красный металл есть медь или золото»).