“叶先生的女朋友长得倒是天真可爱，你们二位可以说是珠联璧合，郎才女貌了。”
乔强亮不知道两个人的真正关系，他的这么一番调侃让安然忍不住红了面颊。
她想要开口辩解两句，但是话到嘴边却又不知道该如何说，更多的还是不大想说。
毕竟自己并不是叶秋真正的女朋友，就算是被对方给误会了，安然的心中还是有一丝难以言喻的甜蜜和高兴。
叶秋作为一个合格的渔民，自然也不会主动点破，他只是微微一笑道：“让乔先生见笑了，只不过，刚才在数学方面的切磋上，我对于乔先生有一些请教，不知道乔先生能否回答我一些有关于数学逻辑方面的建议呢？”
虽然叶秋在数学方面已经有极深的造诣了，但是他在前世就已经知道乔强亮在数学当中的逻辑学方面是一个天才，而且每一种见解和建议，都是属于又激进又让人眼前一亮的那种。
重新活了一世，又幸运地见到了乔强亮本人。
他想当着乔强亮的面去听一听，他对于逻辑学方面究竟有怎样高深的理解。
数学是学无止境的，只有互相学习和互补，才能让他的数学道路走得更远。
虽然即便是依赖者系统，他也能够做到这一点，但肯定也没有和人交流来的深刻。
叶秋是这样想的，乔强亮却觉得眼前的少年谦逊好学，又觉得自己今天是见到了知音，想说的话根本就没有办法忍得住，便毫不吝啬地将自己心中的一些数学逻辑的相关见解，都一一说了出来。
但是他也并没有马上说出自己的见解，反而是就着这个问题先问了叶秋一句。
“我可以给出叶先生一些相关的想法，但是在这之前，我想听一听叶先生对于逻辑学这一方面，又是如何理解的呢？”
叶秋虽然有些意外，但还是略微的想了一下，就给出了自己的一些见解。
“所谓逻辑学，研习的就是中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识，以人类的思维形式及思维规律为研究对象，横跨数学、物理、计算机等多个学科，进行既定命题发生过程的推理和推导等。常见的找规律就是数理逻辑的典型，而数理逻辑也是现代逻辑学的主流。”
“而且根据逻辑学，在大学的一些相关专业，可以开设数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。”
叶秋早就已经将数学相关的所有学科都牢记于心，对于逻辑学这方面自然也是不在话下。
但是乔强亮根本就不知，看到叶秋只是简单的思索不到十秒钟就说出了这么多，他内心的佩服无以言表。
只是点点头道：“虽然逻辑学大多数都是跟数学方面相关，但是逻辑学又跟哲学沾上了不少的关系，所以笼统的来说，逻辑学是一门与数学与哲学互相通融的学科。”
“但是总的来说，逻辑学又是一门本质上就是数学的学科，可以理解为语言表达的数学真理，是一切科学的前提，对于这一点来说是非常的重要。”
“逻辑学又是一门研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。”
“逻辑学有广义和狭义之分。”
叶秋虽然知道这两点，但是具体的相关理解，他只知道课本上的内容。
如果能够跟乔强亮之间进行思维碰撞，知道乔强亮对此的一些理解，或许会给他带来一些新的灵感和想法。
想到这里，叶秋也谦虚问道：“还请乔先生讲解。”
对于叶秋的谦虚求教，乔强亮自然毫不藏私。
“所谓狭义的逻辑学，指研究推理的科学，即只研究如何从前提必然推出结论的科学。”
“至于广义的逻辑学，则是研究思维形式，思维规律和思维的逻辑方法的科学。广义逻辑学研究的范围比较大，是一种传统的认识，与哲学研究有很大关系。”
“整个逻辑学科的体系非常庞大复杂，如：传统的、现代的和辩证的、演绎的、归纳的和类比的、经典的和非经典的，等等。但是，它再庞杂也有相通的地方，例如：构建判断的方法；进行必然性推理；认同逻辑真理或逻辑规律等。”
“逻辑学作为一门科学的逻辑，是既古老又年轻的。历史悠久，源远流长。它有三大源泉。”
说到了这，乔强亮停顿了一下，看着叶秋认真倾听的样子，主动问道：“这三大源泉，叶先生可知道？”
叶秋对于相关的数学学科以及分支都大致了解的比较透彻，对于这三大源泉自然是烂熟于心。
他点点头道：“逻辑学分为三大源泉的，分别是古希腊的形式逻辑，中国先秦的名辩逻辑，古印度的因明。”
“没错。”
这是逻辑，学最基础的一点他想要，让叶秋回答主要也是想要看看叶秋对于逻辑学方面究竟能了解的有多少。
本来想着叶秋的请教，只不过是对逻辑学感兴趣而已，没想到对方在逻辑学这方面好像也有过研究，至少最基础的他是知道的。
既然如此，乔强亮便再次开口，将逻辑学的内容又说得更加深入了一些。
“逻辑学又是一门工具性的学科，它为包括基础学科在内的一切科学提供逻辑分析、逻辑批判、逻辑推理、逻辑论证的工具。”
“例如，所有语言都是传递信息的，汉语是一种语言，所以，汉语是传递信息的。”
“在这个论断中，“所有”，“语言”，“传递信息”，“是”，“一种”，“汉语”等是概念。由概念组成的语句，如“所有语言都是传递信息的”等等的内容称作判断。而由判断组成的论断称作推理。”
说到了这个，乔强亮抬头看向叶秋道：“叶先生，我想要知道你对于逻辑学这方面的理解深度，所以在这个论断当中，你能给我一些你的想法和见解吗？”