文学峰 1977年生于湖北省黄石市,1999年获国防科技大学应用数学专业学士学位;2002年获国防科技大学科技哲学专业硕士学位,后毕业留校任教;2007年获中山大学逻辑学专业博士学位,2009年起在中山大学讲授《语言逻辑》、《非经典逻辑导论》、《计算语言学》、《模态逻辑》等课程,2012年任中山大学哲学系副教授。研究领域:认知逻辑、逻辑与博弈、逻辑与社会选择。
发表于2024-12-27
范畴、语境与博弈 2024 pdf epub mobi 电子书
图书标签: 逻辑 语言 范畴论 哲学 category
现代逻辑自诞生起就与语言有着密切的联系。尽管蒙塔古的范畴语法理论引起了语言逻辑的一次革命,但对自然语言内涵性的形式刻画仍然没有得到很好的解决。本书运用范畴论、代数语义和博弈语义对该问题进行了探索:首先,介绍了范畴论的基本概念和基于范畴论的逻辑语义,运用范畴论语义对内涵推理进行了刻画;其次,通过引入语境和语境同义性思想,给出了若干超内涵逻辑,并针对范畴语法较为灵活的语言给出一种极小内涵逻辑;最后,本书通过引入多主体和随机行动的概念,发展了博弈语义。
本书适合数学、逻辑学、语言学和计算机科学专业的科研人员及高校师生参考阅读。
关于几种流行的自然语言形式语义理论的介绍性质的书,不过介绍的很不错。例如对于范畴逻辑(categorial logic)和范畴论逻辑(categorical logic)的区分,就是很好的内容,别的介绍性质的书中很难见到。
评分关于几种流行的自然语言形式语义理论的介绍性质的书,不过介绍的很不错。例如对于范畴逻辑(categorial logic)和范畴论逻辑(categorical logic)的区分,就是很好的内容,别的介绍性质的书中很难见到。
评分当初是看范畴论在物理中的应用时,发现逻辑学也在用category,然后在arXiv上搜到过一些自然语言过程范畴化的文章,这事到这里本来也就是赞叹一下category本身的牛逼,没想到居然真的有中文书专门介绍这个!哈哈哈!
评分关于几种流行的自然语言形式语义理论的介绍性质的书,不过介绍的很不错。例如对于范畴逻辑(categorial logic)和范畴论逻辑(categorical logic)的区分,就是很好的内容,别的介绍性质的书中很难见到。
评分关于几种流行的自然语言形式语义理论的介绍性质的书,不过介绍的很不错。例如对于范畴逻辑(categorial logic)和范畴论逻辑(categorical logic)的区分,就是很好的内容,别的介绍性质的书中很难见到。
范畴、语境与博弈 2024 pdf epub mobi 电子书