作者：賈青 刊期：2018年第03期

基本正系統(tǒng)B+是若干相干邏輯正系統(tǒng)的基礎(chǔ)，通過添加新的公理模式就能在B+的基礎(chǔ)上得到一系列不同的相干邏輯正系統(tǒng)。Meyer和Routley（1972）以及Routley和Meyer（1972）分別給出了B+及其一系列擴(kuò)充的代數(shù)語義和關(guān)系語義，Meyer和Routley（1972）還討論了這兩種語義之間的對應(yīng)關(guān)系。本文中，我們將在引入周北海（1996a）、（1996b）中所創(chuàng)立的相...

作者：林哲; 梁飛 刊期：2018年第03期

本文研究否定算子的蘭貝克演算，提出了蘭貝克演算的極小否定擴(kuò)張，刻畫了蘭貝克演算的極小否定擴(kuò)張的代數(shù)模型，同時證明了蘭貝克演算的極小否定的擴(kuò)張判定性，并發(fā)展了該邏輯的一個根岑序列演算。同時本文也將結(jié)論拓展到蘭貝克演算的德摩根擴(kuò)張并證明其判定性。

作者：許滌非 刊期：2018年第03期

本文首先澄清了蒯因的本體論承諾不能回答邏輯理論的本體論承諾的問題。然后分析了Kit Fine（2009）對量化理論的批評。盡管本文同意“本體論承諾”本身并沒有解釋日常承諾與理論承諾的距離，但是不同意本體論承諾的哲學(xué)分析是平常的或者是非哲學(xué)的。本文還討論了Fine（2009）與葉峰（2010）所闡述的兩種實(shí)在論，并且認(rèn)為他們的結(jié)論下得草率。通...

作者：余喆; 徐康; 廖備水 刊期：2018年第03期

近年來，形式論辯研究在人工智能領(lǐng)域受到越來越多的關(guān)注。形式論辯研究的目標(biāo)之一是溝通人類推理和機(jī)器推理，為實(shí)現(xiàn)這一目的，近年來多個結(jié)構(gòu)化論辯系統(tǒng)被提出，如ABA、ASPIC+、ASPIC??等。不同的研究在系統(tǒng)設(shè)定上有不同的選擇，本文關(guān)注的是對論證間反駁關(guān)系定義的兩種不同選擇：限制性反駁和非限制性反駁。為了驗(yàn)證哪種選擇更符合人類推理直...

作者：王軼 刊期：2018年第03期

2017年10月20至22日在浙江大學(xué)舉行了本年度全國現(xiàn)代邏輯學(xué)術(shù)研討會。此次大會由中國邏輯學(xué)會現(xiàn)代邏輯專業(yè)委員會、浙江大學(xué)哲學(xué)系和浙江大學(xué)語言與認(rèn)知研究中心共同主辦。會議以“現(xiàn)代邏輯前沿問題”為主題，涵蓋哲學(xué)邏輯、數(shù)理邏輯、邏輯哲學(xué)、邏輯學(xué)在語言學(xué)、計算機(jī)科學(xué)和社會科學(xué)中的應(yīng)用等研究領(lǐng)域，旨在增進(jìn)國內(nèi)各領(lǐng)域邏輯學(xué)研究人員的交...