类型-逻辑语法研究 pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:中国人民大学出版社

作者:张秋成

出品人:

页数:160

译者:

出版时间:2007-5

价格:24.00元

装帧:

isbn号码:9787300084053

丛书系列:

图书标签:

语言学
类型-逻辑语法
工具书
逻辑学
语法学
语言学
形式逻辑
自然语言处理
语义学
句法学
哲学
认知科学
语言哲学

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

类型－逻辑语法，作为一种以逻辑推理为基础的自然语言逻辑理论，自上个世纪80年代诞生以来，就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色，受到了形式语义学、语言学、语言哲学等专业理论知识，如果没有长期的深入的钻研和宽广扎实的知识储备，想要达到对他的深刻领悟和准确理解是不可能的。

作者简介

张秋成，2003年获得中国人民大学哲学博士学位，现任中国人民大学外国语学院讲师。主要研究方向为语言逻辑、语言哲学和理论语言学，发表《内涵语境下替换失效问题及其解决》（被CSSC1收录）、《类型-逻辑语法的句法特色》（被中国人民大学书报资料中心全文转载）等8篇论文，编著《大学英语读写教程》（编者之一）、《工商管理英语教程（上册）》（副主编及编者之一）等。

目录信息

第一章
导论1.1
语言逻辑的学科性质和研究对象1.2
语言逻辑和自然语言理解和处理1.3
自然语言逻辑研究的方法论原则——意义组合原则1.4
类型-逻辑语法在国内外的研究状况1.5
本书的创新之处1.6
本书的写作特点和基本框架第二章
类型-逻辑语法的句法学2.1
范畴语法简介2.2
兰贝克演算第三章
类型-逻辑语义学3.1
蒙塔古语法的内涵类型逻辑3.2
简单类型的λ-演算3.3
高阶逻辑第四章
类型-逻辑语法的形成4.1
兰贝克句法演算和类型-逻辑语义学的结合4.2
配以λ-词项的兰贝克句法演算4.3
类型-逻辑语法的词库4.4
类型-逻辑语法对自然语言句法和语义的描写4.5
自然演绎的兰贝克演算4.6
自然演绎的兰贝克演算的规范化归模式4.7
意义公设4.8
积运算第五章
类型-逻辑语法与逻辑形式系统的深刻联系5.1
作为一种子结构逻辑的类型-逻辑语法5.2
类型-逻辑语法与直觉主义命题逻辑第六章
类型-逻辑语法在应用中的丰富和发展（上）6.1
对并列结构的处理6.2
对无界限约束结构的处理6.3
对量化结构和量化辖域问题的处理第七章
类型-逻辑语法在应用中的丰富和发展（下）7.1
不承认结合公理的兰贝克演算7.2
克里普克信息模型7.3
范畴语法的多重模态系统7.4
空隙构造算子十演绎模式的改进及其对非连续结构的处理7.5
结构控制第八章
类型-逻辑语法对汉语的处理8.1
我国的自然语言逻辑研究状况8.2
类型-逻辑语法对汉语形式化研究的适用性8.3
类型-逻辑语法对汉语的形式化处理结语参考文献后记
· · · · · · (收起)