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