2017年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)專欄（下）：編者導(dǎo)語(yǔ)

近年來(lái)，中國(guó)在邏輯學(xué)，特別是形式邏輯學(xué)方向的研究水平突飛猛進(jìn)，在一些領(lǐng)域已經(jīng)達(dá)到了國(guó)際先進(jìn)水平。每年舉辦的全國(guó)現(xiàn)代邏輯研討會(huì)，不僅體現(xiàn)了我國(guó)在現(xiàn)代邏輯領(lǐng)域的最新前沿研究，也增進(jìn)了國(guó)內(nèi)各個(gè)研究機(jī)構(gòu)、學(xué)者間的相互交流，從而推動(dòng)我國(guó)現(xiàn)代邏輯水平的進(jìn)一步發(fā)展。

2017年全國(guó)現(xiàn)代邏輯研討會(huì)于2017年10月20–22日在浙江大學(xué)舉辦。會(huì)議中共有20篇未發(fā)表論文做會(huì)議報(bào)告。會(huì)后，根據(jù)論文審稿意見(jiàn)和會(huì)議報(bào)告情況，我們從這20篇論文中選擇了6篇論文，邀請(qǐng)其作者將修改版發(fā)表至《邏輯學(xué)研究》。本期專欄收錄其中的三篇論文。

來(lái)自北京大學(xué)周北海、王強(qiáng)和鄭植的論文《亞里士多德劃分格與亞里士多德邏輯》通過(guò)介紹柏拉圖二分法到亞里士多德正負(fù)二分法的演化過(guò)程，提出亞里士多德劃分格的概念，以此建立了解釋亞里士多德邏輯的形式理論。論文中為亞里士多德邏輯體系提出了一個(gè)形式化的公理系統(tǒng)AS，并給出了它的完整的語(yǔ)法和語(yǔ)義，最后證明了AS的可靠性和完全性。論文還從相關(guān)的哲學(xué)背景及立場(chǎng)出發(fā)，對(duì)亞里士多德邏輯進(jìn)行新的考察和辯護(hù)。

來(lái)自浙江大學(xué)應(yīng)騰和黃華新的論文《可廢止邏輯結(jié)構(gòu)化論辯系統(tǒng)的研究》從可廢止邏輯出發(fā)構(gòu)造了一個(gè)新的結(jié)構(gòu)化論辯系統(tǒng)（DLA），為結(jié)構(gòu)化論辯研究提供了新思路。論文以可廢止邏輯和現(xiàn)有結(jié)構(gòu)化論辯系統(tǒng)理論為基礎(chǔ)，完整且嚴(yán)格地定義了一種新的結(jié)構(gòu)化論辯系統(tǒng)DLA，為結(jié)構(gòu)化論辯研究提供了新的參考和思路。

來(lái)自中國(guó)科學(xué)院大學(xué)范杰的論文《Neighborhood contingency logic:A new perspective》使用經(jīng)典鄰域解釋來(lái)刻畫(huà)偶然性邏輯，給出了一個(gè)刻畫(huà)偶然性的鄰域語(yǔ)義，并討論了它的一系列數(shù)學(xué)性質(zhì)，如互模擬概念、Hennessy-Milner定理等。論文不僅提供了一種構(gòu)造偶然性邏輯的新思路，也有助于進(jìn)一步理解鄰域語(yǔ)義學(xué)的模型論性質(zhì)。