前言
引论 结构主义视域下的现代逻辑学
第一节 结构主义视域下的现代逻辑学
一、结构主义的四大学派及其基本观点
二、现代逻辑学具有结构主义特征
三、结构主义在现代逻辑学中的具体体现实例
第一章 语篇推理中的语义问题
第一节 语言符号的所指及其限制
一、语言符号的所指
二、语言符号的所指受结构所限
三、语言符号的所指受背景所限
四、语言符号的所指受使用者所限
第二节 外延语句与部分内涵语句的逻辑语义新构造
一、语言哲学中的“内涵”与“外延”问题
二、内涵动词与外延动词在蒙太格语法中的处理
三、外延语句的逻辑语义新构造
四、部分内涵语句的逻辑语义新构造
第二章 语篇推理的基础理论：广义量词理论
第一节 广义量词理论基础
第二节 广义量词的对当方阵及其主要特征
一、古典对当方阵
二、现代对当方阵：量词否定的一般模式
三、广义量词的一般定义
四、现代方阵与古典方阵的对比
五、A、E、I、O方阵角
六、广义量词在亚里士多德方阵中的单调性
七、广义量词在亚里士多德方阵中的对称性
八、现代广义量词对当方阵与现代亚氏对当方阵之间的化归
九、数量量词的现代对当方阵
十、比例量词的现代对当方阵
十一、例外量词的现代对当方阵
十二、所有格量词的现代对当方阵
十三、现代对当方阵中广义量词的相关性质及其推理
第三章 语篇推理形式之一：广义三段论
第一节 广义三段论研究概况
第二节 如何利用广义量词的语义性质判断广义三段论的有效性
一、利用广义量词的基本单调性判断广义三段论的有效性
二、利用广义量词的斜向单调性判断广义三段论的有效性
三、利用广义量词的对称性判断广义三段论的有效性
第三节 广义三段论的可化归性
一、广义三段论的可化归性与广义量词的语义性质的关系
二、结论与研究展望
第四节 关于单称命题的三段论语篇推理
一、传统逻辑处理单称命题存在的问题
二、相关记法和定义
三、单称命题三段论有效但其对应的直言三段论无效的推理模式
四、单称命题三段论有效且对应的直言三段论也有效的推理模式
五、关于单称命题的语篇推理
第五节 包含全称量词all的广义三段论语篇推理
一、广义量词理论的相关基础知识
二、关于全称量词all的广义三段论的形式化和有效性
三、包含全称量词all的广义三段论的语篇推理
第六节 包含存在量词some的广义三段论语篇推理
一、相关知识准备
二、包含存在量词的有效广义三段论推理模式及其证明
三、结论与存疑
第七节 包含居间量词many的广义三段论语篇推理
一、相关基础知识
二、包含居间量词many的有效的广义三段论推理模式及其证明
第八节 关于居间广义量词few的广义三段论语篇推理
一、相关基础知识
二、关于居间量词few的有效广义三段论推理模式及其证明
第四章 语篇推理形式之二：模态三段论
第一节 国内外相关研究概览
第二节 建立模态三段论逻辑的形式化公理系统的基本思路
第三节 有效模态三段论形式化证明的普适方法
第四节 有效的模态三段论应该遵守的基本规则
第五节 有效模态三段论的筛选方法
第六节 如何建立模态三段论逻辑的形式化公理系统
第五章 动态谓词逻辑：可进行语篇指代消解的动态逻辑
第一节 动态谓词逻辑的基本思想
第二节 动态谓词逻辑改进与扩张的主要方式
第三节 从动态谓词逻辑到动态蒙太格语法
第四节 动态语义学的基本理念
第五节 相关思考
第六章 范畴类型逻辑：可进行语篇指代消解和歧义消解的自然语言逻辑
第一节 基本范畴语法
一、非形式引论
二、基本范畴语法形式系统
三、基本范畴语法的三个特征
第二节 组合子与范畴类型逻辑
一、组合子和并列关系
二、Lambek演算L
第三节 带有受限缩并规则的Lambek演算的模型论
一、带有受限缩并规则的Lambek演算的由来
二、作为Lambek演算L扩张系统的LLC逻辑
三、Lambek演算的模型论
四、LLC逻辑的模型论
第七章 基于范畴类型逻辑的汉语典型语言现象的形式化处理
第一节 基于范畴类型逻辑的汉语反身代词的形式化消解方法
一、范畴类型逻辑的基本思想
二、相关词库及推理规则
三、汉语反身代词歧义消解实例分析
第二节 基于范畴类型逻辑的三种汉语结构歧义的形式化消解方法
一、现代汉语中常见的三种结构歧义
二、相关知识准备
三、现代汉语常见的三种结构歧义消解实例
第三节 基于范畴类型逻辑的汉语并列关系的形式化语义分析
一、组合子和并列关系
二、并列量化关系的处理
三、右结点提升规则
四、左结点提升规则
附录1：周礼全先生的学术思想及其贡献——纪念
展开
