БУЛЬ

(1815-1864)

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

Одна из ранних работ Буля по анализу была послана в Лондон. В силу неизвестности автора и сложности вопроса ее чуть не отклонили от публикации в «Известиях Королевского общества». Однако через два года за эту работу это же общества присудило Булю Королевскую медаль. В 1849 г. Буль стал профессором математики в колледже в Корке (Ирландия), где он и прожил до конца своей жизни. Сорока лет Буль женился на Мэри Эверест. У Буля было 5 дочерей, из которых младшая, Этель Войнич, известна как автор замечательного романа «Овод».

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

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

МАТЕМАТИЧЕСКИЙ АНАЛИЗ ЛОГИКИ Предисловие

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

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

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

Линкольн,

29 октября 1847 г.