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

Теоретико-множественная интерпретация (на классах)

Введем в рассмотрение некоторую область предметов — универсальный класс V (ср. гл. 2). Будем рассматривать всевозможные классы (множества), состоящие из предметов универсума V, то есть его подмножества. Введем также пустой класс Л. На подмножествах множества V, включая и сами V и Л, обычным образом определим операции взятия дополнения к произвольному классу Л, пересечения двух произвольных классов A и B и их объединения (см. примечание 15 на с. 47). Истолкуем пропозициональные переменные булевой алгебры как переменные, значениями которых являются классы; операции ~, &, V будем понимать соответственно как ', ∩, ∪ и следовательно, формулы ~α, (α & β), (α V β) как формулы логики классов α', (α ∩ β) и (α ∪ β), а 1 и 0 — как V и Л. В соответствии с определением V это приведет к истолкованию выражений вида (α → β) и (α ≡ β) как совпадающих по смыслу с формулами вида (α' ∪ β) и ((α' ∪ β) ∩ (α ∪ β'))- Тогда формулы рассмотренного нами исчисления обратятся в формы классов [25] 57 25. Понятие формы класса (классовой формы) следует понимать по аналогии с понятием «форма высказывания». , так как при всякой подстановке каких-то значений вместо всех переменных- данной формулы мы будем получать некий класс. Равенства α = β, где- α и β — формы классов, обращается в истинное высказывание, если при данной подстановке значений на места всех переменных, имеющихся в а и β, формы а и β переходят в точности в один и тот же класс [26] 57 26. Ср. примечание 14. . Если это имеет место при любой подстановке такого рода, равенство считается верным.

Нетрудно проверить, что все 17 схем аксиом [а] при данной интерпретации оказываются верными равенствами. Возьмем, например, равенство 13. При интерпретации оно приобретает вид (а')' = а, что очевидно верно, какой бы класс ни взять в качестве а: дополнение к дополнению к данному классу совпадает с данным классом (это ясно видно из рис. 2, где класс A представлен кругом, универсальный класс — квадратом, в который помещен круг. а дополнение к классу A заштриховано). Ясно также, что пересечение любого класса A с универсальным классом есть класс Л (схема аксиом 14), и тот же результат дает его объединение с пустым классом (схема аксиом 15) и т. д. [27] 58 27. Заметим, что при проверке схем аксиом, в каждой из которых фигурирует по две формы классов, следует учитывать возможные отношения между двумя произвольными классами а и β. Таких отношений может быть пять: классы а и β совпадают; класс а полностью входит в класс β, причем в β имеются элементы, не принадлежащие а; то же отношение, но с заменой а на β и наоборот; классы а и β имеют общие элементы, причем в а есть элементы, не принадлежащие классу β, и в β есть элементы, не принадлежащие а; классы а и β не имеют общих элементов. Эти отношения можно передать следующими схемами (рис. 7). Проверяя равенство, нужно убедиться в его справедливости при каждом из этих отношений. .

Формулы, которые при логической интерпретации оказываются тождественно-истинными формами высказываний, при данной интерпретации задают универсальный класс (аналогичное соответствие имеется между тождественно-ложными формами и классовыми формами, задающими пустой класс).

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

Техническая интерпретация (на контактных схемах)

Одним из видов электрических схем, рассматриваемых в теории электрических цепей и автоматических устройств, являются схемы, состоящие из соединенных проводниками контактов выключателей. Контакты могут быть двух родов — замыкающими и размыкающими. Замыкающий контакт в нерабочем состоянии размыкает электрическую цепь, а в рабочем состоянии — замыкает; размыкающий контакт нерабочем состоянии замыкает цепь, а в рабочем — размыкает (рис. 3). Таким образом, с электрической точки зрения каждый контакт может быть в двух состояниях — проводимости (п) и непроводимости (н).