邏輯學對計算機科學、信息科學的作用大家都有一致的意識。然而縱觀海內的大學教育，值得思考的問題是：到底有多少有關邏輯演算跟技術的教育？一些文科院系可能開設“邏輯學”已屬不易，而在理工科的院系，簡直看不到邏輯學的教育內容。教養系統中邏輯缺失是廣泛存在的問題。然而，對邏輯訓練的盼望則是筆者作為一般老師所深深領會到的。

　　當社會埋怨當今大學生邏輯思維缺失機，也許我們應該更踴躍地思考：邏輯學自身發展示狀如何？其學科穿插性如何在大學教育中體現？在詳細的學科中，邏輯學作為工具的位置如何通過教育實現？

起源：中國科學報 2013-11-28 劉奮榮

　　在邏輯的教育方面，興許英國已經遠遠走在咱們的前面。利物浦大學博士格羅斯（Grossi）先容了英國最新的做法，他稱為“對邏輯來說是最激動聽心的時刻”。從2014年秋季開端，英國中學的課程將會引入有關計算的內容。這就使得作為盤算機迷信基本的邏輯學能從中學開始進入公民教導打算，從而在更早的階段培育學生的邏輯思維才能。

　　此外，我們的生涯正在受到信息的影響，信息科學的發展能幫我們懂得信息的作用機理。阿姆斯特丹大學教授范丙申（Van Benthem）重點講述了邏輯學對于信息科學和常識型社會的基礎作用：邏輯學能讓我們看明白社會景象背地的個別模式和規律。

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

　　筆者在清華大學為本科生開設了一門“一階邏輯”課程，重要講解命題邏輯、謂詞邏輯和新的認知、動態邏輯。這門課程是哲學系的必修課,企業家導師，也向全校開放。每次上課都吸引了來自數學、計算機、信息、物理學等院系的學生，他們當真學習的立場給我留下深入的影響。

　　然而，作為一門基礎的實踐學科，除了本身的學科發展外，邏輯學始終在為其余學科默默地承當奠基性、工具性的作用。一個研討者若不基礎的邏輯思維、邏輯技巧的練習，我們還能等待他作出什么高程度的科學研究？正如紐約城市大學教學阿提莫夫（Artemov）所說，就像16世紀物理學家發明的萬有引力定律一樣，邏輯根本法則由古希臘邏輯學家察看人類的推理得到。物理學描寫物理世界的規律，而邏輯學則教會我們如何準確思考，得到牢靠的論斷。

　　對邏輯訓練對計算機學科研究的主要性，牛津大學計算機系傳授阿布蘭姆斯基（Abramsky）說，情勢邏輯的訓練應當成為計算機科學及其相干范疇的基本訓練局部。美國萊斯大學教授瓦迪（Vardi）說，在從前的50年里，邏輯學與計算機科學之間的交互是持續、普遍的。邏輯學成為計算體系建模的工具，被稱為“計算機科學的演算”。

大學邏輯教育難在何處

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

　　如何在教育體制中真正落實邏輯訓練和技術的內容？新西蘭奧克蘭大學博士謝破民（Seligman）提到，課程設計要體現邏輯學發展現狀。在過去的30年里，邏輯的發展超出了傳統上與數學的交叉，開始與計算機科學交叉，并通過計算機科學與良多社會科學交叉。然而，邏輯學在當今的教育內容依然停留在傳統的對邏輯學的懂得上：邏輯學要么是理論計算機的一個小構件，要么是數學領域內小的研究方向，不少人將其看作是哲學沒有必要、無聊的課程。只管歷史已表明，邏輯在哲學、計算機發展中起到了舉足輕重的作用，但在當下大學教育中，邏輯學發展的真正面孔遠遠沒有體現出來。

• 清華大學啟動2014年“自強打算” - 清華大學消息網
• 淺談企業資金危險剖析與治理把持辦法
• 淺談事業單位會計治理工作中存在的問題及解決思路
• 淺談上市公司內部管理構造對會計信息品質的影響
• 淺析高校基建會計監視
• 淺析環境治理會計
• 淺析水利企業的策略治理會計
• 淺析我國治理會計軌制環境及影響