§ 5. Исчисление классов

Развитие адекватной символьной записи наряду с открытием формальных свойств отношений позволили обобщить традиционную логику, равно как и получить мощное исчисление.

Например, операции сложения, умножения и т. д. в математических науках могут рассматриваться в терминах теории отношений. Так, операция сложения основывается на трехместном отношении. Отношение а + Ь = с связывает два слагаемых, а и Ь, с с. Данное отношение является много-однозначным, поскольку любой паре слагаемых соответствует одна, и только одна, сумма, тогда как одной сумме соответствует неопределенное число пар слагаемых. Однако если сумма и одно из слагаемых зафиксированы, то другое слагаемое однозначно определимо. Подобные трехместные отношения, присутствующие в различных видах операций, можно изучать и более подробно.

Однако нет необходимости в том, чтобы этими операциями были только обычные алгебраические операции. Операции, в целом относящиеся к типу неколичественных, были выработаны для сочетания классов, рассмотренных с их объемами.

Ниже мы предлагаем краткое описание общей теории классов суждений, которое хотелось бы предварить советом, взятым из работ Доджсона: «Если вы не поняли определенный отрывок, перечитайте его заново. Если он все равно остался непонятным, перечитайте его заново. Если, прочитав отрывок три раза, вы не достигли понимания, то, скорее всего, ваш мозг начал уставать. В этом случае отложите книгу и займитесь другими делами, а на следующий день, когда вы прочтете его свежим взглядом, он наверняка покажется вам вполне легким для понимания».

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

Операции и отношения

Под термином «класс» мы будем понимать группу индивидуальных объектов, каждый из которых обладает определенными свойствами, благодаря которым он считается членом данного класса. Так, класс, обозначаемый термином «человек», является множеством отдельных людей, класс, обозначаемый термином «четное число», является множеством четных целых чисел и т. д. Таким образом, мы будем рассматривать классы относительно их объема. Область возможных классов называется универсумом рассуждения (предметной областью) или просто универсумом (областью). Он будет обозначаться символом «1». Может случиться так, что класс не будет содержать никаких членов. Например, класс людей ростом в двадцать футов не имеет членов, хотя и обладает определяющей характеристикой, а именно: человек ростом в двадцать футов. Такой класс будет называться нуль-классом и будет обозначаться символом «О». Понятие нуль-класса, несмотря на свою сложность для начинающих, имеет много технических преимуществ.

Существует три вида операций над классами, каждый из которых имеет собственное обозначение. Рассмотрим класс мужчин на универсуме людей. Исключив этот класс из указанного универсума, мы получим класс женщин. Индивиды, являющиеся членами универсума, но не являющиеся членами класса мужчин, будут обозначаться как «дополнение» к классу мужчин. Следовательно, женщины являются дополнением к классу мужчин на данном универсуме рассуждения. Класс и его дополнение исключают друг друга и исчерпывают универсум рассуждения. Если «а» представляет некий класс, то «не-a» представляет его отрицание.

Теперь рассмотрим два класса: английские книги и французские книги. Класс, содержащий английские или французские книги, называется логической суммой этих классов. Операция объединения классов подобным образом называется логическим сложением. Если а и Ь являются классами, то их логической суммой будет а + Ь. Читается это либо как «а плюс Ь», либо как «а или Ь». Данная дизъюнкция не является строгой. Символ «+» используется, поскольку логическое сложение обладает некоторыми формальными аналогиями по сравнению со сложением в обычной арифметике.

Далее рассмотрим класс профессоров и класс раздражительных людей. Предположим, мы хотим выбрать всех индивидов, которые являются членами обоих классов, чтобы получить класс раздражительных профессоров. Такая операция называется логическим умножением, а ее результат называется логическим произведением двух классов. Если а и Ь являются классами, то их произведение может быть обозначено как «а х b» или просто как «аЬ».

На данном этапе становится понятно, откуда берется идея нуль-класса. Мы полагаем, что, умножая классы, мы получаем классы. Логическим произведением классов женщин и водителей электровозов является класс женщин, являющихся водителями электровозов. Следовательно, этот класс будет классом, даже если в нем не будет ни одного члена.

До настоящего момента мы рассматривали операции над классами. Однако мы не сможем получить исчисления до тех пор, пока не предложим символическую запись для отношений между классами. Различие между операциями над классами и отношениями между классами заключается в том, что проведение операций над классами дает нам новые классы, а утверждение тех или иных отношений между классами дает суждения, а не классы. Основополагающим отношением мы будем рассматривать отношение включения в класс. Один класс будет считаться включенным в другой, если каждый член первого класса также является и членом второго. Если а и Ь являются классами, то суждение «а включен в Ь» мы будем обозначать как «а < Ь».

Отношение включения (<) является транзитивным и несимметричным, т. к. если а < b и Ь < с, то а < с. Но если а < b, то из этого еще не следует, что b < а. Мы можем определить равенство двух классов в терминах обоюдного включения. Класс а равен Ь, если а включен в Ь и Ь включен в а, т. е. если у них одни и те же члены. Символически это будет выглядеть так: (а = Ь) = (а < b). (Ь < а), где знак «=» обозначает равенство между классами, а знак «=» обозначает эквивалентность между суждениями, а точка («.») обозначает совместное утверждение двух суждений.

Принципы исчисления классов Чтобы начать исчисление, нужно установить ряд основополагающих принципов, которые будут совершенно недвусмысленно определять природу только что обсуждавшихся нами операций и отношений. Обычно предполагается следующий набор принципов.

1.  Принцип тождества : для любого класса а < а.

В этом принципе утверждается, что каждый класс включен в самого себя. Из данного принципа, а также из определения равенства следует, что а = а.

2.  Принцип противоречия : 

= 0.

Ничто не является членом класса а и одновременно членом класса не-а.

3.  Принцип исключенного третьего : а + 

= 1.

Каждый индивид универсума либо является членом а, либо членом не-а.

4.  Принцип перестановки : аb = Ьа

а + Ь = Ь + а.

Проиллюстрировать данный принцип можно следующим образом: класс индивидов, являющихся одновременно немцами и музыкантами, это то же самое, что и класс индивидов, являющихся одновременно музыкантами и немцами; класс индивидов, являющихся немцами или музыкантами, это то же самое, что и класс индивидов, являющихся музыкантами или немцами.

5.  Принцип ассоциации :

( ab ) c = a ( bc ),

( a + b ) + c = a + ( b + c ).

6.  Принцип дистрибуции :

( a + b ) c = ac + bc ,

ab + c = ( a + c ) ( b + c ).

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

7.  Принцип тавтологии :

aa = a ,

a + a = a .

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

8.  Принцип поглощения :

a + ab = a ,

a ( a + b ) = a .

9.  Принцип упрощения :

ab < a,

a < a + b .

Из последних двух принципов следует, что нуль-класс включен в любой класс (0 < а) и что любой класс включен в универсум (а < 1). Чтобы наглядно в этом убедиться, нужно всего лишь допустить, что Ь = 0 в первом выражении и что Ь = 1 во втором выражении.

10.  Принцип композиции :

[( a < b ) . ( c < d )] ⊃ ( ac ⊃ bd )

[( a < b ) . ( c < d )] ⊃ [( a + c ) < ( b + d )].

Здесь мы, как обычно, используем символ «⊃» для обозначения отношения импликации и точку («.») для обозначения совместного утверждения обоих суждений. Первое выражение читается так: «Если а включен в b и с включен в d , то логическое произведение а и с включено в логическое произведение b и d .

11.  Принцип силлогизма :

[( a < b ) . ( b < c )] ⊃ ( a < c ).

Если а включен в Ь и Ь включен в с, то а включен в с. Отношение «включен в» тем самым задается как транзитивное.

Выражение традиционных категорических суждений

Теперь выразим символически каждый из четырех видов категорических суждений.

Суждение «все а суть b» может быть выражено как «(а < b)». Более того, можно показать, что эта запись эквивалентна записи «(аb = 0)». Поэтому мы получаем: «(а <

) ≡ (

= 0)».

Суждение «ни один а не есть b» эквивалентно суждению «все а суть не‑». Следовательно, символически эта запись может быть выражена как «(a <

)». Однако данное выражение эквивалентно выражению «(ab = 0)», так что можно получить и следующую запись: «(a <

) ≡ (ab = 0)».

Частные суждения противоречат общим, и поэтому в них отрицается то, что утверждается в общих. Поэтому в суждении «некоторые а суть Ь» отрицается то, что ни один а не есть Ь (символически: a <

). Это обстоятельство может быть выражено как «(a <

)′» или как «(ab ≠ 0).

Суждение «некоторые а не суть b» должно противоречить суждению (а < b). Следовательно, его можно выразить как «(a < b)′» или как «(

≠ 0)».

Каждая из этих четырех символических форм должна быть знакома читателю по проведенному ранее анализу категорических суждений.

Доказательство теоремы де Моргана В рамках данной книги мы не можем развить исчисление классов, с тем чтобы показать его огромные возможности. Однако мы хотели бы проиллюстрировать природу доказательства в этом исчислении, предложив демонстрацию теоремы де Моргана применительно к классам.

Нам нужно найти дополнение к классу (a + Ь).

В силу принципа исключенного третьего a + 

= 1 и Ь + 

= 1. Также, согласно принципу упрощения, 1x1 = 1 и  ∴  (а +

) (Ь +

) = 1. Используя принципы дистрибуции и ассоциации, вышесказанное можно записать так: (ab + 

+

) + (

) = 1.

Теперь рассмотрим классы (ab + 

+

) и (

). Они исчерпывают универсум, поскольку их сумма равняется 1; они также являются взаимоисключающими, поскольку их произведение равняется 0. Поэтому любой из них является дополнением другого.

Однако, согласно принципу тавтологии, ab + 

+ 

= ab + 

+ 

+ ab. Правая часть, по принципу дистрибуции, равна а (Ь +

) + Ь (а +

) = а + Ь. Следовательно, поскольку (

) является дополнением к (ab + 

+

), который, в свою очередь, равен (а + Ь), то, значит, (

) также равен и (а + Ь).

Следовательно, мы получаем (

) = (

), что является одной из форм теоремы де Моргана.

Теперь попробуем получить дополнение к ab.

Используя аргумент, тождественный только что приведенному, (ab) и (

+ 

+

) являются дополнениями друг к другу. Также мы имеем:

Следовательно, (

) = 

+

. Это вторая форма теоремы де Моргана. Эти результаты могут быть обобщены для любого конечного числа классов. Так:

и