点击选择搜索分类
首页 - 文学- 正文
☆☆☆☆☆
||
[荷] L.T.F.哈姆特 著,满海霞,张璐,邹崇理 译
出版社: 商务印书馆 ISBN:9787100121286 版次:1 商品编码:12252101 品牌:商务印书馆(The Commercial Press) 包装:平装 开本:16开 出版时间:2017-11-01 用纸:胶版纸 页数:355 正文语种:中文
序言
第1章 绪论
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 语法、自动机和逻辑
练习答案
参考文献说明
参考文献
索引
译后记
逻辑、语言与意义(第一卷) 电子书 下载 mobi epub pdf txt
逻辑、语言与意义(第一卷)-so88
逻辑、语言与意义(第一卷) pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
[荷] L.T.F.哈姆特 著,满海霞,张璐,邹崇理 译
出版社: 商务印书馆 ISBN:9787100121286 版次:1 商品编码:12252101 品牌:商务印书馆(The Commercial Press) 包装:平装 开本:16开 出版时间:2017-11-01 用纸:胶版纸 页数:355 正文语种:中文
内容简介
《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆特”之名出版。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。
作者简介
约翰·范·本瑟姆,荷兰阿姆斯特丹大学的逻辑学教授、荷兰艺术与科学院、欧洲科学院和国际哲学院院士;
马丁·斯托克霍夫,阿姆斯特丹大学逻辑、语言与计算研究所前任所长、语言哲学教授;
胡能迪克,阿姆斯特丹大学哲学系副教授;
德漾,阿姆斯特丹大学哲学系逻辑学教授;
亨克·维库尔,荷兰乌得勒支大学语言学教授。
本书由以上五位教授合著,L.F.T.Gamut(哈姆特)是他们共用的笔名。
满海霞,北京科技大学外国语学院副教授;
张璐,中国矿业大学外国语学院讲师;
邹崇理,中国社会科学院哲学所研究员、逻辑室主任。
目录
前言序言
第1章 绪论
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 语法、自动机和逻辑
练习答案
参考文献说明
参考文献
索引
译后记
逻辑、语言与意义(第一卷) 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- (青少年“海洋梦”系列丛书)北海浩歌——海洋生态与文明 “海洋梦”系列丛书编委会
- 梵高手稿
- WL-不一样的科普书:动物-智慧兔 绘编 云南出版集团公司 晨光出版社 978754147
- 正版新书 正面管教教师工具卡 教室管理的52个工具 家庭教育书籍《正面管教》作者力作 行之有效的正面
- 帮你学数学 张景中
- 历代书法碑帖导临教程·行书系列17:怀仁集王羲之圣教序 毛笔书法字帖中华经典碑帖彩色放大本
- 世界奇异档案记录第二季
- 伪造的艺术
- 常见传染病防治常识
- 正版现货直营 的教养 10~18岁男孩女孩青春期教育书 青春期叛逆期心理书 青春期沟通书 青少年叛逆
- 科学探索与发现系列:失落的文明 杨江华
- 男孩穷养女孩富养 董丰亮著
- 水知道答案3:水能传递爱的力量(2013年版)
- 手把手教你学服装搭配设计(从方法到实践)
- 游戏中玩书画-1