范畴类型逻辑

范畴类型逻辑 pdf epub mobi txt 电子书 下载 2025

出版者:中国社科
作者:邹崇理
出品人:
页数:251
译者:
出版时间:2008-1
价格:30.00元
装帧:
isbn号码:9787500467113
丛书系列:
图书标签:
  • 语言学
  • 逻辑学
  • 逻辑
  • 语言
  • 结构主义
  • 类型论
  • 邹崇理
  • 范畴论
  • 逻辑学
  • 范畴论
  • 形式逻辑
  • 数学逻辑
  • 类型理论
  • 哲学逻辑
  • 抽象代数
  • 集合论
  • 推理系统
  • 符号逻辑
想要找书就要到 小美书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

《范畴类型逻辑》是“哲学宗教研究系列”之一,该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节,对范畴类型逻辑作了系统全面的介绍,具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。

作者简介

邹崇理,成都市人,哲学博士,师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马萨诸塞大学访问。现任逻辑研究室主任,哲学所学术委员会委员和职称评审委员会委员,中国逻辑学会秘书长,中国逻辑学会语言逻辑专业委员会主任,北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘,出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著.发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获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节 处理照应关系的范畴类型推演参考文献后记
· · · · · · (收起)

读后感

评分

评分

评分

评分

评分

用户评价

评分

TMD智商捉雞啊!

评分

不太行,定位炒尴尬的一本书,主要问题是细节和解释给少了,相关定理和证明的给出太过简略。只能看个大概,可能只有用来上课之类才行。。.内容大概是,从古典范畴讲起到lambek演算、MG、Carpenter的type-logical semantics(包括他的typed feature structures后面也有提及,这玩意基本上看不懂。。)以及向lambek回归的grammar logics(包括诸如frame semantics、multimodal systems之类的东西)。然后也向侧面扩展了计算语言学里面的与范畴语法相关的自动分析,DRT和动态逻辑、情境语义学,还有如前面所说Carpenter 1997之类的东西。最后,对非连续量词和灵活语序问题的分析挺有意思。大部分算是比较前沿的.

评分

中文初步了解可以。部分细节没说明白建议找原始资料。

评分

中文初步了解可以。部分细节没说明白建议找原始资料。

评分

TMD智商捉雞啊!

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有