作為一個(gè)INFP型人格的人，再加上多年文科式學(xué)習(xí)的熏陶，與嚴(yán)謹(jǐn)?shù)睦砜扑季S相去甚遠(yuǎn)，也曾被人譴責(zé)邏輯能力有待提升，遂來看了這部片子。

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

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

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

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

小朋友演示的，是用與、或、非邏輯門實(shí)現(xiàn)2+3=5的四則運(yùn)算，這是四則運(yùn)算可以用邏輯來實(shí)現(xiàn)。

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

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

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

2003年，BBC推出了《邏輯的樂趣》的紀(jì)錄片，紀(jì)律片由Dave Cliff教授，他基于邏輯和數(shù)學(xué)設(shè)計(jì)的ZIP程序，應(yīng)用于交易所，準(zhǔn)確提供市場(chǎng)供求變化。Dave Cliff教授以輕松有趣，淺顯易懂的方式介紹了邏輯及邏輯的一些重要理論。

適合學(xué)生黨看？因?yàn)閿?shù)學(xué)、語(yǔ)言、哲學(xué)、科學(xué)、計(jì)算機(jī)及人工智能等學(xué)科和領(lǐng)域，都以邏輯作引擎。

也適合單身狗看？了解邏輯理論，你不僅能科學(xué)、合理的推導(dǎo)出自己?jiǎn)紊淼脑颍瑥亩e極行動(dòng)，而且還為接下來的約會(huì)，提供了話題，贏得一臉的崇拜，成為撩妹神技。

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

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

19世紀(jì)的查爾斯·路德維?！さ榔嫔?，英國(guó)數(shù)學(xué)家，他用真名寫作數(shù)學(xué)書，但寫邏輯游戲和數(shù)理邏輯的書時(shí)，卻化名路易斯·卡羅爾。沒錯(cuò)他就是經(jīng)典名著《愛麗絲漫游仙境》的作者，同時(shí)，他還是普及邏輯推理和批判思維的第一人。

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

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

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

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

你只需要明白三個(gè)邏輯學(xué)家和一個(gè)酒館的故事。

一天，三個(gè)邏輯學(xué)家走進(jìn)了一家酒吧。侍者問，你們每個(gè)人都要來一杯啤酒嗎？第一個(gè)邏輯學(xué)家說，我不知道。第二個(gè)邏輯學(xué)家說，我也不知道。第三個(gè)邏輯學(xué)家說，是的。請(qǐng)問，三位邏輯學(xué)家到底要不要啤酒？

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

你得出結(jié)論的質(zhì)量取決于你投入思想的質(zhì)量。

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

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

認(rèn)為是一種數(shù)學(xué)，只要把邏輯轉(zhuǎn)化成一個(gè)方程式

布爾的新數(shù)學(xué)運(yùn)算將所有的邏輯簡(jiǎn)化到可以用新的方法整合的形式。

認(rèn)為所有事物都可以精簡(jiǎn)為符號(hào)和兩個(gè)數(shù)字：

死后的一個(gè)世紀(jì)，喬治·布爾提出的邏輯運(yùn)算如此精煉，廣泛運(yùn)用計(jì)算機(jī)領(lǐng)域。

計(jì)算機(jī)的根本就是一堆0和1.

and，or，not

編程：

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

公元前600年，悖論：威脅數(shù)學(xué)的根基。

布爾運(yùn)算的一個(gè)不足：

哥德爾

任何想成為數(shù)學(xué)基礎(chǔ)的邏輯系統(tǒng)，必須完整不矛盾。發(fā)現(xiàn)數(shù)學(xué)和邏輯的局限，

對(duì)于絕對(duì)可以證明的數(shù)學(xué)邏輯結(jié)論經(jīng)歷到瓶頸。

所有的數(shù)學(xué)邏輯系統(tǒng)都是局限的。宣告邏輯紀(jì)元結(jié)束。

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

開始更注重實(shí)踐的邏輯革命

通用機(jī)器是一個(gè)想象中的東西，

1997年圖靈提出

象棋大師被“深藍(lán)”計(jì)算機(jī)打敗，引起轟動(dòng)。

最后教授認(rèn)為，人始終有一些機(jī)器無法替代的獨(dú)特屬性：比如，

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