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