馮棉著的《相干與衍推謂詞邏輯》內(nèi)容是研究相干與衍推謂詞邏輯，涉及多種相干與衍推謂詞邏輯弱系統(tǒng)和強(qiáng)系統(tǒng)的建構(gòu)，包括公理系統(tǒng)、自然推理系統(tǒng)和結(jié)構(gòu)推理系統(tǒng)，在此基礎(chǔ)上，建構(gòu)了相干與衍推謂詞邏輯弱系統(tǒng)的三元關(guān)系變域語(yǔ)義，并證明了各種相干與衍推謂詞邏輯弱系統(tǒng)的可靠性與完全性。全書(shū)共分三章十節(jié)，書(shū)后列出了參考文獻(xiàn)。
馮棉，華東師范大學(xué)終身教授，博士生導(dǎo)師，哲學(xué)系邏輯室主任，邏輯學(xué)博士點(diǎn)負(fù)責(zé)人，國(guó)務(wù)院特殊津貼獲得者，中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)，上海市邏輯學(xué)會(huì)會(huì)長(zhǎng)，《邏輯學(xué)研究》雜志編委，臺(tái)灣大學(xué)客座教授(2013)。
撰有專著《經(jīng)典邏輯與直覺(jué)主義邏輯》、《廣義模態(tài)邏輯》、《哲學(xué)邏輯與邏輯哲學(xué)》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫(xiě)《哲學(xué)大辭典》、《計(jì)算機(jī)科學(xué)技術(shù)百科全書(shū)》、《辭�！�、《外國(guó)哲學(xué)大辭典》、《邏輯學(xué)大辭典》(副主編)、《大辭�！返绒o書(shū)和《邏輯學(xué)導(dǎo)論》等多部教材。
先后承擔(dān)多項(xiàng)國(guó)家和教育部基金項(xiàng)目，著作和論文獲教育部“高等學(xué)�？茖W(xué)研究?jī)?yōu)秀成果獎(jiǎng)”、上海市哲學(xué)社會(huì)科學(xué)優(yōu)秀學(xué)術(shù)成果獎(jiǎng)和“金岳霖學(xué)術(shù)獎(jiǎng)”。主要研究領(lǐng)域?yàn)椤艾F(xiàn)代邏輯”和“邏輯哲學(xué)”。
|
