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

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

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

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

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

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

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