形式语义学导论(英文版) [Formal Semantics: An Introduction] pdf epub mobi txt 电子书 下载
内容简介
没有预设语义学和逻辑学的专门知识,循序渐进地介绍了经典蒙太格语义学,便于初学者阅读。读者通过《形式语义学导论(英文版)》可对蒙太格语义学的体系有较全面深入的认识。
《形式语义学导论(英文版)》适合语言学、人工智能、认知科学等相关专业的研究者阅读。
作者简介
卡恩(Ronnie Cann),长期执教于爱丁堡大学语言学系,曾任该系系主任。他的研究领域有形式句法、语义学、语用学等,已出版和发表颇多重要论著。
内页插图
目录
《西方语言学视野》总序
《形式语义学导论》导读
原书目录
1 绪论
1.1 语义学与语义理论
1.1.1 意义的叠置组合
1.1.2 语义关系
1.1.3 歧义
1.1.4 指谓
1.2 解释与表征
1.2.1 真值条件
1.2.2 形式化、模型与集合
1.3 超出真值条件的意义
1.3.1 知识、行为与语用
1.3.2 语境
1.4 方法略论
1.5 延伸阅读
2 谓词与论元
2.1 将英语译成逻辑语言
2.1.1 Lp语言的语法
2.1.2 英语的部分语法系统
2.1.3 转译的程序
2.2 对Lp语言的解释
2.2.1 个体和等同算子
2.2.2 集合论浅介
2.2.3 对谓词的解释
2.2.4 结语
2.3 延伸阅读
3 否定与并列
3.1 复合句
3.2 复杂逻辑式
3.3 解释
3.3.1 否定
3.3.2 合取
3.3.3 析取
3.3.4 蕴涵
3.3.5 等同
3.4 形式化解释
3.4.1 形式化模型
3.4.2 模型论
3.5 延伸阅读
4 类型论
4.1 动词组和其他成分
4.2 类型化逻辑语言
4.2.1 语义类型
4.2.2 动词组的转译
4.3 对集合沦的补充
4.3.1 关系和函项
4.3.2 再沦集合
4.4 对Ltype语言的解释
4.4.1 指谓
4.4.2 理论的修订
4.5 副词
4.6 延伸阅读
5 兰姆达算子
5.1 被动式
5.2 兰姆达算子的引人
5.2.1 Ltype语言的扩展
5.2.2 兰姆达表达式的解释
5.2.3 再论被动式
5.3 兰姆达表达式的泛化
5.4 并列式重考
5.4.1 句际并列
5.4.2 其他范畴的并列
5.5 延伸阅读
6 量化
6.1 名词组的多种形式
6.2 逻辑量词介绍
6.2.1 量词
6.2.2 对L。语言的解释
6.2.3 量化与否定
6.3 叠置组合操作
6.3.1 量词指代词的转译
6.3.2 复杂名词组
6.3.3 名词修饰语
6.4 专名和有定摹状表达式
6.5 两个问题
6.5.1 类升级
6.5.2 辖域上的歧义
6.6 广义量词
6.7 延伸阅读
7 推理
7.1 推理的操作
7.2 逻辑演绎
7.2.1 连词推演法
7.2.2 量词推演法
7.3 词义关系
7.4 连词的非真值条件语义
7.4.1 And的语义
7.4.2 Or的语义
7.4.3 If的语义
7.5 延伸阅读
8 时间、时制与时态
8.1 时间上的偶然性
8.2 时间
8.2.1 时段
8.2.2 历时模型
8.3 时制
8.3.1 过去、现在与将来
8.3.2 复式时制
8.4 简单时态
8.4.1 完成态和未完成态
8.4.2 状态与行为
8.5 辖域上的歧义
8.6 延伸阅读
9 可能世界
9.1 衍推语义的不足
9.2 内涵与外延
9.3 其他世界的引入
9.3.1 简单情态
9.3.2 可及世界
9.4 延伸阅读
10 内涵语义学
10.1 内涵的模型论表达
10.2 内涵语言LIL
10.2.1 内涵表达式
10.2.2 及其解释
10.3 隐性语境的解释
10.3.1 间接及物动词
10.3.2 控制型动词
10.3.3 命题态度
10.4 两个问题
10.4.1 内涵的等值
10.4.2 跨世界的指称
10.5 结语
10.6 延伸阅读
精彩书摘
This definition makes specific reference to a state-of-affairs that holds on the occasionof the utterance of the sentence, and this is an important point. As we have seen, theproposition expressed by an utterance of The book is on the table is true with respectto the situation depicted in (13), but not to that depicted in (15), because in the lattercase there is no correspondence between the state-of-affairs described by the sentenceand that portrayed in the picture. The situation in which, or with respect to which, asentence is uttered constitutes an important part of the interpretation of sentences, andother expressions, to be discussed in later chapters of the book.
Just knowing whether a statement is true or false does not, of course, itself tellus what the statement means. Speakers of a language know the meaning of a sentencein their language even if they do not know the truth or falsity of the propositionexpressed by that sentence. For example, Ronnie has just dropped a cup of tea on thefloor is a perfectly comprehensible sentence in English whose meaning is clear,irrespective of whether readers know whether it describes a true state-of-affairs.
前言/序言
世界图书出版公司是国内最早通过版权贸易出版影印海外科技图书和期刊的出版机构,为我国的教学和科研做出了重要的贡献。作为读者,我自己也是得益于这项工作的人之一。现在世界图书出版公司北京公司打算引进出版一套“西方语言学视野”系列丛书,一定也会受到广大研究语言、教学语言的人士的欢迎。
世界图书出版公司的宗旨是,把中国介绍给世界,把世界介绍给中国。我认为,从总体上讲,在今后相当长一段时间内,把世界介绍给中国这项任务还是主要的。西方的语言学在过去几十年里的发展和变化是很快的,新理论、新方法、新成果很多,特别是在语言学和其他学科的交叉方面。跟我们的近邻日本相比,据我所知,我们翻译、引进西方语言学著作无论在速度还是数量上都是有差距的。不错,从《马氏文通》开始,我们就在不断地引进和学习西方的语言学理论和方法,有人会问,这样的引进和学习还要继续到哪一天?其实,世界范围内各种学术传统的碰撞、交流和交融是永恒的,我们既要有奋起直追的勇气、独立创新的精神,也要有宽广平和的心态。要使我们的语言研究领先于世界,除了要继承我们传统中的优秀部分,还必须将别人先进的东西学到手,至少学到一个合格的程度,然后再加上我们自己的创新。
形式语义学导论(英文版) [Formal Semantics: An Introduction] 电子书 下载 mobi epub pdf txt
形式语义学导论(英文版) [Formal Semantics: An Introduction] pdf epub mobi txt 电子书 下载