Лев Ительсон - Лекции по общей психологии

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

Нетрудно заметить сходство между теорией и структурой.

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

Теория строится путем выведения из данных понятий, суждений и высказываний всех возможных новых понятий, суждений и высказываний по определенным формальным правилам. Она отображает, таким образом, все связи, имеющиеся между данной совокупностью понятий, суждений и высказываний. А структура строится путем выведения самих возможных правил выведения, т.е. всех форм, в которых может протекать выведение одних понятий, суждений или высказываний из других.

Таким образом, структура отображает связи, существующие между всевозможными логическими связями.

Она составляет логику логики (как это иногда называют металогику, т.е. «сверхлогику», «внелогику»), или теорию теорий (метатеорию).

Каков же реальный смысл формальной структуры по сравнению с содержательной теорией?

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

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

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

Иначе говоря, структура представляет ту сеть логических отношений, в которой теоретическое мышление воспроизводит связи различных сторон реальности на уровне понятий. Этой системой логических форм закреплено знание о структуре нашей вселенной в целом, достигнутое человечеством на стадии абстрактных понятий. (Так же, как в системе категорий закрепляется знание человечества о структуре вселенной на уровне конкретных значений.) Например, оператор л закрепляет знание о том, что есть признаки (свойства, законы), которые только совместно обеспечивают существование определенного объекта (или его возникновение, или его изменение и т.д.). Так же как на ступени значений, например, категория времени закрепляет знание о связности и непрерывности существования объекта (или его изменения, возникновения и т.д.).

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

Так, например, закон тождества (р-*р) предполагает, что объекты в нашем мире имеют достаточно устойчивые свойства. («Если истинно, что сила — причина ускорения, то истинно, что сила — причина ускорения.») Закон противоречия р /\р (ложно, что истинно р и не-/?) предполагает взаимное исключение противоположных свойств и объектов (например, «ложно, что сумма углов треугольника равна 180° и не равна 180°») и т.д.