内容推荐 现代逻辑自诞生起就与语言有着密切的联系。尽管蒙塔古的范畴语法理论引起了语言逻辑的一次革命,但对自然语言内涵性的形式刻画仍然没有得到很好的解决。文学锋著的《范畴语境与博弈(语言逻辑研究新视角)》运用范畴论、代数语义和博弈语义对该问题进行了探索:首先,介绍了范畴论的基本概念和基于范畴论的逻辑语义,运用范畴论语义对内涵推理进行了刻画;其次,通过引入语境和语境同义性思想,给出了若干超内涵逻辑,并针对范畴语法较为灵活的语言给出了一种极小内涵逻辑:最后,本书通过引入多主体和随机行动的概念.发展了博弈语义。 本书适合数学、逻辑学、语言学和计算机科学专业的科研人员及高校师生参考阅读。 作者简介 文学锋,1977年生于湖北省黄石市,1999年获国防科技大学应用数学专业学士学位;2002年获国防科技大学科技哲学专业硕士学位,后毕业留校任教:2007年获中山大学逻辑学专业博士学位,2009年起在中山大学讲授《语言逻辑》、《非经典逻辑导论》、《非经典逻辑》、《计算语言学》、《模态逻辑》等课程,2012年任中山大学哲学系副教授。已在Synthese、Studia Logica、Journal of Applied Logic、LNAI等国际著名期刊和论文集发表学术论文若干,主持国家社会科学基金一项。研究领域:认知逻辑、逻辑与博弈、逻辑与社会选择。 目录 前言 Ⅰ 范畴论语义 第1章 范畴论基础 1.1 基本概念 1.2 重要范畴 1.3 范畴论的应用 第2章 逻辑语言的范畴论语义 2.1 一阶谓词演算的范畴论语义 2.2 λ演算的范畴论语义 2.3 子结构逻辑的范畴论语义 2.4 模态逻辑与范畴论 第3章 自然语言的范畴论语义 3.1 范畴论视野下的元素、对象和性质 3.2 三段论的内涵语义 3.3 否定的范畴论解释 3.4 组合性与语境性的范畴论解释 第4章 基于范畴论的内涵推理 4.1 预群语法 4.2 分布语义 4.3 组合性分布语义 4.4 从意义相似性到内涵推理 Ⅱ 语境内涵语义 第5章 内涵逻辑 5.1 内涵逻辑的哲学动机 5.2 内涵逻辑的语义思想 5.3 内涵逻辑的语形思想 5.4 内涵逻辑与超内涵问题 第6章 超内涵逻辑 6.1 外延主义超内涵逻辑 6.2 内涵主义超内涵逻辑 6.3 超内涵逻辑的问题 6.4 内涵语境主义 第7章 语境超内涵逻辑 7.1 基本思想 7.2 非弗雷格逻辑与SCI 7.3 语境符号作为公式的超内涵逻辑CHIL 第8章 极小内涵逻辑 8.1 作为原型的IMA语苦 8.2 IMA语言的逻辑 8.3 IMA逻辑的扩允 Ⅲ 博弈语义 第9章 多主体博弈与多值逻辑 9.1 扩展式博弈的基本概念 9.2 三值逻辑L2的双土体语义博弈 9.3 n+1值逻辑Ln的n人语义博弈 第10章 不完全信息博弈与部分逻辑 10.1 带随机行动的赋值博弈 10.2 部分逻辑的赋值博弈 10.3 从IF逻辑到部分逻辑 10.4 逻辑博弈与博弈逻辑 参考文献 主题词表 符号表
|