Общая логика – это функция L, структурность. Специальной логикой тогда удобно назвать её разновидности. Если считать, что ни один соционический тип не повторяется полностью в своем логическом мышлении, то специальных функций должно быть столько же, сколько и социотипов – шестнадцать. Специальные логические функции я буду обозначать при помощи знаков «+» и «-», а также символикой операций пропозиционального исчисления. Везде в этой работе под термином логика я буду иметь в виду логику структурную, а не деловую.
Положительный/отрицательный знак коммуникативных функций, в том числе логики, был мною первоначально связан с дихотомией правость/левость [1]. Правую логику (ею владеют социотипы IL, SE, ET, LF, FR, TP, PS, RI) в свое время я обозначил «+L», а левую (социотипы LI, ES, FL, TE, PT, RF, IR, SP) – «-L». В чем разница между этими двумя логиками?
Правая логика – прямая и абсолютная, без обратной связи. Она как бы очерчивает контуры фигуры на неком фоне, который отбрасывается как несущественный. Безконтекстность и категоричность в суждениях.
Левая логика – инверсная: полученная из прямой применением логической операции отрицание. Она рефлексивна, учитывает не столько прямую, сколько оборотную сторону медали. Подчеркивает контекстные зависимости суждения, его фон. Однако возможен и другой, ничуть не менее обоснованный вариант приписывания знаков, а именно по дихотомии позитивизм/негативизм. Тогда +L будет обозначать логику позитивистов (IL, LF, FR, RI, ES, TE, PT, SP), а -L – логику негативистов (LI, FL, RF, IR, SE, ET, TP, PS).
Позитивная логика – цельная, согласованная во всех своих частях. Именно к ней больше всего подходит обозначение формальная логика. Примером такой логики служит силлогистика – свод правил умозаключения, описанный Аристотелем в «Органоне».
Негативная логика – логика противоречий. Диалектическая, содержащая в себе противоположности и рассогласования. Этот логический инструмент лучше работает при анализе сложных систем многослойной природы. Кроме того для углубленного проникновения в структуру мыслительных форм нам понадобится ещё одна дихотомия, проводящая различие между логикой статической (ею обладают социотипы LI, IL, LF, FL, RF, FR, RI, IR) и логикой динамической (ES, SE, ET, TE, PT, TP, PS, SP).
Статическая логика – это логика фиксированных структур, застывшая. Логика ставшего, то есть конечного состояния систем.
Динамическая логика – логика становления. Она имеет дело с переходными, находящимися в процессе трансформации структурами.
Признав равно обоснованными оба из описанных подходов к расстановке знаков, попробуем осуществить их синтез. Для этого возьмем сочетание дихотомии правость/левость с дихотомией позитивизм/негативизм. Получим четыре группы социотипов, являющихся носителями четырёх классов специальных логик.
2.1. Право-статические позитивисты. Их логика дважды плюсовая: ++L. Первый плюс от правости, второй плюс от позитивизма. Влиянием статики/динамики на знак функции пренебрежем. Детерминистская логика. Воплощает в себе классическое представление о логике. Если-то – логика. Логика субординации, строгой иерархии. Она характерна для языка инструкций, законов, резолюций. Ее обладатели – социотипы IL, LF, FR, RI.
2.2. Право-динамические негативисты. Плюс-минус логика: +-L. Первый плюс от правости, второй минус от негативизма. Генетическая логика. Анализирует происхождение, порождение одной функции другой. Отражает преемственность развития, единство и борьбу противоположностей. И/или – логика. Самый туманный стиль изложения. Такая логика характерна для социотипов SE, ET, TP, PS.
2.3. Лево-динамические позитивисты. Минус-плюс логика: – +L. Первый минус от левости, второй плюс от позитивизма. Стохастическая логика. Логика вероятностей. Логика случайностей и исключений, механических сумм, а не произведений. Нарушение иерархии. «Конгломератный» язык, словно искусственно составленный из разных стилей. В этот логический класс входят ES, TE, PT, SP.
2.4. Лево-статические негативисты. Дважды минусовая логика: – -L. Первый минус от левости, второй – от негативизма. Голографическая логика. Мыслящие голографично, умеют охватить всю структуру целиком, хотя и без подробностей. Компенсаторная логика, восполняющая структуру с пропущенными звеньями. Логика разрешения противоречий и исправления ошибок при сохранении системы. Социотипы с такой логикой отличаются самым понятным стилем изложения мыслей. К ним относятся LI, FL, RF, IR.
| Прямая логика (+) | Инверсная логика (-) | |||
|---|---|---|---|---|
| Позитивная логика (+) | ДЕТЕРМИНИЗМ | статика | СТОХАСТИЧНОСТЬ | динамика |
| Негативная логика (-) | ГЕНЕЗИС | динамика | ГОЛОГРАФИЗМ | статика |
Эти группы совпадают с уже известными в соционике кольцами ревизии. Данное обстоятельство подтверждает предположение о том, что ревизные отношения обладают максимальной структурообразующей силой.
В каждой из четырёх групп установим соответствие социотипа той или иной элементарной логической функции.
1.1. Социотип IL. Логика изоморфизма. Аналогии, перенесение структур из одной области в другую. Обозначим эту логическую функцию знаком тождества: «=».
1.2. Социотип LF. Логика подчинения, строгой иерархии. Логика следования, импликации. Если А, то обязательно В. Обозначим стрелкой, смотрящей вправо: «->».
1.3. Социотип FR. Логика соподчинения. Передает эквивалентность двух объектов. Если А, то В и наоборот. Обозначим обоюдонаправленной стрелкой «<->».
1.4. Социотип RI. Логика подчиняемости. Вхождение элемента в какой-то класс. Следование целям надсистемы. Логическая функция обратной импликаци. А, потому что В. Обозначим стрелкой, смотрящей влево: «<-».
2.1. Социотип SE. Логика синтеза. Затушевывает различия, подчеркивает сходства. Объединение противоположностей. Операция конъюнкции. Воспользуемся общепринятым знаком «/\».
2.2. Социотип ET. Логика дифференцирования – нахождения производных функций. Стремление к пределу. Определение скорости изменения переменной величины. Вычленение постоянного в изменчивом. Примем обозначение «>-».
2.3. Социотип TP. Логика параллельного следования. Разветвление. Дизъюнктивная логика, разводящая противоположности. Логика страховки, запасного пути. Обозначим её «\/».
2.4. Социотип PS. Логика интегрирования – нахождения первоначальной (первообразной) функции. Логика приведения в движение. Изменчивое в постоянном. Обозначим её «-<».
3.1. Социотип ES. Логика нетождественности, отсутствия аналогий и соответствий. Логика разнородности, констатирующая несвязуемость двух классов явлений. Обозначим знаком перечеркнутого тождества: «=/=».
3.2. Социотип TE. Логика случая, беспричинности. Антидетерминизм. Естественные нарушения иерархии. Логика ассоциаций. Функция антиимпликации, обозначаемая «<+».
3.3. Социотип PT. Логика выбора из двух альтернатив. Взаимоисключение. Риск, приводящий к успеху. Логика выхода в надсистему, образующихся при этом эмерджентных свойств. ИЛИ-ИЛИ – логика. Строгая дизъюнкция. Обозначим «<+>».
3.4. Социотип SP. Логика неподчиняемости, невключенности в систему. Выход из подчинения. Нарушение иерархии снизу. Логика независимости. Передается знаком перечеркнутой обратной импликации: «<+».
4.1. Социотип LI. Логика антисинтеза, завершенных устойчивых систем. Нахождение противовеса, противоположного полюса. Выделение «чистых», непересекающихся частей. Антиконъюнкция. И-НЕ – функция. Обозначается «».
4.2. Социотип FL. Логика отрицания дифференцирования. Преодоление предела, барьера. Концентрация, сжатие. Сосредоточение на самом неустойчивом, непрочном. Логика устранения, уничтожения. Обозначается «>+».
4.3. Социотип RF. Логика самосохранения, недопущения столкновения. Движение антипараллельными курсами. ИЛИ-НЕ – функция. Обозначается стрелкой Пирса – «».
4.4. Социотип IR. Логика антиинтегрирования. Дисфункциональность. Обозначим «+<».
В силлогистике рассматривают четыре вида суждений.
1. Общеутвердительное суждение. Все S суть Р. Принято обозначать буквой А.
2. Частноутвердительные суждения. Некоторые S суть Р. Обозначается I.
3. Общеотрицательные суждения. Ни один S не суть Р. Обозначается Е.
4. Частноотрицательные суждения. Некоторые S не суть Р. Обозначается О.
Принимая во внимание как класс, так и силу суждений, оформим таблицу специальных логических функций:
| Детермин. | Генетич. | Стохастич. | Голографич. | |
| Общеутвердит. | ||||
| Частноутвердит. | ||||
| Общеотрицат. | ||||
| Частноотрицат. |
По этому же принципу нужно построить все восемь функций коммуникации. Так приближаемся к строгому моделированию информационных процессов.
Ещё один существенный вывод. Типы оказываются комбинаторно заменимыми объектами. Как известно, техническая реализация логических устройств в электронике и микросхомотехнике конструктивно осуществляется через функции И-Не, Или-Не. Популярен в технике также базис функций И, Или с операцией инверсии, что по сути то же самое. Соционически это значит, что любые мыслительные операции передаются через комбинацию одного или двух типов – LI (Аналитик) и RF (Хранитель).