逻辑学做为一门学科在20 世纪左右取得了他的现代形态，完全从哲学中走出来，成为了一门独立研究的科学。这个工作主要是由莱布尼茨萌发，布尔，弗雷格，罗素，怀特海，希尔伯特，维特根斯坦来完成的。布尔将数学方法（主要是代数）引进了逻辑学的研究，而希尔伯特则将形式公理学引进了逻辑学。这两种方法的改进，使得罗素与怀特海的数学原理成为了可能。由于逻辑学取得了独立形态之后，它作为一门学科就有了与其它学科交叉的可能。冯诺依曼，图灵等将逻辑学引入计算机，为现代计算机科学提供了基础。很显然，没有逻辑学，现代的信息工业，智能科学是难想象的。当然智能科学一部分是从仿生学而来，但是仿生学真正能给机器带来智能么？人跟动物唯一的区别就是人能进行逻辑的思维，仿生学脱离了这实质内容而想进行真正的智能科学的研究是不可能的。可以预见，逻辑学今后的发展主要是在计算机科学上得以体现，并且围绕着计算机科学的应用与实践而获得它的新形态，比如多值逻辑，人工智能与弗协调逻辑，模态逻辑，时间逻辑，动态认知逻辑以及空间逻辑。通过语言的改进与规则的提升可以大大提高计算机思维的能力，现代计算机思维的素质与水平远超常人。譬如空间科学从平面几何，到立体几何，从三维空间到四维空间，甚至到多维空间，已经走出人类理性的想象所达到的程度，试想你可以想象一个五维的空间吗？甚至不用说n-维空间。而这个计算机完全可以达到，语言不一样，算子不一样，规则不一样，所达到的定理群也是不一样的。未来逻辑的发展，计算机科学的贡献是一支重要的力量。逻辑学与数学的结合，从古代以来就有体现，不过在数学思维中，主要是一种自发的，消极的体现。最主要的文本乃是《几何原本》。不矛盾原则是思维根本原则，在数学推理或者数字推理中，在古代科学的发展中是一种原始的体现。真正一种自觉的能动的结合在于罗与怀特海的《数学原理》一本大书当中，逻辑学被推向了颠峰。《数学原理》被当作逻辑学的圣经。事实上，希尔伯特的贡献具有实质性的意义。希尔伯特的二十三个问题有一部分是从逻辑学的角度来考量的，希尔伯特的主要贡献乃是在于将形式公理学引进了逻辑学的研究，使逻辑学真正达到一种精确而抽象的程度，而只有到了这个时候，我们的逻辑学可以和任何学科进行结合，在这些符号的解释当中，可以用任何物品来解释，比如桌子，椅子杯子等等，逻辑学在希尔伯特那里获得了一种超越的形态。逻辑学与哲学的结合自古已然。亚里士多德直接将逻辑做为哲学论证的工具，至于消遥学派与斯多葛学派关于逻辑地位的争论各有道理的，在他们各自的学科范式当中都是成立的，而斯多葛的论题更能让逻辑学与哲学分离而成为一个独立的个体。但经典的哲学家看来，如果不懂逻辑而去研究哲学，那是一种讽刺；而在现代逻辑视野下，如果一个哲学家不懂逻辑则是完全可以谅解的。事实上维也纳学派成立之后，他们所使用的工具正是现代逻辑，（主要是数理逻辑）用现代逻辑作为工具进行哲学分析让一个个形而上学家瞠目结舌，不知所云，而正是因为现代逻辑解构了一个又一个传统的形而上学命题，到最后一个又一个与逻辑相关的理念如推波助澜式的展开，如逻辑原子主义，逻辑主义，分析哲学，语言哲学等等不一而足。形成了大陆哲学与英美哲学两大哲学体系。当然，这种在哲学当中过于强调逻辑的特征切掉了哲学的原初本质，罗素认为哲学的本质是逻辑。卡尔纳普的世界的逻辑构造也强调我们知识内容的逻辑秩序，这造成了一种不良的后果，就是将一种技术引进了哲学，而一种坏的影响之一就是破坏了哲学自由思想的美好特征。国内的学者如王路也是主张哲学的逻辑特征，他关于西方哲学文本的解读就带有浓厚的逻辑特色，比如关于being 的翻译，他翻译成是，这样哲学和逻辑的关连就有了清晰的构架。
       当然逻辑学与其它学科也有深度的结合，比如语言学，系统论，控制论等在这里就不一一列举。我上面所做的介绍主要是给我们提供一个基本的框架，即现代逻辑的框架。事实上现代
逻辑的基本构造可以按李小五先生提供的思路来。大致是这样的过程：
(1)逻辑学家从日常思维中发现一些与真假相关的东西由此产生直观的语义概念.特别是到了现在,找到符合人的直观的真假的概念从而消除反常,已成为一种重要的动力.如实质蕴涵怪论促使严格蕴涵概念的产生,实质蕴涵怪论和严格蕴涵怪论促使虚拟蕴涵概念的产生.
(2)进一步规定这些直观概念,从中找出一些一般性的东西,从而产生直观语义.
(3)进一步构造逻辑语言,并且初步构造出逻辑系统,使得逻辑常元的基本性质得到直观表达.
(4)根据上述结果,抽象出形式化的模型概念,可满足关系和有效概念,从而建立使系统具有可靠性的逻辑语义.
(5)根据建立起来的逻辑语义,试图证明该系统的相对于这样的语义具有完全性,并在这个过程中增减公理或推演规则.
(6)相对于公理或推演规则的独立性再次调整它们.
现代逻辑可以通过这样的方式进行构造。这也是现代逻辑的基本构造的模式，那么如此以来，我们如何看待传统逻辑呢？事实上，威廉夫妇也是持这种现代逻辑的观点来进行逻辑史的书写的。从现代往古代观看的话，每一个逻辑学家的逻辑系统都可以包含在后面的系统中，但是亚里士多德的词项逻辑有点特殊，它并不包含在命题逻辑当中。现代逻辑的书写一般都是从句子逻辑开始，然后进行扩张，到一阶逻辑，（这里可以过渡到高阶逻辑），加上模态算子可以过渡到模态逻辑。亚里士多德词项逻辑或者三段论系统可以裹进到一阶逻辑当中。事实上，在近代逻辑学家与哲学家对逻辑的批评都是对亚里士多德的批评上的，比如培根，比如康德，在康德这里我们获得了逻辑学的另外一个称呼——形式逻辑，形式逻辑与他的先验逻辑相对照；黑格尔就直接批评同一律，认为同一律不能对概念进行发展，当然这是误解，由此而创立了辩证法，恩格斯将其总结为辩证逻辑。古代哲学与近代哲学对逻辑的批评都集中在对亚里士多德逻辑的批评之上的，由此以来，逻辑被否定了，他们否定的当然不是逻辑学，而是作为亚里士多德的逻辑学。这种逻辑学的功能太小了，只能刻划具有种属关系的概念之间的推理，而不能处理关系，数量，命题之间推理，斯多葛系统了发展了命题逻辑，现代逻辑一般是讨论句子逻辑，两者在形式上大致相当。但是命题逻辑还是不能处理关系，谓词，与数量之间的推理。这直接导致了弗雷格与罗素对逻辑学的发展，他们创立了一阶逻辑。逻辑学到此获得了一种现代形态。

      中国人对逻辑的理解还停留在传统形态上，殊不知此学科已经俨然成为一个庞大的学科群。对当代计算机科学，语言学，数学，哲学等学科产生的巨大的影响。在十九世界左右，说一个人不懂逻辑那是讽刺人的话，时至今日，如果说一个人不懂逻辑则完全可以理解。