-
科学出版社
- 9787030389862
-
31
-
377964
-
平装胶订
-
B5
-
2023-02
-
164
-
H005
内容简介
现代逻辑自诞生起就与语言有着密切的联系。尽管蒙塔古的范畴语法理论引起了语言逻辑的一次革命,但对自然语言内涵性的形式刻画仍然没有得到很好的解决。本书运用范畴论、代数语义和博弈语义对该问题进行了探索:首先,介绍了范畴论的基本概念和基于范畴论的逻辑语义。运用范畴论语义对内涵推理进行了刻画;其次,通过引入语境和语境同义性思想,给出了若干超内涵逻辑,并针对范畴语法较为灵活的语言给出了一种极小内涵逻辑;最后,本书通过引入多主体和随机行动的概念,发展了博弈语义。