清華大學(xué)哲學(xué)系教學(xué)劉奮榮：大學(xué)邏輯教導(dǎo)難在何處 - 清華大學(xué)新

　　邏輯學(xué)對(duì)計(jì)算機(jī)科學(xué)、信息科學(xué)的作用大家都有一致的意識(shí)。然而縱觀(guān)海內(nèi)的大學(xué)教育，值得思考的問(wèn)題是：到底有多少有關(guān)邏輯演算跟技術(shù)的教育？一些文科院系可能開(kāi)設(shè)“邏輯學(xué)”已屬不易，而在理工科的院系，簡(jiǎn)直看不到邏輯學(xué)的教育內(nèi)容。教養(yǎng)系統(tǒng)中邏輯缺失是廣泛存在的問(wèn)題。然而，對(duì)邏輯訓(xùn)練的盼望則是筆者作為一般老師所深深領(lǐng)會(huì)到的。

　　當(dāng)社會(huì)埋怨當(dāng)今大學(xué)生邏輯思維缺失機(jī)，也許我們應(yīng)該更踴躍地思考：邏輯學(xué)自身發(fā)展示狀如何？其學(xué)科穿插性如何在大學(xué)教育中體現(xiàn)？在詳細(xì)的學(xué)科中，邏輯學(xué)作為工具的位置如何通過(guò)教育實(shí)現(xiàn)？

起源：中國(guó)科學(xué)報(bào) 2013-11-28 劉奮榮

　　在邏輯的教育方面，興許英國(guó)已經(jīng)遠(yuǎn)遠(yuǎn)走在咱們的前面。利物浦大學(xué)博士格羅斯（Grossi）先容了英國(guó)最新的做法，他稱(chēng)為“對(duì)邏輯來(lái)說(shuō)是最激動(dòng)聽(tīng)心的時(shí)刻”。從2014年秋季開(kāi)端，英國(guó)中學(xué)的課程將會(huì)引入有關(guān)計(jì)算的內(nèi)容。這就使得作為盤(pán)算機(jī)迷信基本的邏輯學(xué)能從中學(xué)開(kāi)始進(jìn)入公民教導(dǎo)打算，從而在更早的階段培育學(xué)生的邏輯思維才能。

　　此外，我們的生涯正在受到信息的影響，信息科學(xué)的發(fā)展能幫我們懂得信息的作用機(jī)理。阿姆斯特丹大學(xué)教授范丙申（Van Benthem）重點(diǎn)講述了邏輯學(xué)對(duì)于信息科學(xué)和常識(shí)型社會(huì)的基礎(chǔ)作用：邏輯學(xué)能讓我們看明白社會(huì)景象背地的個(gè)別模式和規(guī)律。

　　今年10月，筆者有幸組織了在清華大學(xué)舉行的“逾越大學(xué)的邏輯：基礎(chǔ)與利用”國(guó)際會(huì)議，來(lái)自世界各地的著名邏輯學(xué)家共聚一堂，探討邏輯學(xué)的最新研究和發(fā)展趨勢(shì)。大家特殊探討了邏輯學(xué)在大學(xué)教育中的作用。這些學(xué)者來(lái)自計(jì)算系、語(yǔ)言學(xué)系、哲學(xué)系、數(shù)學(xué)系等各個(gè)學(xué)科，從中可以看出邏輯學(xué)的學(xué)科交叉性。可以說(shuō)，邏輯的發(fā)展過(guò)程就是一直與其他學(xué)科交叉的歷史。

　　筆者在清華大學(xué)為本科生開(kāi)設(shè)了一門(mén)“一階邏輯”課程，重要講解命題邏輯、謂詞邏輯和新的認(rèn)知、動(dòng)態(tài)邏輯。這門(mén)課程是哲學(xué)系的必修課,企業(yè)家導(dǎo)師，也向全校開(kāi)放。每次上課都吸引了來(lái)自數(shù)學(xué)、計(jì)算機(jī)、信息、物理學(xué)等院系的學(xué)生，他們當(dāng)真學(xué)習(xí)的立場(chǎng)給我留下深入的影響。

　　然而，作為一門(mén)基礎(chǔ)的實(shí)踐學(xué)科，除了本身的學(xué)科發(fā)展外，邏輯學(xué)始終在為其余學(xué)科默默地承當(dāng)?shù)旎�性、工具性的作用。一個(gè)研討者若不基礎(chǔ)的邏輯思維、邏輯技巧的練習(xí)，我們還能等待他作出什么高程度的科學(xué)研究？正如紐約城市大學(xué)教學(xué)阿提莫夫（Artemov）所說(shuō)，就像16世紀(jì)物理學(xué)家發(fā)明的萬(wàn)有引力定律一樣，邏輯根本法則由古希臘邏輯學(xué)家察看人類(lèi)的推理得到。物理學(xué)描寫(xiě)物理世界的規(guī)律，而邏輯學(xué)則教會(huì)我們?nèi)绾螠?zhǔn)確思考，得到牢靠的論斷。

　　對(duì)邏輯訓(xùn)練對(duì)計(jì)算機(jī)學(xué)科研究的主要性，牛津大學(xué)計(jì)算機(jī)系傳授阿布蘭姆斯基（Abramsky）說(shuō)，情勢(shì)邏輯的訓(xùn)練應(yīng)當(dāng)成為計(jì)算機(jī)科學(xué)及其相干范疇的基本訓(xùn)練局部。美國(guó)萊斯大學(xué)教授瓦迪（Vardi）說(shuō)，在從前的50年里，邏輯學(xué)與計(jì)算機(jī)科學(xué)之間的交互是持續(xù)、普遍的。邏輯學(xué)成為計(jì)算體系建模的工具，被稱(chēng)為“計(jì)算機(jī)科學(xué)的演算”。

大學(xué)邏輯教育難在何處

　　進(jìn)入中學(xué)的教育在中國(guó)或者還須要一些時(shí)日，然而在大學(xué)發(fā)展基本的邏輯訓(xùn)練和邏輯教育仿佛沒(méi)有那么艱苦。國(guó)外大學(xué)的做法能夠給我們供給一些教訓(xùn)和啟示。大學(xué)的邏輯教育關(guān)乎科學(xué)的整體發(fā)展，還須引起國(guó)人的關(guān)注。（作者系清華大學(xué)哲學(xué)系教授）

　　如何在教育體制中真正落實(shí)邏輯訓(xùn)練和技術(shù)的內(nèi)容？新西蘭奧克蘭大學(xué)博士謝破民（Seligman）提到，課程設(shè)計(jì)要體現(xiàn)邏輯學(xué)發(fā)展現(xiàn)狀。在過(guò)去的30年里，邏輯的發(fā)展超出了傳統(tǒng)上與數(shù)學(xué)的交叉，開(kāi)始與計(jì)算機(jī)科學(xué)交叉，并通過(guò)計(jì)算機(jī)科學(xué)與良多社會(huì)科學(xué)交叉。然而，邏輯學(xué)在當(dāng)今的教育內(nèi)容依然停留在傳統(tǒng)的對(duì)邏輯學(xué)的懂得上：邏輯學(xué)要么是理論計(jì)算機(jī)的一個(gè)小構(gòu)件，要么是數(shù)學(xué)領(lǐng)域內(nèi)小的研究方向，不少人將其看作是哲學(xué)沒(méi)有必要、無(wú)聊的課程。只管歷史已表明，邏輯在哲學(xué)、計(jì)算機(jī)發(fā)展中起到了舉足輕重的作用，但在當(dāng)下大學(xué)教育中，邏輯學(xué)發(fā)展的真正面孔遠(yuǎn)遠(yuǎn)沒(méi)有體現(xiàn)出來(lái)。

• 清華大學(xué)啟動(dòng)2014年“自強(qiáng)打算” - 清華大學(xué)消息網(wǎng)
• 淺談企業(yè)資金危險(xiǎn)剖析與治理把持辦法
• 淺談事業(yè)單位會(huì)計(jì)治理工作中存在的問(wèn)題及解決思路
• 淺談上市公司內(nèi)部管理構(gòu)造對(duì)會(huì)計(jì)信息品質(zhì)的影響
• 淺析高校基建會(huì)計(jì)監(jiān)視
• 淺析環(huán)境治理會(huì)計(jì)
• 淺析水利企業(yè)的策略治理會(huì)計(jì)
• 淺析我國(guó)治理會(huì)計(jì)軌制環(huán)境及影響