內(nèi)容整編，形式創(chuàng)意

邏輯與口語表達(dá)？

什么是邏輯？

思維的最基本單位是概念，我們用概念來為事物分類，建立對象，比概念大一些的思維單位是模型，模型可以是命題，公式，圖示，是概念集合，我們用其來建立和把握概念之間的關(guān)系

我們建立對象，把握關(guān)系，是為了干什么？

為了形成有效的判斷，「命題就是帶有判斷功能的語句」

邏輯的位置？

推理:從已知命題（前提）中推斷出未知命題（結(jié)論）的行為

命題:有判斷功能的語句

論證:從多個前提中，用各種各樣的推理形式得到或證明某一個結(jié)論，的系統(tǒng)化的推理行為，有推出關(guān)系的語群

邏輯就是確保這些推理與論證有效的規(guī)則

邏輯學(xué)就是研究這些有效推理，論證，規(guī)則和標(biāo)準(zhǔn)的一個學(xué)科

我應(yīng)該怎樣習(xí)得和掌握這種規(guī)則呢？

先問（更底層）:邏輯憑什么確保推理和論證的有效性？它自己的合法性從何而來？→邏輯起作用的底層原理是什么？

邏輯的本質(zhì)內(nèi)涵

無論從老概念理解新概念，還是通過已知命題來推斷未知命題，本質(zhì):我們都是在處理我們心智中的各種各樣的范疇，從老范疇中得到新范疇，從已知范疇中得到未知范疇→都是為了擴大我們的認(rèn)知范圍

這種擴大的有效路徑:

演繹推理:從大范疇中，找到小范疇的推理

歸納推理:從眾多小范疇中，找到大范疇的推理

類比推理:在相似的范疇之間進(jìn)行的推理

第一種推理是有效的，因為從大的范疇推小的范疇存在是充分條件，所以其是一種必然性的推理

后兩者為合情推理，或然推理

經(jīng)典邏輯學(xué)

亞里士多德觀點:邏輯的本質(zhì)就是必然的得出

只有演繹邏輯符合要求，所以其中就只有其和基于其發(fā)展起來的數(shù)理邏輯，被統(tǒng)稱為形式邏輯

邏輯的合法性來自于形式邏輯的合理性，形式的合理性來自于我們事件的有效性，尤其的現(xiàn)代西方意義上的實踐的有效性

演繹邏輯

命題的最小單位是概念，論證的最小單位則是命題

AEIO是四個基本命題的縮寫，它們是我們推理和論證的基本起點

我之前舉過一個關(guān)于蘋果的例子，想象你是地球上第一個擁有自我意識的人，看到一個蘋果，你會構(gòu)建什么樣的命題來澄清你與蘋果之間的關(guān)系呢？迅速的得出判斷，我不是蘋果。當(dāng)你得出這個判斷的時候，你也就拒絕了，我是蘋果這樣的判斷，也拒絕了一部分我是蘋果這樣的判斷，但是默認(rèn)的接受了一部分我不是蘋果這樣的判斷

邏輯學(xué)家把這樣的規(guī)則整理出來，變成了一個叫邏輯方陣的東西，借助邏輯方式，我們可以必然的推斷出當(dāng)你說我不是蘋果這件事情為真的時候。我是蘋果一定是假，因為他們是反對關(guān)系，但是一部分我不是蘋果，這件事情卻是真的，因為他們是從屬關(guān)系，全稱為真，那特征必然為真，這是最基本的演繹邏輯，它不創(chuàng)造新的知識，只是把預(yù)埋在前提中的結(jié)論，擺了出來而已

三段論

這個三段論，究竟是要解決我們的什么問題呢？

其實我們是用三段論，圈定一個概念所指的范疇，范疇的覆蓋范圍也叫外延

我們需要一個命題告訴我們所有的蘋果都是食物，然后又需要一個命題來告訴我們所有的食物都是可以吃的，然后我們會必然的得出一個結(jié)論，就是所有的蘋果都是可以吃的

然后我會說這還用邏輯嗎？這不是三歲小孩子都能得出的判斷嗎？哲學(xué)家比我們謙虛的多，也閑的多，他們真的會像一個三歲的小孩子一樣去問有什么規(guī)律嗎？如果有規(guī)律，那我豈不是能總結(jié)出來一套規(guī)則來讓我所有的判斷都是有效的

蘋果是小圈，食物是中圈，可以吃是大圈，中圈是不出現(xiàn)在結(jié)論中的，但是它必須同時出現(xiàn)在兩個前提中，因為它要成為小圈和大圈的中介來明確小圈和大圈的關(guān)系，這就是三段論的基本規(guī)則之一

規(guī)則:中圈必須在前提中被完整覆蓋一次

推理有效，僅指形式上有效，不論內(nèi)容

256種三段論的形式中，只有15中有效，而規(guī)則有六條

三段論→詞項邏輯

→命題邏輯，命題演算，謂詞邏輯

獲知基本命題的真假→判斷復(fù)合命題的真假

邏輯學(xué)家發(fā)明命題邏輯的這個終極野心是要窮盡所有復(fù)合命題的真假判斷規(guī)則

一旦基本命題的真假狀況被給出來后，所有的命題連接詞真假的可能性都會被算出來

真值函數(shù)

而且，并非。這些命題連接已經(jīng)脫離了日常語言的含義，變成了一個盒子，朝它輸入一些東西，它按照規(guī)則在輸出一些東西，它變成了一個函數(shù)，因為這個輸入和輸出要么就是真，要么就是假，所以它也叫真值函數(shù)

這些命題連接詞下的各種各樣的排列，我們叫他真值表

然后對這種命題邏輯的數(shù)學(xué)化的處理，我們叫命題演算

你會說這種演算有什么意義呢？雖然在邏輯的可能性上還有16種排列組合，但是只有少數(shù)的組合是能夠跟我們的日常語言對應(yīng)的上的，就是我們前面講到的，如果那么，而且，或者，這樣的密集連接詞，其他的我們是找不到日常語言中的對應(yīng)的

比如說這里有一個真真這樣的組合，就相當(dāng)于有這樣的一個命題連接詞，你無論基本命題給他是真是假，怎么樣組合這個復(fù)合命題它永遠(yuǎn)是真的，你日常語言中是找不到這個連接詞的

喬治·布爾《思維規(guī)律的研究》構(gòu)成邏輯和概率的數(shù)學(xué)原理，創(chuàng)立了邏輯代數(shù)

開創(chuàng)了謂詞邏輯，量化邏輯

自喬治·布爾，邏輯進(jìn)一步脫離日常以及語言的模糊性，變得更加精確，抽象，符號化有，進(jìn)行了對數(shù)學(xué)，計算機的擴展有，有將認(rèn)知在內(nèi)的整個思考過程都可以外包出去，運用這些累積可以做出更復(fù)雜的事有（計算機科學(xué)有）

演繹邏輯的核心內(nèi)涵:必然的導(dǎo)出

從最基本的演繹系統(tǒng)到最復(fù)雜的人工智能

關(guān)鍵詞:形式

我們回顧形式邏輯的這個發(fā)展的歷程，就會發(fā)現(xiàn)一開始是只有內(nèi)容沒有形式的，我們提煉出來形式是為了規(guī)范我們的內(nèi)容的形態(tài)，而讓我們增加更多的這個確定性，那個時候是形式服務(wù)于內(nèi)容

但是這一下玩爽了，沒摟住，整個一個三段論就整出256種形式，就形式慢慢的開始大于內(nèi)容，到了數(shù)理邏輯里就更過分了，內(nèi)容被抽象成了完全沒有意義的占位符，判斷也就變成了計算形式，開始脫離內(nèi)容邏輯，就這樣自顧自在他的抽象世界中暗自發(fā)育，制造出來一種看似如何過剩的精確性

就在我們這普通人還在質(zhì)疑這種智力游戲有什么意義的時候，20世紀(jì)的技術(shù)進(jìn)步，接上這些過剩的理論儲備，天地?zé)ㄈ灰恍?/p>

今天一臺電腦，一部手機擺在你面前，你應(yīng)該非常的驚嘆，哈利波特的世界里面給偷出來的嗎？這個神奇的魔法盒子最神奇的地方在于它里面居然沒有魔法，這里面沒有任何物質(zhì)是這個世界上不存在的，所有的屬性都被上帝給定的死死的，我們居然能夠循著有效的形式，在上帝給定的范疇中必然的得出一部手機

于是我們要回過頭來認(rèn)真的審視一下什么是形式

我們說形式大于內(nèi)容，我們往往把形式等同于包裝啊，覺得它是裝飾是外觀是不重要的

在今天的語境下，形式更接近于容器的作用，我們通過它來盛放組織，傳遞內(nèi)容，我們總是腦子里想著內(nèi)容，眼睛里盯著那種，嘴巴里說著內(nèi)容，但內(nèi)容總是以某種方式組織起來的，當(dāng)然思維的內(nèi)容是復(fù)雜的，所以容器的規(guī)格也千變?nèi)f化。形式邏輯相當(dāng)于人類為容器制定的一個強制執(zhí)行標(biāo)準(zhǔn)

由于這個不盡人心的標(biāo)準(zhǔn)，過濾了絕大部分的容器，所以邏輯有的時候罩不住，但凡他能照住的地方，思想的內(nèi)容就能夠沿著他拼貼的嚴(yán)絲合縫的細(xì)長的管道抵達(dá)及精微的層次和極遙遠(yuǎn)的地方，這就是嚴(yán)謹(jǐn)，空洞又無聊的行事邏輯演繹邏輯的威力

尷尬的是這種威力和我們個人的關(guān)系不大，是用精密而枯燥的邏輯，并非我們的內(nèi)在能力，他需要很深的長期的訓(xùn)練才能夠獲得，我們往往是以一種外掛的形式在使用它的力量，一旦脫離了外掛，我們是很蠢萌的物種。包括我在內(nèi)的絕大多數(shù)普通人都是不自覺的歸納歸在內(nèi)地高手和演繹殘廢