Если отношение 0 < А назвать а, отношение 0 < В — b, а отношение 0 < С — соответственно с, то отношение А < В можно назвать тогда а', отношение B < С — b' и т. д., и мы получаем группировку а + а' = b; b + b' = с и т. д. Обратная операция состоит в вычитании отношения, что эквивалентно прибавлению обратного отношения. Группировка эта, таким образом, параллельна предыдущей, с той единственной разницей, что операция сложения в этом случае включает порядок последовательности (и, следовательно, не является коммутативной); на транзитивности, свойственной этой сериации, основывается умозаключение А < В, В < С, следовательно А < С.
3. Третья основная операция — это операция замещения, основа эквивалентности, которая объединяет в составной класс различные простые классы, полученные в результате предшествующего объединения.
В самом деле, между двумя элементами А1 и А2 одного и того же класса В нет такого же равенства, какое имеет место между равными числами в математике; в этом случае мы имеем дело просто с качественной эквивалентностью, т. е. возможным замещением, но лишь в той мере, в какой можно заменить А2 (т. е. «другие» по отношению к А2 элементы) на А1, (т. е. «другие» по отношению к А1 элементы). Отсюда группировка: А1 + А'1 = А2 + А'2 (= В); B1 + B'1 = B2 + B'2 (= С) и т. д.
4. Если операции предшествующей «группировки» перевести в отношения, то они порождают реципрокность, свойственную симметричным отношениям. Эти последние являются не чем иным, как отношениями, объединяющими между собой элементы одного и того же класса, т. е. отношениями эквивалентности (в противоположность асимметричным отношениям, которые выражают различие). Симметричные отношения (например, родственные отношения между братьями, двоюродными братьями и т. п.) группируются, следовательно, по образцу предшествующей «группировки», но обратная операция в этом случае идентична прямой, что выражается, по существу, в самом определении симметрии: (Y = Z) = (Z = Y).
Четыре рассмотренные группировки — это «группировки» аддитивного порядка, причем две из них (первая и третья) относятся к классам, а две другие — к отношениям. Существуют, кроме того, еще четыре «группировки», в основе которых лежат мультипликативные операции, т. е. операции, относящиеся одновременно к более чем одной системе классов или отношений. Эти «группировки» строго соответствуют первым четырем.
5. Прежде всего, если дано два ряда включенных друг в друга классов А1B1C1... и А2B2C1..., то можно располагать индивиды, исходя из двух рядов одновременно: в этом состоит метод таблиц с двойным входом. «Мультипликация классов», которая образует операцию, свойственную этому роду группировки, играет существенную роль в механизме интеллекта; именно ее под названием «выявление коррелят» описал в психологических терминах Спирмен.
Прямая операция двух классов B1 и B2 — это произведение B1 × B2 = B1B2 (= А1А2 + А1А'2 + А'1А2 + А'1А'2). Обратная операция — это логическое деление B1B2 / B2 = B1, что соответствует «абстракции» («B1B2, абстрагированное от B2, есть B1»).
6. Точно так же можно умножить друг на друга два ряда отношений, т. е. найти все отношения, существующие между расположенными в ряд объектами, исходя одновременно из двух типов отношений. Наиболее простым случаем такой группировки является качественное «взаимно-однозначное соответствие».
7 и 8. Наконец, можно сгруппировать индивиды не по принципу таблиц с двойным входом, как в двух предыдущих случаях, а путем приведения одного члена в соответствие многим (например, отец по отношению к сыновьям). В этом случае «группировка» принимает форму генеалогического древа и строится или для классов (7), или для отношений (8), причем эти последние асимметричны, если их рассматривать с точки зрения одного из данных двух элементов (отец и т. п.), и симметричны с точки зрения другого (братья и т. п.).
Таким образом, мы получаем посредством простейших комбинаций восемь основных логических «группировок», одни из которых (1—4) — аддитивны, другие (5—8) — мультипликативны; одни относятся к классам, другие — к отношениям; и наконец, одни выражаются во включениях, сериациях или простых соответствиях (1, 2 и 5, 6), а другие в реципрокности и одно-многозначных соответствиях (3, 4 и 7, 8). Итак, всего имеется 2 × 2 × 2 = 8 возможностей.
Заметим также, что лучшее доказательство естественного характера целостностей, образованных этими «группировками» операций, состоит в том, что достаточно объединить между собой «группировки» простого включения классов (1) и сериации (2), чтобы получить уже не качественную «группировку», а «группу», образованную последовательностью целых (положительных и отрицательных) чисел. В самом деле, объединение индивидов в классы означает, что они рассматриваются как эквивалентные, в то время как их сериация в соответствии с некоторым асимметричным отношением выражает их различия. При рассмотрении свойств объектов нельзя одновременно группировать их и как эквивалентные, и как различные; но если абстрагироваться от свойств, то уже тем самым мы делаем эти индивиды эквивалентными между собой и способными к сериации соответственно некоторому числовому порядку; мы, таким образом, трансформируем их в упорядоченные «единицы», а именно в этом и состоит конститутивная аддитивная операция целого числа. Аналогичным образом объединяя мультипликативные «группировки» классов (5) и отношений (6), мы получаем мультипликативную «группу» положительных (целых и дробных) чисел.
II. Приведенные выше различные системы не исчерпывают всех элементарных операций интеллекта. Действительно, интеллект не ограничивается оперированием с объектами для объединения их в классы, сериации или пересчета. Сфера его действия распространяется равным образом и на построение объекта как такового, и этот процесс начинается (как мы увидим в гл. IV) уже с появления сенсомоторного интеллекта. Разложить объект и вновь его составить — это, таким образом, действия, свойственные второй совокупности «группировок», основные операции которых могут быть названы «инфралогическими», потому что логические операции комбинируют объекты, рассматриваемые как инвариантные. Эти инфралогические операции имеют не меньшее значение, чем операции логические, поскольку они являются конститутивными элементами понятий пространства и времени, построение которых занимает почти все детство. И как бы резко они ни отличались от логических операций, они в точности им параллельны. Вопрос о генетических взаимоотношениях между этими двумя операциональными системами образует, таким образом, одну из наиболее интересных проблем развития интеллекта.
1. Включению классов соответствует включение в иерархические целостности частей, ранее просто объединявшихся; конечный предел таких включений — объект в целом (при этом неважно, на какой ступени он берется — вплоть до пространственно-временного универсума). Именно эта первая «группировка» сложения частей дает возможность сознанию до какого бы то ни было собственно научного опыта понять атомистическую композицию — атомарное строение объектов.
2. Сериации асимметричных отношений соответствуют операции размещения (пространственного или временного) и качественного перемещения (простого изменения порядка, независимо от меры).
3—4. Логическим подстановкам и симметриям соответствуют пространственно-временные симметричные подстановки и отношения.
5—8. Мультипликативные операции представляют собой просто комбинации предшествующих операций в соответствии со многими системами или элементами.
Подобно тому, как числовые операции могут рассматриваться как выражение простого слияния группировок классов и асимметричных отношений, так и операции измерения представляют собой объединение в единое целое операций деления и перемещения.
III. Аналогичная ситуация имеет место и в операциях, относящихся к ценностям; эти операции выражают отношения средств и целей, которые играют существенную роль в практическом интеллекте (и квантификация которых характеризует экономические ценности).
IV. Наконец, совокупность этих трех систем операций (I-III) может быть выражена в форме простых высказываний, что приводит к логике высказываний, построенной на основе импликаций и несовместимостей между пропозициональными функциями; именно эта система образует как логику в обычном смысле этого слова, так и гипотетико-дедуктивные теории, характерные для математики.
