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

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