Заканчивая эту статью, мы хотим еще раз повторить то, с чего начинали.

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

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

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

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