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