二是形而上学思维方式的形式逻辑。对于形式逻辑，人们通常称为“普通逻辑”，即指为亚里斯多德的《工具论》所理论化、系统化的逻辑学，它是研究思维的形式、结构及其规律的思维科学。如目前逻辑学专业学习的逻辑，以及由形式逻辑所衍生的数理逻辑、符号逻辑等。这种形式逻辑的最大特点就是：研究的不是现实的存在物即世界万物，而是思维物即作为思维逻辑的概念、判断、推理及其规则、规律。而作为思维内容的世界万物，则不在这种逻辑探究的视野内。形式逻辑有三种基本规律即同一律、不矛盾律和排中律，就其实质而言，都要求思维的确定性即是就是，不是就不是，不能同时承认既是又不是。在这个意义上，形式逻辑只要人的思维运演过程遵循一条规律——A就是A的同一律就行了，而其他逻辑规律只是这个规律的逻辑延伸和补充说明。显然，这种脱离内容的形式逻辑，对两类前提是不予讨论的。第一个前提，对形式逻辑要推理的事物本身，即已知判断和确定概念，采取“存而不论”或“置之不理”。就是说形式逻辑以承诺或设定推理事物本身的已知性、不矛盾性和确定性为前提，只要推理过程符合形式逻辑的规则就行。第二个前提，形式逻辑对自身的规律和规则是“存而不论”，不去追问为什么要遵循形式逻辑的规律和规则，不去追问自身规则和规律何以能够成立的根据问题。显然，对这两种前提存而不论的必然结果，就会使人的思维在把握处于运动、变化的存在物的过程中，使其静态化、凝固化，把存在物肢解化、割裂化，把联系的存在物非连续化、片面化，把活生生的存在物僵硬化，由之去抽取存在物的这一个和那一个互不相关联的、抽象同一的属性，在形式逻辑上用概念来进行表达，进而进行判断和推理即进行概念的逻辑思维。而在这样的逻辑思维中，必然使思维所表达、反应的存在与外部的实际存在不符合、不统一的矛盾，由之会造成思维与存在的对立、思维脱离存在，犯用思维去推论存在的形而上学思维方式，这就是形式逻辑的最大特点。但是，形式逻辑也有其必要性与合理性：(1)人的思维的确定性是具体科学的客观要求。在具体科学中，从相对静态、同一时间、同一关系对同一对象的本质和规律的把握来说，是必须的。(2)人的思维的确定性是人类交流思想的客观要求。但形式逻辑自身所具有的不矛盾性、抽象同一性和非此即彼性，造成思维逻辑与存在逻辑相对立，就使思维无法把握实际的存在以及与存在实现对立面统一。

三是黑格尔思辨思维方式的思辨逻辑。面对形式逻辑所造成的思维与存在对立的独断论，第一个对形式逻辑进行反思的是康德。但康德的先验逻辑设定的物自体与思维的对立，实际上没有实现思维逻辑与存在逻辑的真正统一，而是把思维与存在绝对地对立起来了。建立在通晓思维历史基础上的黑格尔，对思维逻辑与存在逻辑关系进行思辨的反思。黑格尔立足于“抽象的同一”与“具体的同一”的区别，批判形式逻辑遵循“抽象的同一”的同一律，这样的同一律只是抽象理智的规律，而不是真正的思维规律。他提出：同一律被表述为“一切东西和它自身同一”或“A”是“A”，这就完全把思维的形式与内容割裂开来，一切思维所把握到的事物成了与自身无差别的、僵化的、无发展的抽象同一物。而与“抽象的同一”相区别，“具体的同一”是包含着差别的同一，是具有内在否定性的“差别的内在的发生”，由这种具有内在差别的思维把握存在实现同一所展开的思维运动的逻辑，是概念之间的自我否定的不断扬弃过程，这个过程是思维遵循对立统一律、质量互变律、否定之否定律，在把握存在过程中所展开的概念运动过程。显然，黑格尔概念辩证法的概念逻辑是对形式逻辑的“抽象的同一”的彻底扬弃，打破了思维把握存在所实现抽象的、无差别的统一，即概念处于僵死凝固的状态。而在具体统一中，任何思维把握存在而形成的概念，都同时既是规定又是否定，都是作为环节和中介而存在的，存在就成了概念之间不断把握的结果。这种概念的自我否定，既是对存在的虚无性的否定，又是对自身的固定性的否定，从而使思维处在以概念形式对存在的动态把握过程中。因此，黑格尔的概念逻辑在打破形式逻辑“抽象的同一”的同时，也实现了对形式逻辑所承诺存而不论的两个前提的变革，这对思维概念地把握存在的逻辑的历史发展和创新来说，具有解放思想和推动逻辑变革和创新的重大作用和意义，实现了人类思维逻辑层次上的跃迁。但同时我们看到，思辨逻辑采用客观唯心主义的思辨方法，消解外部的客观对象性的存在为内部的思维主观对象性概念存在。这样，所谓的思维与存在的统一，并不是主观的思维与所反映的客观的外部世界事物存在的同一，而被转化为思维自己与自己的同一。在这个意义上，无异于取消了真正哲学的思维与存在的统一。