范畴类型逻辑
2008-1
中国社科
邹崇理
251
无
《范畴类型逻辑》是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。
邹崇理，成都市人，哲学博士，师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马塞诸塞大学访问。2006年起任逻辑研究室主任，哲学所学术委员会委员和职称评审委员会委员。2004年起任中国逻辑学会秘书长，中国逻辑学会语言逻辑专业委员会主任，北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘，出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著，发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获2002年度中国社科院优秀科研成果二等奖和2004年中国逻辑学会科研成果最高奖项。
绪论第一章 范畴类型逻辑的发展阶段第1节 古典范畴语法1.1 范畴和运算1.2 形式化表述1.3 古典范畴语法的变异第2节 Lambek句法演算2.1 运算即推演2.2 形式系统第3节 蒙太格语法3.1 范畴语法的独特形态3.2 通用语法模式3.3 直接和间接的语义解释第4节 类型-逻辑语义学4.1 句法和语义的综合表述4.2 后承演绎图式和自然演绎系统4.3 关于量化表达式的处理第5节 语法逻辑5.1 公理系统5.2 框架语义学5.3 GentZen后承表述5.4 合并或交织的多模态系统第二章 范畴类型逻辑的特性——逻辑的新功能第1节 范畴类型逻辑的自然语言语句系统1.1 蒙太格语法的语句系统1.2 类型-逻辑语义学的语句系统第2节 范畴类型逻辑和自然语言的计算机处理2.1 基于范畴类型逻辑的逻辑程序语言2.2 基于范畴类型逻辑的语法自动分析第3节 范畴类型逻辑的逻辑系统3.1 Lambek演算对判定问题的解决3.2 对应λ-词项的完全性证明3.3 展示自然语言句法生成的语法逻辑3.4 表现自然语言语义的高阶内涵逻辑第4节 逻辑的新功能——关于自然语言的逻辑系统4.1 源于语言照应关系的动态逻辑4.2 用于语法分析的特征结构逻辑4.3 基于情境关联的信息流逻辑第三章 范畴类型逻辑研究第1节 非连续量词的类型-逻辑语义处理第2节 有关汉语灵活语序的多模态范畴逻辑第3节 融合特征结构的范畴类型推演第4节 处理照应关系的范畴类型推演参考文献后记
第一章 范畴类型逻辑的发展阶段范畴类型逻辑的发展阶段分为：古典范畴语法；Lambek句法演算；蒙太格语法；类型-逻辑语义学和语法逻辑。古典范畴语法通过范畴的运算来刻画语言符号串由小到大逐层逐级的生成毗连；Lambek句法演算的做法是用范畴构成一个形式系统，用其中的定理表示范畴的运算规律；蒙太格语法作为范畴类型逻辑的独特发展形态，其句法规则在范畴语法的基础上展现自然语言自身的生成，并通过句法范畴和逻辑类型的对应，建立了自然语言的形式语义理论，包括以函项运算为载体的直接语义解释和把自然语言翻译成高阶内涵逻辑语言而确立的间接语义解释；类型-逻辑语义学通过句法范畴和九一词项的并行推演，展示自然语言句法和语义的对应关系，并且以后承演绎图示和自然演绎系统的方式来表述这种推演；语法逻辑的重要特色是把函子范畴中的斜线算子和范畴的毗连皆看做二元模态算子，从而在范畴类型逻辑的领域内开辟了多模态系统的发展方向。第1节古典范畴语法古典范畴语法简称范畴语法（CategoricalGrammar），是范畴类型逻辑最初的发展阶段，是一种体现运算思想的描述语言的形式化工具。范畴语法的基本做法是从不同层次的语言表达式那里抽象出句法范畴，再通过范畴的运算去刻画语言由小到大逐层逐级的毗连生成。范畴语法的思想来源于19世纪末20世纪初德国逻辑学家弗雷格的语句函项观点，以及英国逻辑学家罗素和波兰逻辑学家列斯尼维斯基提出的罗素一列斯尼维斯基的分层思想；20世纪30年代波兰逻辑学家爱裘凯维茨等人开创了系统完整的范畴语法研究；50年代初美国数理语言学家巴一希勒尔把范畴概念推广到自然语言的领域。上述一系列工作确立了范畴语法的基本内容，同时也为20世纪50年代末加拿大数学家兰贝克构造的句法范畴演算系统、60年代末至70年代初美国数理逻辑学家蒙太格创立的蒙太格语法，以及80年代开始出现的类型-逻辑语义学和作为多模态系统的语法逻辑奠定了基础。
《范畴类型逻辑》对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。
无