現(xiàn)代邏輯自誕生起就與語言有著密切的聯(lián)系。盡管蒙塔古的范疇語法理論引起了語言邏輯的一次革命，但對自然語言內(nèi)涵性的形式刻畫仍然沒有得到很好的解決。文學(xué)鋒著的《范疇語境與博弈（語言邏輯研究新視角）》運(yùn)用范疇論、代數(shù)語義和博弈語義對該問題進(jìn)行了探索：首先，介紹了范疇論的基本概念和基于范疇論的邏輯語義，運(yùn)用范疇論語義對內(nèi)涵推理進(jìn)行了刻畫；其次，通過引入語境和語境同義性思想，給出了若干超內(nèi)涵邏輯，并針對范疇語法較為靈活的語言給出了一種極小內(nèi)涵邏輯：最后，本書通過引入多主體和隨機(jī)行動的概念．發(fā)展了博弈語義。
本書適合數(shù)學(xué)、邏輯學(xué)、語言學(xué)和計算機(jī)科學(xué)專業(yè)的科研人員及高校師生參考閱讀。
文學(xué)鋒，1977年生于湖北省黃石市，1999年獲國防科技大學(xué)應(yīng)用數(shù)學(xué)專業(yè)學(xué)士學(xué)位；2002年獲國防科技大學(xué)科技哲學(xué)專業(yè)碩士學(xué)位，后畢業(yè)留校任教：2007年獲中山大學(xué)邏輯學(xué)專業(yè)博士學(xué)位，2009年起在中山大學(xué)講授《語言邏輯》、《非經(jīng)典邏輯導(dǎo)論》、《非經(jīng)典邏輯》、《計算語言學(xué)》、《模態(tài)邏輯》等課程，2012年任中山大學(xué)哲學(xué)系副教授。已在Synthese、Studia Logica、Journal of Applied Logic、LNAI等國際著名期刊和論文集發(fā)表學(xué)術(shù)論文若干，主持國家社會科學(xué)基金一項。研究領(lǐng)域：認(rèn)知邏輯、邏輯與博弈、邏輯與社會選擇。
|
