Формальные структуры «математик» (или исчислений) используются при исследовании сложных структурных или системных объектов. Но предварительно сами объекты приходится представлять в таком виде, чтобы к ним можно было применять существующие математические структуры. Эти представления мы называем системными[38]. Они выступают как особые модели объектов («идеализации») и являются, наряду с формальными математиками, важной компонентой знаковых средств мышления. Их, подобно эталонам, мы как бы «накладываем» на объекты, воспроизводя структуру последних, и лишь затем применяем математические средства, связанные с каждой из этих системных моделей.

При исследовании многих сложных объектов одного системного представления оказывается недостаточно. Объект раскладывается на несколько систем как бы по различным проекциям. Воспроизведение объекта в целом предполагает строго определенный порядок разложения и синтеза всех участвующих системных представлений. Они, таким образом, и сами выступают как одна жестко связанная система. Мы называем ее конфигуратором[39].

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

Обобщая все изложенное выше, можно сказать, что «содержательно-генетическая» логика исследует мышление по трем основным направлениям:

1. Выявляет все возможные операции мышления; описывает лежащие в их основе типы сопоставления; устанавливает генетическую зависимость между этими операциями.

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

3. Выявляет правила использования фрагментов этих исчислений при исследовании различных эмпирически данных сложных объектов; анализирует процессы «соотнесения», связанные с каждым из этих исчислений; исследует условия и механизмы комбинирования частей различных исчислений в одну форму сложного «теоретического» знания.

Эти три раздела образуют систему теории «языкового мышления»[40].

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

В первом приложении [«Анализ строения понятия “скорость механического движения”»] анализируется строение группы понятий, связанных с описанием механического движения[41]. Здесь отчетливо выясняется, что анализ понятий с точки зрения строения той мыслительной деятельности, которую они фиксируют (в противоположность анализу их «предметного содержания»), дает возможность представить развитие науки как строго детерминированный процесс, подчиняющийся определенным закономерностям.

Во втором приложении [«Применение идеи “слоев” знания для решения проблем типологической классификации языков»] идея «слоев» научного знания применяется для решения проблем типологической классификации языков[42]. В нем показана неправомерность дискуссий между последователями «нового учения» о языке Н. Я. Марра и представителями современного структурализма, определяется место и значение этих направлений в развитии науки о языке, намечаются возможные линии их дальнейшего развития.