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

邏輯與智能研究中心簡報2021-PAGE1-邏輯與智能研究中心第1第1期總第75期2021西南大學(xué)邏輯與智能研究中心簡報★★中心要聞★中心接受學(xué)?！笆濉比宋纳缈破脚_建設(shè)考核2020年12月24日下午，“西南大學(xué)人文社科科研平臺‘十三五’總結(jié)匯報會”在東方紅會議廳舉行，校長張衛(wèi)國、副校長崔延強出席會議。學(xué)校35個人文社科科研平臺依次匯報了“十三五”期間平臺的建設(shè)成績。中心主任郭美云教授從研究隊伍、科研項目、學(xué)術(shù)論文等方面對中心“十三五”建設(shè)成果做了匯報。據(jù)統(tǒng)計，“十三五”期間，中心主要取得了如下成績：1.隊伍建設(shè)方面：引進國家級人才1名、海外博士1名，新增重慶市學(xué)術(shù)帶頭人1名。2.科研項目方面：新增各類縱向項目15項（其中，國家社科基金項目3項，省部級項目5項），經(jīng)費合計148.8萬。3.學(xué)術(shù)論文方面：發(fā)表國內(nèi)外期刊論文與會議論文共計53篇，其中A類論文36篇（含1篇T類論文即在《中國科學(xué)》發(fā)表的論文，2篇國內(nèi)A1論文即在《軟件學(xué)報》發(fā)表的論文，1篇國外A1論文即在《Logic,InformationandComputation》發(fā)表的論文，1篇國外A3論文即在《LogicJournaloftheIGPL》發(fā)表的論文）。4.學(xué)術(shù)著作方面：出版專著3部。5.教材建設(shè)方面：出版教材2部，其中，1部為“馬工程”重點教材《邏輯學(xué)》（首席專家單位）?；厥走^去，展望未來?！笆奈濉逼陂g，中心將以“雙一流”建設(shè)為契機，以邏輯、人工智能、認(rèn)知科學(xué)等學(xué)科交叉研究為特色，繼續(xù)完善和創(chuàng)新管理機制，通過舉辦重要國際學(xué)術(shù)會議、發(fā)表高質(zhì)量研究成果、培養(yǎng)高水平人才等方式繼續(xù)擴大中心在學(xué)界的影響力，把中心建設(shè)成為在國際邏輯學(xué)界有重要影響的交叉學(xué)科研究基地。中心主任郭美云教授當(dāng)選為中國邏輯學(xué)會副會長2020年12月26-27日，“中國邏輯學(xué)會第十一次全國代表大會暨學(xué)術(shù)研討會”在廣西南寧邕江賓館召開。此次會議由中國邏輯學(xué)會主辦，廣西財經(jīng)學(xué)院承辦。大會進行了換屆選舉，產(chǎn)生了中國邏輯學(xué)會第十一屆理事會理事、常務(wù)理事、秘書長、副會長和會長。西南大學(xué)邏輯與智能研究中心主任郭美云教授當(dāng)選為中國邏輯學(xué)會副會長。郭美云教授的當(dāng)選，是全國邏輯學(xué)界對我校邏輯學(xué)學(xué)科建設(shè)和學(xué)術(shù)水平的高度肯定，也是我校哲學(xué)學(xué)科學(xué)術(shù)影響力不斷擴大的體現(xiàn)，對我校邏輯學(xué)和哲學(xué)學(xué)科的建設(shè)和發(fā)展，都將產(chǎn)生積極的推動作用。此外，西南大學(xué)邏輯與智能研究中心名譽主任何向東教授當(dāng)選為常務(wù)理事，李章呂副教授、熊作軍博士當(dāng)選為理事。中國邏輯學(xué)會是國家一級學(xué)會，成立于1979年，我國著名哲學(xué)家、邏輯學(xué)家金岳霖教授是首任會長。經(jīng)過40多年的發(fā)展，中國邏輯學(xué)會已擁有幾千名會員，下設(shè)13個專業(yè)委員會?！铩飳W(xué)術(shù)會議★中心成員參加中國邏輯學(xué)會第十一次全國代表大會2020年12月26日-27日，“中國邏輯學(xué)會第十一次全國代表大會暨學(xué)術(shù)研討會”在廣西南寧邕江賓館召開。本次會議由中國邏輯學(xué)會主辦，廣西財經(jīng)學(xué)院承辦。中心名譽主任何向東教授、中心主任郭美云教授，以及中心哲學(xué)邏輯與邏輯哲學(xué)研究室主任李章呂副教授參加了本次會議。在會上，何向東教授主持了“大會開幕式”和“學(xué)會換屆選舉”。郭美云教授受邀作了題為《時態(tài)邏輯中的“現(xiàn)在”算子》的學(xué)術(shù)報告。李章呂副教授受邀做了題為《知識、歸納接受與抽彩悖論》（與何向東教授合作）的大會學(xué)術(shù)報告。本次大會選舉產(chǎn)生了中國邏輯學(xué)會第十一屆理事會及其領(lǐng)導(dǎo)機構(gòu)。郭美云當(dāng)選為中國邏輯學(xué)會副會長，何向東當(dāng)選為中國邏輯學(xué)會常務(wù)理事，李章呂和熊作軍當(dāng)選為中國邏輯學(xué)會理事。重慶市邏輯學(xué)會會員參加中國邏輯學(xué)會第十一次全國代表大會2020年12月26日-27日，“中國邏輯學(xué)會第十一次全國代表大會暨學(xué)術(shù)研討會”在廣西南寧邕江賓館召開。本次會議由中國邏輯學(xué)會主辦，廣西財經(jīng)學(xué)院承辦。重慶市邏輯學(xué)會名譽會長何向東教授、會長郭美云教授、副會長金承光副教授、副會長田華銀教授、秘書長李章呂副教授、副秘書長黃金華副教授，理事劉方榮副教授，以及會員程和祥、張佑法、吳瑜、彭曉娟等10余人參加了本次會議。在會上，何向東教授受邀主持了“大會開幕式”和“學(xué)會換屆選舉”。郭美云教授、黃金華副教授、程和祥博士分別做了題為《時態(tài)邏輯中的“現(xiàn)在”算子》《我國法律邏輯發(fā)展四十年歷程概況》《論經(jīng)典演算系統(tǒng)L中演繹序列的兩種搜索方法》的學(xué)術(shù)報告。李章呂副教授受邀做了題為《知識、歸納接受與抽彩悖論》（與何向東教授合作）的大會學(xué)術(shù)報告。本次大會選