Исходя из этих договоренностей, Буль сумел сформулировать набор аксиом, определяющий алгебру логики. Например, можете сами убедиться, что при помощи вышеприведенных определений очевидно истинное суждение «Все или х, или не х» в булевой алгебре может быть записано как x + (1 – x) = 1, что верно и в обычной алгебре. Подобным же образом и утверждение об общей части между любым классом и нулевым классом выражается как 0 · x = 0, что также означает, что конъюнкция любого утверждения с ложным утверждением ложна. Например, конъюнкция «сахар сладкий и люди бессмертны» порождает ложное утверждение, несмотря на то, что первая часть истинна. Обратите внимание, что опять же это «равенство» в булевой алгебре остается истинным, даже если воспринимать его как нормальное алгебраическое выражение.
Чтобы показать все возможности своих методов, Буль попытался применить логические символы ко всему, что казалось ему важным. В частности, он проанализировал даже доводы философов Сэмюэля Кларка и Баруха Спинозы в пользу существования Бога и относительно его качеств. Однако пришел он при этом к довольно-таки пессимистическому выводу: «Думаю, после изучения доводов Кларка и Спинозы невозможно не прийти к глубочайшему убеждению о тщетности всех попыток доказать – целиком и полностью a priori – существование Беспредельного Существа и судить о Его качествах и Его отношениях со Вселенной». Несмотря на резонность вывода Буля, не все, очевидно, были так уж убеждены в тщетности подобных попыток, поскольку обновленные версии онтологических доводов в пользу существования Бога появляются и по сию пору[124].
В целом Буль сумел математически обуздать логические связки «и», «или», «если… то» и «не», которые сейчас лежат в самой основе компьютерных операций и самых разных коммутационных схем. Поэтому многие считают его одним из «провозвестников», приблизивших эру цифровых технологий. И все же булева алгебра была новой и неслыханной, а потому несовершенной. Во-первых, у Буля получалось писать несколько нестрого и не вполне понятно, поскольку он прибегал к системе обозначений, слишком похожей на обычную алгебру. Во-вторых, Буль путал утверждения («Аристотель смертен»), предикаты («х смертен») и утверждения с квантором всеобщности («х смертен для любого х»). Наконец, впоследствии Фреге и Рассел утверждали, что алгебра коренится в логике. Поэтому можно возразить, что следует строить алгебру на логике, а не наоборот.
Однако в книге Буля содержалась одна идея, которой предстояло стать очень плодотворной. Речь идет о понимании тесной связи логики с понятием