作为从形式上判定思想表达是否合理的工具,形式逻辑是外延逻辑,即借助外延关系必然性建立推理必然性的逻辑。概念之外延是由内涵决定的,因此,不考察概念内涵的形式逻辑以既有的知识体系为其思想内容上的前提。自康德到黑格尔的“理性论”内涵逻辑以承诺理性的客观性为基础考察并论证了思想内容必然性的根据,在这个意义上,“理性论”内涵逻辑以形式逻辑的前提批判来提供科学思想客观必然性的根据。从人类的现实历史实践出发,马克思实现了对黑格尔内涵逻辑——概念辩证法——的实践论批判,从而以实践为基础来理解人类思想运动的逻辑。在这个意义上,马克思形成了“实践论”的内涵逻辑。“实践论”内涵逻辑既强调经验、实践对概念、逻辑的基础性意义,又强调通过思想的努力以必然性的方式揭示经验现实,从而真正实现了在理论与实践、实证与思辨之间保持微妙的张力和平衡。