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

1、邏輯與智能研究中心簡(jiǎn)報(bào)20161邏輯與智能研究中心西南大學(xué)邏輯與智能研究中心簡(jiǎn)報(bào)中心主任郭美云教授應(yīng)邀在第三屆中心主任郭美云教授應(yīng)邀在第三屆ΔWKSHOPΔWKSHOP上作主題報(bào)告作主題報(bào)告2016年3月26日，中心主任郭美云教授應(yīng)會(huì)議主辦方邀請(qǐng)，前往北京師范大學(xué)在第三屆ΔWKSHOP作了題為“試析根岑邏輯演繹思想的主要特征和哲學(xué)影響”的主題報(bào)告。本次會(huì)議由北京師范大學(xué)哲學(xué)學(xué)院和哲學(xué)學(xué)院邏輯與認(rèn)知科學(xué)研究所主辦。報(bào)告主要討論根岑如何從邏

2、輯公理化思想出發(fā)，逐步發(fā)展并提出自然演繹和矢列演算思想的基礎(chǔ)上，總結(jié)出根岑邏輯演繹思想的主要特征。報(bào)告認(rèn)為，根岑對(duì)聯(lián)接詞引入和消去規(guī)則各自角色的深刻理解以及他所采取的樹(shù)形證明方式引導(dǎo)他發(fā)現(xiàn)并證明了切割消去定理。最后對(duì)根岑的邏輯演繹思想在證明論語(yǔ)義學(xué)和意義理論方面的應(yīng)用和哲學(xué)影響進(jìn)行了討論。本次會(huì)議一共由來(lái)自哲學(xué)、數(shù)學(xué)和計(jì)算機(jī)三個(gè)領(lǐng)域的6個(gè)主題報(bào)告組成，每個(gè)報(bào)告時(shí)間45分鐘。會(huì)議氣氛活潑，討論熱烈深入，極大地促進(jìn)了哲學(xué)、數(shù)學(xué)和計(jì)算機(jī)三個(gè)不

3、同領(lǐng)域間邏輯工作者之間的相互了解和交流，對(duì)加強(qiáng)三個(gè)領(lǐng)域的理解和合作有重要意義。第1期總第總第5555期2016★中心要聞中心要聞★邏輯與智能研究中心簡(jiǎn)報(bào)20163邏輯與智能研究中心年4月16日，“西南大學(xué)邏輯與智能研究中心成立10周年慶典暨學(xué)術(shù)研討會(huì)”在政治與公共管理學(xué)院3326會(huì)議室隆重舉行。本次會(huì)議由政治與公共管理學(xué)院主辦，西南大學(xué)邏輯與智能研究中心承辦。來(lái)自中國(guó)社會(huì)科學(xué)院、北京大學(xué)、清華大學(xué)、中山大學(xué)、南開(kāi)大學(xué)、復(fù)旦大學(xué)、浙江大學(xué)

4、、北京師范大學(xué)和西南大學(xué)等國(guó)內(nèi)30多家高校、邏輯研究機(jī)構(gòu)的代表和校友共70多人參加了此次盛會(huì)。崔延強(qiáng)副校長(zhǎng)代表學(xué)校出席慶典并致歡迎辭。他介紹了西南大學(xué)百多年的辦學(xué)歷史以及邏輯學(xué)專業(yè)三十余年的發(fā)展歷程，對(duì)中心十余年的發(fā)展成就給予了充分肯定。此外，他還深情地回顧了自己曾在中心從事邏輯教學(xué)的經(jīng)歷，并結(jié)合自身體會(huì)指出，邏輯學(xué)對(duì)于從事古典哲學(xué)、語(yǔ)言哲學(xué)、分析哲學(xué)以及其它眾多學(xué)科知識(shí)的研究都非常重要，邏輯知識(shí)和邏輯思維能力的培養(yǎng)是研究生和本科生培養(yǎng)

5、過(guò)程中不可或缺的內(nèi)容。中心名譽(yù)主任何向東教授代表邏輯與智能研究中心致辭，他在回顧中心發(fā)展歷程的同時(shí)，從學(xué)科平臺(tái)建設(shè)、科學(xué)研究、學(xué)術(shù)交流、人才培養(yǎng)等方面介紹了中心成立十年來(lái)所取得的重大成就，并對(duì)學(xué)校、學(xué)院以及各位嘉賓和校友在中心發(fā)展中給予的支持幫助表示最誠(chéng)摯的謝意。中國(guó)邏輯學(xué)會(huì)秘書(shū)長(zhǎng)、中國(guó)社會(huì)科學(xué)院哲學(xué)所杜國(guó)平研究員代表中國(guó)邏輯學(xué)會(huì)致辭，他在充分肯定了中心十年來(lái)取得非凡成就的同時(shí)，對(duì)中心的未來(lái)發(fā)展提出了寶貴的意見(jiàn)和建議。西南大學(xué)政治與公共

6、管理學(xué)院院長(zhǎng)陳躍教授代表學(xué)院參加了慶典并致歡迎辭。邏輯與智能研究中心主任郭美云教授主持了本次慶典。參加此次慶典和研討會(huì)的還有西南大學(xué)社會(huì)科學(xué)處、西南大學(xué)哲學(xué)系以及西南大學(xué)邏輯與智能研究中心的科研人員。本次會(huì)議由十周年慶典、學(xué)科建設(shè)經(jīng)驗(yàn)交流和學(xué)術(shù)研討三部分組成。會(huì)議收到了中國(guó)邏輯學(xué)會(huì)、荷蘭阿姆斯特丹大學(xué)、臺(tái)灣陽(yáng)明大學(xué)、南開(kāi)大學(xué)、北京師范大學(xué)和四川省邏輯學(xué)會(huì)等國(guó)內(nèi)外三十多家兄弟單位的專家學(xué)者和機(jī)構(gòu)發(fā)來(lái)的的賀信與賀電。這次會(huì)議對(duì)于推動(dòng)西南大學(xué)