作為一個INFP型人格的人，再加上多年文科式學習的熏陶，與嚴謹的理科思維相去甚遠，也曾被人譴責邏輯能力有待提升，遂來看了這部片子。

這部片子最初以一個冷笑話似的小事切入，后期逐漸引入邏輯學科的發(fā)展以及與數學、計算機等應用科學的關系。前面還是比較有趣的，后半部分更像是邏輯學推動計算機的應用，整體還是比較淺顯易懂的，但是看完感覺這部片子改名為“邏輯學簡史”或許更為適當。

邏輯是很精練、基礎的，然而充滿復雜系統(tǒng)的世界卻可以用它去推理，每個人都在有意無意的使用邏輯，邏輯是人類運轉的基礎。印象比較深的還有“我們永遠不可能擁有完全的、確定性的事實”這個悖論。

這正好與片子在這里想表達的意圖相反。

片子此處想說明，所有的邏輯都是運算，這是從形式邏輯走向符號邏輯的一環(huán)。

小朋友演示的，是用與、或、非邏輯門實現2+3=5的四則運算，這是四則運算可以用邏輯來實現。

影評正文不得少于140字，“下一步按鈕”在屏幕的右上方，在PC機上超出視線范圍。這是專門為手機設計的么？

提問界面按“發(fā)布問題”按鈕沒有反應，在這之前剛剛向我介紹新編輯器如何之好。好么？

邏輯是什么？邏輯就是事情的因果規(guī)律。而邏輯學，就是關于思維規(guī)律的學說。

2003年，BBC推出了《邏輯的樂趣》的紀錄片，紀律片由Dave Cliff教授，他基于邏輯和數學設計的ZIP程序，應用于交易所，準確提供市場供求變化。Dave Cliff教授以輕松有趣，淺顯易懂的方式介紹了邏輯及邏輯的一些重要理論。

適合學生黨看？因為數學、語言、哲學、科學、計算機及人工智能等學科和領域，都以邏輯作引擎。

也適合單身狗看？了解邏輯理論，你不僅能科學、合理的推導出自己單身的原因，從而積極行動，而且還為接下來的約會，提供了話題，贏得一臉的崇拜，成為撩妹神技。

說到邏輯學，首要提到的是亞里士多德，被稱為百科全書式的科學家，其中一個名號便是“邏輯學之父”。他的博學的成果，基于邏輯思維方式，對過去和同時代的理論持批判態(tài)度，提出并探討理論上的盲點，使用演繹法推理，用“三段論”的形式論證。

亞里士多德的“三段論”非常簡單，它包含三個命題，前兩個命題是前提，第三個即結論。舉個例子：人終有一死，蘇格拉是個人，得出結論“蘇格拉底終有一死”。

19世紀的查爾斯·路德維希·道奇森，英國數學家，他用真名寫作數學書，但寫邏輯游戲和數理邏輯的書時，卻化名路易斯·卡羅爾。沒錯他就是經典名著《愛麗絲漫游仙境》的作者，同時，他還是普及邏輯推理和批判思維的第一人。

接下來是計算機及數學專業(yè)的同學們熟悉的喬治·布爾。他認為邏輯更傾向于數學，而非哲學。他的著作《邏輯的數學分析》是對符號邏輯的貢獻之一，《思維規(guī)律的研究》更為重要，書中介紹了后來以他名字命名的“布爾代數”。在他死后一個世紀，他的邏輯變成計算機語言，對計算機發(fā)展的起著革命性的作用，所以，計算機語言中將邏輯運算稱為布爾運算，將其結果稱為布爾值。

片中出場的著名人物，有德國數學家和邏輯學家弗雷格和英國哲學家伯特蘭 · 羅素，還有計算機之父阿蘭 · 圖靈，在這里，還可以看到阿蘭 · 圖靈和他的同事戈登·韋爾奇曼一起制造的“通用機器”。

總之，這是一部讓人看一遍，就會有所收獲，也會更聰明一點的紀錄片，不要忘了看哦!

什么是邏輯？什么是合乎邏輯的？

你只需要明白三個邏輯學家和一個酒館的故事。

一天，三個邏輯學家走進了一家酒吧。侍者問，你們每個人都要來一杯啤酒嗎？第一個邏輯學家說，我不知道。第二個邏輯學家說，我也不知道。第三個邏輯學家說，是的。請問，三位邏輯學家到底要不要啤酒？

原文作者給出的答案是這樣的：面對侍者的問題“你們每人都要一杯啤酒嗎？”第一個邏輯學家如果自己不要，就會說不是。他說不知道，因為他要啤酒，卻不知道后面?zhèn)z人要不要。同理，第二位邏輯學家知道第一位要啤酒，自己也要啤酒，卻不知道第三位要不要。所以說不知道。第三位知道前兩位都要啤酒，而自己也要，所以說，是。結論是三位都要啤酒。

你得出結論的質量取決于你投入思想的質量。

邏輯的源頭，2500萬年前亞里士多德的三段論。

256種三段論，亞里士多德確認19種是有效的。確認如果前提正確，結論也一定正確。

認為是一種數學，只要把邏輯轉化成一個方程式

布爾的新數學運算將所有的邏輯簡化到可以用新的方法整合的形式。

認為所有事物都可以精簡為符號和兩個數字：

死后的一個世紀，喬治·布爾提出的邏輯運算如此精煉，廣泛運用計算機領域。

計算機的根本就是一堆0和1.

and，or，not

編程：

推理現實世界發(fā)揮了很重要的作用。

公元前600年，悖論：威脅數學的根基。

布爾運算的一個不足：

哥德爾

任何想成為數學基礎的邏輯系統(tǒng)，必須完整不矛盾。發(fā)現數學和邏輯的局限，

對于絕對可以證明的數學邏輯結論經歷到瓶頸。

所有的數學邏輯系統(tǒng)都是局限的。宣告邏輯紀元結束。

艾倫·圖靈 （受哥德爾啟示）

開始更注重實踐的邏輯革命

通用機器是一個想象中的東西，

1997年圖靈提出

象棋大師被“深藍”計算機打敗，引起轟動。

最后教授認為，人始終有一些機器無法替代的獨特屬性：比如，

利他主義，創(chuàng)造力和愛是人類獨有 我們創(chuàng)造了邏輯規(guī)則，使得真理和確定性能夠固定下來，否則我們很難找到他們。