• {正版现货新书} 自然语言语义学:形成与估值:formation and valuation 9787111739456 (加)布兰登·S.吉伦(Brendan S. Gillon)著

{正版现货新书} 自然语言语义学:形成与估值:formation and valuation 9787111739456 (加)布兰登·S.吉伦(Brendan S. Gillon)著

全新正版现货,以书名为准,放心购买,购书咨询18515909251朱老师

94.55 6.3折 149 全新

库存12件

北京丰台

作者(加)布兰登·S.吉伦(Brendan S. Gillon)著

出版社机械工业出版社

ISBN9787111739456

出版时间2023-08

装帧平装

开本16开

定价149元

货号14677429

上书时间2026-01-08

   商品详情   

品相描述:全新
商品描述
目录
目    录<br />Natural Language Semantics: Formation and Valuation<br />译者序<br />前言<br />希腊字母表<br />第1章  语言、语言学、语义学导论  1<br />1.1  20世纪以前的语言研究  1<br />1.2  语言学的诞生  1<br />1.2.1  语言学和心理学  2<br />1.2.2  语言学和逻辑学  11<br />1.3  结论  23<br />1.3.1  涵盖的主题及其相互关系  23<br />1.3.2  关于实证研究的几点看法  23<br />部分练习答案  31<br />第2章  基础集合论  34<br />2.1  介绍  34<br />2.2  集合及其成员  34<br />2.2.1  一些重要的集合  35<br />2.2.2  集合的大小  36<br />2.2.3  集合之间的关系  36<br />2.3  集合的运算  41<br />2.4  序列  44<br />2.4.1  有序对  44<br />2.4.2  笛卡儿积  44<br />2.5  集合族  46<br />2.5.1  幂集运算  46<br />2.5.2  集合族运算  47<br />2.6  关系  49<br />2.6.1  集合上的二元关系  50<br />2.6.2  集合到集合的二元关系  57<br />2.6.3  函数  60<br />部分练习答案  68<br />第3章  基础英语语法  70<br />3.1  介绍  70<br />3.2  传统英语语法  71<br />3.2.1  词类  71<br />3.2.2  从句  79<br />3.2.3  传统英语语法的局限性  81<br />3.3  英语句法  82<br />3.3.1  直接成分分析法  83<br />3.3.2  成分语法  88<br />3.3.3  论证和证据  93<br />3.3.4  问题  98<br />3.4  结论  112<br />部分练习答案  113<br />第4章  语言和语境  119<br />4.1  语境  119<br />4.2  背景和外指  120<br />4.2.1  人称  122<br />4.2.2  时间顺序  124<br />4.2.3  空间位置  125<br />4.2.4  深入细节  126<br />4.3  语境:内指与省略  127<br />4.3.1  内指  129<br />4.3.2  省略  133<br />4.4  语境和歧义  137<br />4.5  结论  140<br />部分练习答案  140<br />第5章  语言与认知:暗含与预设  143<br />5.1  语言、交流和认知  143<br />5.2  暗含  143<br />5.2.1  Grice准则  145<br />5.2.2  暗含的性质  149<br />5.2.3  暗含与歧义  150<br />5.3  预设  152<br />5.3.1  预设的触发因素  154<br />5.3.2  共同点  155<br />5.3.3  预设、蕴含和暗含  156<br />5.4  目的和理解  158<br />5.5  结论  161<br />部分练习答案  161<br />第6章  经典命题逻辑:符号<br />与语义  163<br />6.1  论证  163<br />6.2  经典命题逻辑  165<br />6.2.1  符号  168<br />6.2.2  语义  175<br />部分练习答案  186<br />第7章  经典命题逻辑:演绎  188<br />7.1  演绎  188<br />7.2  公式自然演绎  189<br />7.2.1  列中的公式  189<br />7.2.2  树中的公式  203<br />7.3  序列自然演绎  207<br />7.3.1  列中的序列  207<br />7.3.2  树中的序列  212<br />7.4  Gentzen序列演算  215<br />7.4.1  ∧左引入和右引入  216<br />7.4.2  ?左引入和右引入  216<br />7.4.3  →左引入和右引入  217<br />7.4.4  ∨左引入和右引入  217<br />7.4.5  ?左引入和右引入  218<br />7.5  子结构逻辑  218<br />第8章  英语连接词  220<br />8.1  介绍  220<br />8.2  英语连接词和分句  220<br />8.3  真值和独立,陈述句  225<br />8.4  英语并列连词and  226<br />8.4.1  英语并列连词and的明显<br />问题  228<br />8.4.2  英语并列连词and的未解决<br />问题  232<br />8.5  英语并列连词or  235<br />8.5.1  英语并列连词or的明显<br />问题  236<br />8.5.2  英语并列连词or的未解决<br />问题  240<br />8.6  英语从属连词if  242<br />8.6.1  英语从属连词if的明显<br />问题  245<br />8.6.2  英语从属连词if的未解决<br />问题  247<br />8.7  英语副词not  252<br />8.7.1  not的语法  253<br />8.7.2  英语副词not的未解决问题  254<br />8.8  结论  255<br />部分练习答案  255<br />第9章  经典谓词逻辑  257<br />9.1  介绍  257<br />9.2  符号  257<br />9.2.1  CPDL公式  259<br />9.2.2  公式和子公式  260<br />9.3  语义  262<br />9.3.1  语义性质和关系  266<br />9.4  演绎  269<br />部分练习答案  270<br />第10章  英语中的语法谓语和最小<br />子句  272<br />10.1  介绍  272<br />10.2  最小英语子句  273<br />10.2.1  动词短语:动词及其补语  273<br />10.2.2  形容词短语:形容词及其<br />补语  284<br />10.2.3  介词  287<br />10.2.4  名词  289<br />10.3  英语词典的一种结构  289<br />10.3.1  类别更加丰富的成分语法  291<br />10.3.2  语义  294<br />10.3.3  成分估值规则定义  296<br />10.3.4  进一步扩展  302<br />10.3.5  未解决的问题  310<br />10.4  结论  312<br />第11章  经典量化逻辑  313<br />11.1  符号  313<br />11.2  CQL的经典估值方法  319<br />11.2.1  CQL估值的综合定义  319<br />11.2.2  CQL估值的分类定义  335<br />11.2.3  语义性质和关系  340<br />11.3  演绎  347<br />11.3.1  ?消除  347<br />11.3.2  ?引入  348<br />11.3.3  ?引入  349<br />11.3.4  ?消除  350<br />部分练习答案  355<br />第12章  经典量化逻辑的扩展  358<br />12.1  介绍  358<br />12.2  带有等价关系的经典量化逻辑  358<br />12.3  一元量化逻辑  362<br />12.3.1  一位一元量化逻辑  362<br />12.3.2  二位一元量化逻辑  367<br />12.4  结论  376<br />部分练习答案  376<br />第13章  Lambek演算和Lambda<br />演算  378<br />13.1  介绍  378<br />13.2  Lambek演算  379<br />13.2.1  公式演绎  379<br />13.2.2  序列演绎  382<br />13.2.3  Gentzen演绎  389<br />13.2.4  割消除  395<br />13.3  Lambda演算  402<br />13.3.1  Lambda演算的表示  402<br />13.3.2  语义:功能结构  411<br />13.3.3  演绎  413<br />13.4  Lambek类型的Lambda演算  419<br />部分练习答案  425<br />第14章  英语名词短语  426<br />14.1  介绍  426<br />14.2  英语中的简单名词短语  426<br />14.2.1  英语名词  426<br />14.2.2  形容词  432<br />14.2.3  限定词  435<br />14.3  整合  436<br />14.3.1  带有数量名词短语的简单<br />从句  437<br />14.3.2  再议形容词  441<br />14.3.3  介词短语  443<br />14.3.4  性关系从句  445<br />14.3.5  再议数量名词短语  448<br />14.3.6  非从句并列连接  458<br />14.4  结论  466<br />部分练习答案  467<br />第15章  总结  468<br />15.1  介绍  468<br />15.2  回顾  468<br />15.3  未涵盖的内容  470<br />15.4  相关方法  472<br />参考文献  474

主编推荐
本书主要讨论成分语法和类型语法,涵盖重要的逻辑概念和语言模式,并通过科学归纳进行实证研究。本书对自然语言语义学的介绍主要是基于英语语法,作为导论性书籍,省略了一些复杂的逻辑形式。同时,本书对读者的数学和逻辑学背景知识要求较低,对于学习本书所必需的数学和逻辑学知识,书中都进行了集中讲解,便于读者掌握基本的逻辑工具并开展进阶学习。

精彩内容
自然语言语义

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP