Сергей Капица. Учёные математики 18-19 веков

Джордж Буль - Математический анализ логики

В 1854 г. появилось знаменитое теперь сочинение Буля «О законах мышления». Однако раньше в 1847 г. было опубликовано первоначальное изложение этого крута вопросов в книге «Математический анализ логики», предисловие к которой мы и приводим.

МАТЕМАТИЧЕСКИЙ АНАЛИЗ ЛОГИКИ

Предисловие

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

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

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

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

Линкольн,

29 октября 1847 г.