扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
买过本商品的人还买了
类型学视野的英语核心词研究
¥20.8¥40.0汉语受事话题句历史演变研究
¥20.9¥55.0多视角语法比较研究-第四辑
¥15.2¥40.0术语的功能与术语在使用中的变异性
¥11.3¥23.0汉语词汇学论集
¥16.3¥43.0
范畴类型逻辑及其在汉语反身代词回指照应中的应用 版权信息
- ISBN：9787516159521
- 条形码：9787516159521 ; 978-7-5161-5952-1
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
范畴类型逻辑及其在汉语反身代词回指照应中的应用 本书特色
范畴类型逻辑是当代自然语言逻辑中的一个重要分支，其使用逻辑学中的方法，甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支，其中传统的范畴类型逻辑是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支；贾青编著的《范畴类型逻辑及其在汉语反身代词回指照应中的应用》将从汉语反身代词回指照应问题出发，以具体的语言学问题为基础，通过构造三类不同范畴类型逻辑对这一问题的解决方案，说明三者之间的区别和联系，特别是在处理语言学问题上的优缺点。
范畴类型逻辑及其在汉语反身代词回指照应中的应用 内容简介
范畴类型逻辑是当代自然语言逻辑中的一个重要分支，其使用逻辑学中的方法，甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支，其中传统的范畴类型逻辑是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支；本书将从汉语反身代词回指照应问题出发，以具体的语言学问题为基础，通过构造三类不同范畴类型逻辑对这一问题的解决方案，说明三者之间的区别和联系，特别是在处理语言学问题上的优缺点。
范畴类型逻辑及其在汉语反身代词回指照应中的应用 目录
第1章 背景知识 1.1 范畴类型逻辑的生成能力与乔姆斯基层级 1.1.1 不同的范畴类型逻辑系统 1.1.2 乔姆斯基层级 1.1.3 不同范畴类型逻辑系统的生成能力 1.2 汉语反身代词回指照应的主要特点及其成因 1.2.1 乔姆斯基的约束原则 1.2.2 汉语反身代词回指照应对于约束原则的违反 1.2.3 约束反身代词回指的那些序列关系 1.3 主要内容和章节分布 1.3.1 主要内容 1.3.2 章节分布第2章 传统范畴类型逻辑及LLC系统 2.1 结合的兰贝克演算L 2.1.1 L的公理表示 2.1.2 L的树模式表示与自然推演表示 2.1.3 L的Gentzen表示 2.1.4 L的四种表示的等价性 2.2 带受限缩并规则的兰贝克演算 2.2.1 结构的层级以及其对回指照应问题的影响 2.2.2 LLC的公理表示 2.2.3 LLc的树模式表示和自然推演表示 2.2.4 LLC的Gentzen表示 2.2.5 LLC四种表示之间的等价性 2.2.6 LLC在语言学中的应用以及其他方案第3章 前后搜索的(Bi)LLc系统 3.1 语言学背景 3.2 (Bi)LLC的公理表示 3.3 (Bi)LLC的树模式表示和自然推演表示 3.4 (Bi)LLc的Gentzen表示 3.5 (Bi)LLC四种表示的等价性 3.6 语言学中的应用第4章 多模态范畴类型逻辑与MMLLc系统 4.1 多模态的范畴类型逻辑 4.1.1 多模态范畴类型逻辑公理表示中的特点 4.1.2 多模态范畴类型逻辑Gentzen表示中的特点 4.2 多模态范畴类型逻辑系统MMLLC的公理表示 4.2.1 语言学背景 4.2.2 MMLLC的公理表示 4.3 多模态范畴类型逻辑系统MMLLC的Gentzen表示 4.4 MMLLC在语言学中一些问题上的应用第5章 对称范畴语法 5.1 对称范畴语法的公理表示 5.1.1 对称范畴语法公理表示中的语法特点 5.1.2 对称范畴语法公理表示中的语义特点 5.2 对称范畴语法的Gentzen表示 5.2.1 对称范畴语法Gentzen表示中的语法特点 5.2.2 对称范畴语法Gentzen表示中的语义特点第6章 对称范畴系统LGadis 6.1 语言学背景 6.2 对称范畴系统LGdis的公理表示 6.3 语言学中的应用第7章 对比与展望 7.1 不同方案的对比 7.2 未来的工作第8章 其他逻辑分支对语言学问题的处理 8.1 一阶逻辑及模态逻辑对语言学问题的处理 8.1.1 一阶逻辑对连动结构的刻画 8.1.2 模态逻辑对因果型连动结构的刻画 8.2 STIT逻辑对语言学问题的处理 8.2.1 STIT逻辑对以言行事行为的刻画 8.2.2 STIT逻辑对合作原则的改写结语参考文献后记
展开全部
范畴类型逻辑及其在汉语反身代词回指照应中的应用 作者简介
贾青，河北沧州人，哲学博士。2008年毕业于燕山大学获哲学硕士学位；2008年毕业于中国人民大学获哲学博士学位；同年进入中国社会科学院哲学研究所从事博士后研究。现为中国社会科学院哲学研究所逻辑学研究室助理研究员。研究方向为范畴类型逻辑。
书友推荐
- >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥30.5¥35.0 - >
推拿
推拿
¥12.2¥32.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
山海经
山海经
¥20.4¥68.0 - >
史学评论
史学评论
¥13.4¥42.0 - >
烟与镜
烟与镜
¥15.4¥48.0
本类畅销
-
求解思维的逻辑
¥7.5¥15 -
逻辑思考的100个关键:脑hack大全
¥17¥46.8 -
简单的逻辑学:逻辑学入门很简单
¥9.6¥36 -
逻辑新引.怎样判别是非
¥23.1¥49 -
逻辑学十五讲-(第二版)
¥26.4¥59 -
逻辑迷宫
¥52.8¥72
