文學峰 1977年生於湖北省黃石市,1999年獲國防科技大學應用數學專業學士學位;2002年獲國防科技大學科技哲學專業碩士學位,後畢業留校任教;2007年獲中山大學邏輯學專業博士學位,2009年起在中山大學講授《語言邏輯》、《非經典邏輯導論》、《計算語言學》、《模態邏輯》等課程,2012年任中山大學哲學係副教授。研究領域:認知邏輯、邏輯與博弈、邏輯與社會選擇。
現代邏輯自誕生起就與語言有著密切的聯係。盡管濛塔古的範疇語法理論引起瞭語言邏輯的一次革命,但對自然語言內涵性的形式刻畫仍然沒有得到很好的解決。本書運用範疇論、代數語義和博弈語義對該問題進行瞭探索:首先,介紹瞭範疇論的基本概念和基於範疇論的邏輯語義,運用範疇論語義對內涵推理進行瞭刻畫;其次,通過引入語境和語境同義性思想,給齣瞭若乾超內涵邏輯,並針對範疇語法較為靈活的語言給齣一種極小內涵邏輯;最後,本書通過引入多主體和隨機行動的概念,發展瞭博弈語義。
本書適閤數學、邏輯學、語言學和計算機科學專業的科研人員及高校師生參考閱讀。
發表於2024-12-29
範疇、語境與博弈 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯 語言 範疇論 哲學 category
關於幾種流行的自然語言形式語義理論的介紹性質的書,不過介紹的很不錯。例如對於範疇邏輯(categorial logic)和範疇論邏輯(categorical logic)的區分,就是很好的內容,彆的介紹性質的書中很難見到。
評分當初是看範疇論在物理中的應用時,發現邏輯學也在用category,然後在arXiv上搜到過一些自然語言過程範疇化的文章,這事到這裏本來也就是贊嘆一下category本身的牛逼,沒想到居然真的有中文書專門介紹這個!哈哈哈!
評分當初是看範疇論在物理中的應用時,發現邏輯學也在用category,然後在arXiv上搜到過一些自然語言過程範疇化的文章,這事到這裏本來也就是贊嘆一下category本身的牛逼,沒想到居然真的有中文書專門介紹這個!哈哈哈!
評分關於幾種流行的自然語言形式語義理論的介紹性質的書,不過介紹的很不錯。例如對於範疇邏輯(categorial logic)和範疇論邏輯(categorical logic)的區分,就是很好的內容,彆的介紹性質的書中很難見到。
評分當初是看範疇論在物理中的應用時,發現邏輯學也在用category,然後在arXiv上搜到過一些自然語言過程範疇化的文章,這事到這裏本來也就是贊嘆一下category本身的牛逼,沒想到居然真的有中文書專門介紹這個!哈哈哈!
範疇、語境與博弈 2024 pdf epub mobi 電子書 下載