西南大學(xué)邏輯與智能研究中心

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