剧情：Asharp,witty,mind-expandingandexuberantforayintotheworldoflogicwithcomputerscientistProfessorDaveCliff.Followinginthefootstepsoftheaward-winning'TheJoyofStats'anditssequel,'TailsYouWin-TheScienceofChance',thisfilmtakesviewersonanewrollercoasterridethroughphilosophy,maths,scienceandtechnology-allofwhich,underthebonnet,runonlogic.　　Wieldingthesamewitandwisdom,animationandgleefulnerderyasitspredecessors,thisfilmjourneysfromAristotletoAliceinWonderland,sci-fitosupercomputerstotellthefascinatingstoryofthequestforcertaintyandthefundamentalsofsoundreasoningitself.　　DaveCliff,professorofcomputerscienceandengineeringatBristolUniversity,isnoabstracttheoretician.15yearsagohecombinedlogicandabitofmathstowriteoneofthefirstcomputerprogramstooutperformhumansattradingstocksandshares.Givingawaythesoftwareforfree,hesays,wasnothismostlogicalmove...　　Withthehelpof25seven-year-olds,ProfessorCliffcreates,forthefirsttimeever,acomputermadeentirelyofchildren,runningonnothingbutlogic.Wealsomeettheworld'sbrainiestwhizz-kids,competingattheInternationalOlympiadofInformaticsinBrisbane,Australia.　　'TheJoyofLogic'alsohailslogic'sall-timeheroes:GeorgeBoolewhomovedlogicbeyondphilosophytomathematics;BertrandRussell,whotook360+pagesbutheroicallyprovedthat1+1=2;KurtGodel,whobroughtlogictoitskneesbydemonstratingthatsometruthsareunprovable;andAlanTuring,who,withwhatCliffcallsan'almostexquisiteparadox',wasinspiredbythishugesetbacktologictoconceivethecomputer.　　Ultimately,thefilmasks,canhumansreallystayahead?Couldtoday'sgenerationoflogicalcomputingmachinesbesmarterthanus?Whatdoesthattellusaboutourownbrains,andjusthow'logical'wereallyare...?

逻辑是什么？逻辑就是事情的因果规律。而逻辑学，就是关于思维规律的学说。

2003年，BBC推出了《逻辑的乐趣》的纪录片，纪律片由Dave Cliff教授，他基于逻辑和数学设计的ZIP程序，应用于交易所，准确提供市场供求变化。Dave Cliff教授以轻松有趣，浅显易懂的方式介绍了逻辑及逻辑的一些重要理论。

适合学生党看？因为数学、语言、哲学、科学、计算机及人工智能等学科和领域，都以逻辑作引擎。

也适合单身狗看？了解逻辑理论，你不仅能科学、合理的推导出自己单身的原因，从而积极行动，而且还为接下来的约会，提供了话题，赢得一脸的崇拜，成为撩妹神技。

说到逻辑学，首要提到的是亚里士多德，被称为百科全书式的科学家，其中一个名号便是“逻辑学之父”。他的博学的成果，基于逻辑思维方式，对过去和同时代的理论持批判态度，提出并探讨理论上的盲点，使用演绎法推理，用“三段论”的形式论证。

亚里士多德的“三段论”非常简单，它包含三个命题，前两个命题是前提，第三个即结论。举个例子：人终有一死，苏格拉是个人，得出结论“苏格拉底终有一死”。

19世纪的查尔斯·路德维希·道奇森，英国数学家，他用真名写作数学书，但写逻辑游戏和数理逻辑的书时，却化名路易斯·卡罗尔。没错他就是经典名著《爱丽丝漫游仙境》的作者，同时，他还是普及逻辑推理和批判思维的第一人。

接下来是计算机及数学专业的同学们熟悉的乔治·布尔。他认为逻辑更倾向于数学，而非哲学。他的著作《逻辑的数学分析》是对符号逻辑的贡献之一，《思维规律的研究》更为重要，书中介绍了后来以他名字命名的“布尔代数”。在他死后一个世纪，他的逻辑变成计算机语言，对计算机发展的起着革命性的作用，所以，计算机语言中将逻辑运算称为布尔运算，将其结果称为布尔值。

片中出场的著名人物，有德国数学家和逻辑学家弗雷格和英国哲学家伯特兰 · 罗素，还有计算机之父阿兰 · 图灵，在这里，还可以看到阿兰 · 图灵和他的同事戈登·韦尔奇曼一起制造的“通用机器”。

总之，这是一部让人看一遍，就会有所收获，也会更聪明一点的纪录片，不要忘了看哦!