西南大學邏輯與智能研究中心

邏輯與智能研究中心簡報2015-PAGE3-邏輯與智能研究中心第1第1期總第50期2015西南大學邏輯與智能研究中心簡報★★學術(shù)交流★中國社會科學院鄒崇理研究員、南開大學任曉明教授、貴州科學院張明義教授來中心講學2015年3月22日上午9:00—11:00，中國社科院哲學所博導(dǎo)、中國邏輯學會會長、西南大學邏輯與智能研究中心兼職教授鄒崇理研究員于中心3203學術(shù)報告廳作題為“基于多分法的范疇類型邏輯——非連續(xù)復(fù)合量化句分析”的學術(shù)報告。中心蔣軍利老師以及全體博士后、博士碩士研究生參加了此次報告，報告由郭美云副教授主持。鄒崇理研究員從信息時代的核心技術(shù)是計算機信息處理的背景出發(fā)，簡要介紹了范疇類型邏輯與組合范疇語法的基本情況。首先，簡要介紹多分法并藉以強調(diào)一階邏輯的局限性，從而進入對非連續(xù)復(fù)合量化句的多分法分析；然后，闡釋了格語法的多分法分析模式以及自然語言分析采用多分法的其他情況；最后，闡述多分法對范疇類型邏輯產(chǎn)生的影響：根據(jù)多分法的需要，首先引入左積和右積的概念，確立了范疇的形成定義，而后給出了基于多分法的范疇類型邏輯的公理和規(guī)則以及模型解釋，并證明了其可靠性和完全性。此次學術(shù)講座盡管專業(yè)性強，但是鄒崇理研究員以幽默風趣的語言、生動活潑的講解將專業(yè)性的知識清晰明了地呈現(xiàn)給在座聽講的每位師生，同時，也拓寬了學生的研究視野，使聽者真正地品味到一場邏輯學的饕餮盛宴。2015年3月21日晚上8:00—10:00，南開大學哲學院博士生導(dǎo)師、中國邏輯學會副會長、西南大學邏輯與智能研究中心兼職教授任曉明教授在中心3203學術(shù)報告廳作題為“漫談邏輯、科學與文化”的學術(shù)講座，中心蔣軍利老師、全體博士后以及博士碩士研究生參加了此次講座，講座由郭美云副教授主持。任曉明教授開講便以自己與西南大學的淵源以及自己的求學經(jīng)歷鼓勵在座學生在學習、學術(shù)研究的征途中要有韌勁，注重培養(yǎng)自己的自學能力以及獨立發(fā)現(xiàn)問題、解決問題的能力。然后，從邏輯的起源談起，通過西方邏輯與中國邏輯的比較，并輔之以有趣的邏輯學趣味小問題講述了演繹邏輯與歸納邏輯的相關(guān)知識，認為邏輯的文化（知識）來源是科學，尤其是幾何學。不同的文化孕育不同的邏輯。西方契約文化、法制文化孕育西方的外延邏輯、演繹邏輯；中國的血緣文化、倫理文化孕育中國的內(nèi)涵邏輯、歸納邏輯、語用邏輯。而后，與大家探討了科學的定義和起源，并從邏輯的視角反思科學，給出了最典型的三個關(guān)于科學的模型：歸納主義模型、演繹主義模型、歷史主義模型，從而有助于正確理解科學與邏輯的關(guān)系；最后，站在文化的高度去審視邏輯和科學，邏輯作為一門科學是全人類共有的正確推理形式及其規(guī)律，邏輯作為文化的要素涉及了不同文化中的不同特征，因而表現(xiàn)為不同的形態(tài)。西方邏輯以證明為核心并著力于三段論的形式系統(tǒng)建構(gòu)，公理化、形式化是西方邏輯的重要特色，是西方文化基本精神的要求與顯現(xiàn)，也是西方文化發(fā)展的結(jié)果。西方邏輯是基于科學文化的邏輯。中華文化賦予了中國古代邏輯的特色之一，依賴主體，重視整體性和綜合思考。中國邏輯是倫理文化的邏輯。在講座隨后的互動環(huán)節(jié)中，在座師生與任曉明教授積極討論了中國邏輯、西方邏輯、歸納邏輯以及中西方文化的相關(guān)問題，并且，任曉明教授還與大家分享了自己在南開大學邏輯學教學的方案以及國內(nèi)外訪學關(guān)于邏輯學科的基本情況。此次講座寓專業(yè)性于趣味性之中，任教授偕同在座師生，漫步于邏輯、科學與文化的三月春風之中，悠然、逍遙，暢享邏輯之旨趣。2015年3月21日下午3：00——5：00，貴州科學院研究員、維也納邏輯之夏終身成就獎得主、西南大學邏輯與智能研究中心兼職教授張明義教授在中心3203學術(shù)報告廳作題為“悖論淺談”的學術(shù)講座，中心全體博士后、博士及碩士研究生參加了此次報告，報告由蔣軍利老師主持。張明義教授雖越古稀之年，然老當益壯，依舊精神抖擻，神采奕奕，開講便以“3W”（What？Why？Which？）的形式將在座師生引入到悖論的神奇海洋中，再通過對一些著名悖論的講述，認為悖論的出現(xiàn)推動了科學的發(fā)展，它的出現(xiàn)并非是一件壞事；而后，通過闡釋數(shù)學史上的三次數(shù)學危機，認為數(shù)學危機推動了數(shù)學的發(fā)展，危機的解決，往往給數(shù)學帶來新的內(nèi)容，新的進展，甚至引起革命性的變革；最后，講述哥德爾不完全性定理及其哲學意義。作為一個推論，數(shù)學不可能建立在一個完全嚴密的基礎(chǔ)上。這直接導(dǎo)致哲學(特別是邏輯)和其他領(lǐng)域的許多重要結(jié)果，它的影響至今一直持續(xù)至今。哥德爾定理第一次向世人澄清了“真”與“可證”概念的本質(zhì)區(qū)別。正如哥德爾所說，“數(shù)學不僅是不完全的,還是不可完全的”，這一點也恰是哥德爾定理最深刻的哲學意蘊。在隨后的交流互動環(huán)節(jié)中，張教授還分享了自己學術(shù)研究的經(jīng)歷和心得并囑咐大家：盡管在座有研究哲學邏輯、數(shù)理邏輯等方向的，但是希望沒有數(shù)學、計算機科學基礎(chǔ)的學生多看數(shù)學、計算機科學方面的科普書籍，拓寬自身知識面，打好數(shù)學基礎(chǔ)，掌握基本思想，夯實基礎(chǔ)，不要好高騖遠，企