成功加入购物车
满海霞 、 张璐 、 邹崇理 译 / 商务印书馆 / 2017-11 / 平装
售价 ¥ 25.00 4.3折
定价 ¥58.00
品相 九品品相描述
优惠 满包邮
延迟发货说明
上书时间2025-06-01
卖家超过10天未登录
逻辑、语言与意义
《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆特”之名出版。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。
约翰·范·本瑟姆,荷兰阿姆斯特丹大学的逻辑学教授、荷兰艺术与科学院、欧洲科学院和国际哲学院院士;
马丁·斯托克霍夫,阿姆斯特丹大学逻辑、语言与计算研究所前任所长、语言哲学教授;
胡能迪克,阿姆斯特丹大学哲学系副教授;
德漾,阿姆斯特丹大学哲学系逻辑学教授;
亨克·维库尔,荷兰乌得勒支大学语言学教授。
本书由以上五位教授合著,L.F.T.Gamut(哈姆特)是他们共用的笔名。
满海霞,北京科技大学外国语学院副教授;
张璐,中国矿业大学外国语学院讲师;
邹崇理,中国社会科学院哲学所研究员、逻辑室主任。
前言序言章 绪论1.1 证明、有效证明和证明模式1.2 逻辑与意义1.3 逻辑常项和逻辑系统1.4 20世纪之前的逻辑学和语言学1.5 20世纪1.5.1 逻辑形式vs.语法形式1.5.2 常语言哲学1.5.3 语言学与哲学1.6 形式语言第2章 命题逻辑2.1 真值函项联结词2.2 联结词与真值表2.3 公式2.4 函项2.5 命题逻辑的语义2.6 真值函项2.7 并列联结词和从属联结词第3章 谓词逻辑3.1 原子句3.2 量化表达式:量词3.3 公式3.4 更多量化表达式及其翻译3.5 集合3.6 谓词逻辑的语义3.6.1 解释函项3.6.2 替换解释法3.6.3 指派解释法3.6.4 普遍有效3.6.5 规则3.7 等同3.8 关系的一些质3.9 函项符号第4章 证明和推理4.1 证明和证明模式4.2 语义推理关系4.2.1 语义有效4.2.2 外延原则4.3 自然演绎:推理的句法方法4.3.1 引入规则与消去规则4.3.2 合取4.3.3 蕴涵4.3.4 析取4.3.5 否定4.3.6 量词4.3.7 规则4.4 可靠和第5章 非经典逻辑5.1 引言5.2 限定摹状词5.3 受化:多体谓词逻辑5.4 二阶逻辑5.5 多值逻辑5.5.1 引言5.5.2 三值逻辑系统5.5.3 三值逻辑及预设的语义概念5.5.4 多于三值的逻辑系统5.5.5 四值逻辑与预设的语义概念5.5.6 多值逻辑在分析预设时的局限5.6 变项消去第6章 语用学:意义与使用6.1 非真值条件语义6.2 逻辑上的合取式和词序6.3 使用与合作原则6.4 相容析取和不相容析取6.5 析取和信息充足适量6.6 会话准则和会话隐涵6.7 析取式的会话隐涵6.8 蕴涵和信息充足适量6.9 预设和会话隐涵6.10 规约隐含、预设和蕴涵式第7章 形式句法7.1 重写规则的层级7.2 语法和自动机7.3 关于形式语言的理论7.4 自然语言的语法复杂7.5 语法、自动机和逻辑练参文献说明参文献索引译后记
展开全部
图2
图3
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30