周三，我们进行了一场关于逻辑的的主题班会，班会的内容竟然是一个名词?亦或是一门学科?还是一种思想?我也不知道它是什么样的东西，只知道它有个让人抽象的名字，叫逻辑。
逻辑，给我的感觉就是将世界的万事万物都全部分为了真和假，也就是对和错。列如影片中一个例子。一天，三个逻辑学家走进了一家酒吧。酒保问，你们每个人都要来一杯啤酒吗？第一个逻辑学家说，我不知道。第二个逻辑学家说，我也不知道。第三个逻辑学家说，是的。请问，三位逻辑学家到底要不要啤酒？这个例子中酒保的问题“你们每个人都要来一杯啤酒吗”就是一个逻辑，意思是你们必须给我一个答案，是或否，我一开始认为他们的回答很正常，现实生活中有很多人都有选择困难症，例如影片中前两个逻辑学家就是，还是第三位逻辑学家霸气侧漏，决定了一切，帮助前两位选择困难症患者做出选择。但毕竟是逻辑学家，都有个学家的称号了，和我们这些平常人果然就是不一样，影片中给出的答案是：面对酒保这一逻辑问题，第一位如果不要啤酒，就会回答不是，这一逻辑问题就会变成假命题，但如果是要啤酒却不能回答是，因为不知道后两位的判断，所以回答不知道；同理，第二位不要啤酒回答不是也会使这一问题变为假命题，也会因为不知晓第三位的想法不能回答是，也就‘从中’的回答了不知道；第三位知道前两位都要啤酒，而自己也要，所以说，是。于是，酒保的问题变为了真命题，结论是三位都要啤酒。我不得不说这个答案的确让人无法反驳，也让我初步认识了逻辑，即不给你谈感情，用事实来得出一个答案。
逻辑的源头，2500万年前亚里士多德的三段论。所有的人都会死 是大前提，苏格拉底是人 是小前提，所以苏格拉底也会死 是结论。这是归纳法的基本模式，只要大前提成立，小前提正确，那么结论就一定是正确的 ；这是一种科学证明方法，主宰了欧洲两千年的哲学思维模式，自近代以来，演绎的方法才变得更加重要。256种三段论，亚里士多德确认19种是有效的。确认如果前提正确，结论也一定正确。
Dodgson认为逻辑是一种数学，只要把逻辑转化成一个方程式。
布尔的新数学运算将所有的逻辑简化到可以用新的方法整合的形式，认为所有事物都可以精简为符号和两个数字。这是现在计算机的最根本，死后的一个世纪，乔治·布尔提出的逻辑运算如此精炼，广泛运用计算机领域。计算机的根本就是一堆0和1.and，or，not。
推理现实世界发挥了很重要的作用。公元前600年出现了悖论：威胁数学的根基。
哥德尔认为任何想成为数学基础的逻辑系统，必须完整不矛盾。发现数学和逻辑的局限，对于绝对可以证明的数学逻辑结论经历到瓶颈。所有的数学逻辑系统都是局限的。宣告逻辑纪元结束。再后来艾伦·图灵受哥德尔启发，开始注重实践逻辑革命，通用机器是一个想象中的东西，也是我们用来分类检索、恢复网络信息的工具。在不断地革命下，终于创造出“深蓝”打败了国际象棋大师，引起了世界的轰动。
影片最后，那个教授认为，人始终有一些机器无法代替的独特属性，例如“利他主义，创造力和爱是人类独有”；“我们创造了逻辑规则，使得真理和确定性能够固定下来，否则我们很难找到他们”。事实也确实如此，AI逻辑推理体系至今没有创造出来，并不是人工智能专家本事不够，而是因为这种万能的体系从根本上说就是不可能的！最大的问题就是知识和搜索，从知识上来说，虽然计算机很牛，但比起人脑来说还是差太多了！人在几十年中看到听到的知识量之大非常恐怖！平常看似不起眼的小事都会被大脑记录在案，在实际生活中人是根据知识行事的，而不是在抽象原则上的推理形式，就像一个没学过数学的人即使再聪明也无法进行数理运算！而从搜索上来讲人脑对于知识是非常凌乱地进行归纳，使用一条知识会出现其他不相干的知识进行干扰，所以面对同一个问题，人在不同状态不同考虑方式给出的答案都会不一样，而计算机知识存储的非常完整，任何时候都会给出完全一样的答案，计算机这种调用的方式太过简单，即使知识再多搜索能力再强面对知识组合爆炸的时候也无能为力。是不可能和人同日而语的的。