Для изучения истории возникновения категорий мышления, однако, недостаточно рассмотрения истории техники и истории языка. Ведь каждая категория является обобщением тех конкретных закономерностей, которые вскрываются в отдельных частных науках. Изучение последних является, поэтому также необходимым моментом познания истории мышления.
Таким образом, история труда, мышления, языка, история отдельных наук, являются теми моментами, которые определяют развитие логических категорий. Но пока последние действуют автоматически, пока они не стали сами объектами изучения, мы не имеем еще науки логики. Наука логики возникает на определенной ступени развития общественного познания, когда человечество от бессознательного пользования логическими категориями переходит к их сознательному усвоению. Тогда сами логические категории, отражающие общие закономерности материальной действительности, сами абстрактные понятия становятся предметами науки логики. Ленин, комментируя Гегеля, пишет: «Занятие «чистыми мыслями» предполагает длинный путь, который должен быть пройден человеческим духом».
Гегель поэтому при построении своей системы философии не сразу подошел к изложению науки логики, а предпослал ей труд, который он назвал «Феноменологией духа». В этом труде он пытался показать, как развивается мышление, как оно углубляется, вскрывает новые закономерности, поднимается на высшую ступень, пока, наконец, не достигает самосознания в понятии. В понятии мышление отражает не только внешние предметы, но и самое себя; оно само становится содержанием науки.
Однако, возникнув в результате длительного процесса познания, наука логики не сразу становится действительной наукой в том смысле, что она не сразу правильно, верно отражает законы развития познания и общие закономерности природы. Наука логики имеет свою собственную историю. Имея своим предметом абстрактные категории, отражающие какую-либо одну сторону бытия, наука логики превращает их часто в абсолютные формы, внешне прилагаемые ко всей действительности. Наука логики часто понимает категории мышления как неподвижные формы, которые она прилагает к действительности, тем самым, схематизируя и омертвляя ее. Другими словами, наука логики принимает формальный характер, становится наукой о неизменных формах мышления. Таково в основном было положение дел в Греции, где, несмотря на стихийную диалектичность мышления греков, наука логики приняла формалистический характер.
