Борис Бирюков - Жар холодных числ и пафос бесстрастной логики

Формальный аппарат, изложенный в пп. I—IV (пункт V, как говорят, не расширяет его возможностей), можно понимать как теорию абстрактной булевой алгебры — булевой алгебры как любого множества объектов (носителя), взятого вместе с семейством операций. определенных на этом множестве, которое удовлетворяет всем требованиям данного аппарата, причем как теорию в узком смысле: как некоторое исчисление (равенств). Такую теорию следует отличать от теории булевых алгебр в широком смысле, в которой исследуются свойства приведенного формального аппарата (и аналогичных ему построений) и его интерпретации, формализации булевых алгебр средствами тех или иных логических систем, обобщения понятия булевой алгебры и т. д.

В логике исчислением обычно называют систему правил порождения объектов, допускающих осмысление (интерпретацию), и позволяющую выделять среди осмысленных объектов такие, которые в интерпретациях оказываются в каком-либо разумном смысле истинными суждениями. В рассмотренном нами исчислении объекты возникают в два этапа:

на первом с помощью пп. I и II порождаются формулы (и —с помощью п. V —их сокращения),

на втором (п. III) из формул строятся равенства. Далее среди возникших таким образом объектов происходит отбор тех из них, которые в интерпретациях оказываются верными, отбор равенств [23] 55 23. Заметим, что булеву алгебру можно сформулировать и на основе отношения ≤ (или ≥). См: X. Б. Карри. Основания математической логики. М., 1969. , истолковываемых как суждения о свойствах элементов соответствующей булевой алгебры, выраженные в терминах ~, & и V. Этот отбор задается постулатами (п. IV); он основан на процедуре порождения верных равенств посредстве м правил вывода [b], исходя из равенств, представляющих собой аксиомы (согласно списку схем аксиом [а]).

Проиллюстрируем механизм подобного порождения на приведенном выше (с. 64) примере доказательства равенства

Шаг (1) состоял в следующем. Было взято равенство (A1 → ~A2) = (~A1 V ~A2), верное по определению (п. V), и к нему применено правило вывода —замена равным [b] следующим образом: в ((A1 → ~A2) & (A3 → A1)) →

(A3 → ~A2) часть (A1 → ~A2) была заменена на формулу (~A1 V ~A2), в результате чего получилось верное равенство:

Здесь роль α, фигурирующей в формулировке правила замены равным, играло выражение (A1 → ~A2)» роль β — формула (~A1 V ~A2), роль Ф[а]—выражение ((А1 → A2) & (A3 → A1)) → ( A3 → ~A2). роль Ф[β] - выражение ((~A1 V ~A2) & (A3 → A1)) → (A3→ ~A2). На шагах (2) и (3) в последнем выражении была произведена аналогичная замена импликативных выражений равными им (в силу определения п. V) дизъюнктивными формулами. Читатель может самостоятельно проследить, как применялось правило замены (и правила, выражающие симметричность и транзитивность равенства) на всех шагах доказательства, приведенного на с. 64—65. Заметим, что на некоторых шагах правило замены использовалось несколько раз.

Вернемся, однако, к логической интерпретации. Как мы говорили, операциям ~, &, V соответствуют отрицание, конъюнкция и (слабая, неразделительная) дизъюнкция — соединительно-разделительный союз «или». Как мы увидим ниже, при интерпретации яа классах эти операции истолковываются как взятие дополнения к классу, пересечение и объединение двух произвольных классов. В исчислении, которое разработал сам Дж. Буль и которое истолковывалось им прежде всего как теория классов (ср. ниже третью интерпретацию), использовалась не операция объединения классов, а так называемая симметрическая разность (объединение двух классов с исключением их общей части), а в случае интерпретации на высказываниях — строгая дизъюнкция, то есть операция, соответствующая союзу «или» в разделительном смысле (в разговорном языке передаваемом оборотом «или..., или», «либо..., либо»); если обозначить операцию строгой дизъюнкции знаком Û то запись (а Û β) означает, что это строго-дизъюнктивное высказывание (форма высказывания) истинно тогда, и только тогда, когда один член дизъюнкции, безразлично какой, истинен, а другой ложен. Если в перечне схем аксиом [а] изложенного нами исчисления заменить знак V всюду, где он встречается, знаком Û, то некоторые равенства станут неверными (например, «проваливаются» оба закона Де Моргана).

Это означает, что у самого Буля булевой алгебры не было. Она появляется, конечно, не в виде абстрактной алгебраической системы, а в виде содержательных интерпретаций на классах и высказываниях — лишь у Ст. Джевонса (см. выше. гл. 2). Но от Буля ведет свое начало тип алгебраических систем, переменные которых могут пониматься как двоичные переменные и формулы которых принимают только одно из тех же самых двух значений (поэтому эти переменные и формулы сейчас нередко называют булевыми). К системам такого рода принадлежит и булева алгебра. В этом смысле Буль действительно стоит у ее истоков, что и оправдывает ее название [24] 56 24. Для этого имеются и другие причины. Дело в том, что в алгебре логики Буля можно определить операцию дизъюнкции, и тогда все равенства, верные в логике высказываний как булевой алгебре, будут верными и в теории Буля; с другой стороны, в рассмотренной нами теории можно определить строгую дизъюнкцию (например, так: (А V B)≝((A & ~В) V (~А & В)), и тогда теория Буля может быть пред. ставлена как теория булевой алгебры (в узком смысле). .