形式语义学
Introduction to Montague Semantics (Synthese Language Library) Douban
author: David R. Dowty / Robert E. Wall … publishing house: D. Reidel Publishing Company 1980
Jan. 22, 2021 read
前面是常见基础,都很简单(cf. gamut:感觉难度基本在其之下两个等级吧),七章还是有一定难度,不过除了MP1相关讲解颇为繁琐外,就还算不错。然后是bennet的简化版本,蒙太古对“温度“那个问题的原处理:假设了更复杂的语义类型及其辅助性的其他MP则简单放在了附录里。八章则简要描述了UG的一些基本思想和概念,消歧义语言,语义句法同态,IL的间接解释等,不过没有细节

大概已经成了历史文献,没有再单独读的必要,基本也是局限在当时狭义的蒙太古式进路/框架下,以及对蒙太古原系统的解释上,如果要读他的原始论文或者gamut之类的教材,或许可以参考相关章节(特别是我觉得后者在前面的基础方面是不如这本清晰的)。看文里面引的那些现在已成经典的40多年前的前沿讨论,就,真是一股沧海桑田之感啊......
分析哲学 哲学 语言哲学 语言学 形式语义学
Compositional Semantics Douban
author: Pauline Jacobson publishing house: Oxford University Press 2014 - 10
Dec. 6, 2020 read
三部非常好,极大拓展了我对相关议题的当代视野,对比LF式然后给出直接组合性式处理:关系从句:承认NP与VP的结合;辖域与宾语位的GQ:基于词典的VP进行范畴-类型提升,而不用移位-提升;代词:variable-free,no index,从语境中取salient individual

另外,domain restriction相关(hidden variable与非交集性修饰) 、介绍语义强度处理负极词等

有一定难度,感觉适合高年级。第二部之后的些加星练习还是有个seminar比较好,特别是三和四部里有些讨论继续深挖可以直接出篇新paper?

缺点是技术细节和例子不足,编辑错误多。以及基本集中在对直接组合性语义(与为基础的范畴语法)的描述性工作上,缺少解释和辩护(可能还需看下2007
语言哲学 语言学 形式语义学
日本語の文法と論理 Douban
author: 坂井秀寿 publishing house: 勁草書房 1979 - 11
R・モンタギュの開発した文法理論を日本語に適用し、それによって日本語の論理構造を解明しようとするもの。高階述語論理学への入門書にもなっている。
Oct. 14, 2020 read
一个当年关于MG应用到日语上的尝试,

但感觉在基础的syntax层面对日语的syntactic categories和semantic types的讨论与处理过于薄弱,并没有怎么get到,

以及,我没太怎么理解到他参照格理论(?)搞出的“第n座(的变项)”这个分析,有什么用(用来赋格以及处理屈折变化吗?但是,不是已经有句法规则可以用了吗?

形式化比较严谨,不过细节也没仔细看,因为主要是比较好奇整个的处理风格,如果窝研究生或者博士搞这玩意沾边的话,可能会再回来仔细翻一下吧
语言学 形式语义学
形式意味論入門 Douban
author: 田中拓郎 publishing house: 開拓社 2016 - 9
形式意味論は、その表現形の煩雑さから、とかく敬遠されがちである。本書では意味論研究の経験が一切ない読者を対象に、形式意味論の基本からはじめて、その思考法を平易に解説する。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念を分かりやすく導入する。ラムダ(λ)恐怖症の人でも、数式アレルギーの人でも、形式意味論の考え方に親しみ、自分の研究に活かす方策を手に入れることができる。
July 23, 2020 read
毫无基础的,但稍微有点兴趣然后浅尝即止的确实可以看看

规则和处理风格基本就是heim&kratzer 1998那本,反正我也没空认真翻完那书,暂且借这书看看偏句法学特色的一些问题的处理,wh移动,代词,照应,语迹,省略之类的东西

但是主体部分,除了在广义量词-集合论解释下稍微处理了下限定词的问题外,基本上都是“非形式化的”(比如对作为基础的真值条件与模型论语义涉及很浅,视角偏语言学与“句法”角度

然后就是没沿用一些符号使用惯例,区分变项和常项,完整引入数理逻辑(为了降低门槛自作聪明过了头(例外就是最后一章终于有点认真的味道,然后还挺不错(3.5吧)
语言学 形式语义学
形式意味論入門 Douban
author: 白井賢一郎 publishing house: 産業図書 1985 - 10
June 17, 2020 read
如某日亚用户评论说,编排和部分内容确实很进阶,一点也不入门,但对我来说的话,有些东西就其实还挺不错的:总体上,在蒙太古语法本身的形式上的严格性(数学方法)与面向翻译的实际运用之间的,这个度把握得非常好,特别可重点读的是,5章对UG的整个系统的重构(比较形式化,比较难读,但相比UG本身已经很友好了,对这个玩意感兴趣可以参照UG做一遍梳理,非常清晰);7,8章解释的在内涵逻辑语义学中对内涵-外延函数的规定;9章限于篇幅其实对最重要的PTQ的介绍其实并不充分,但重点着眼于MP4与量化插入梳理得非常好。 后面简单讲了下Dowty等的进一步发展:词语意义,被动分析之类;以及Cooper Storage啥的,然后简要介绍了下广义量词和DRT(不过限于篇幅都很简略) 各取所需吧
哲学 分析哲学 形式语义学
言語哲学大全〈4〉真理と意味 Douban
author: 飯田 隆 publishing house: 勁草書房 2002 - 9
April 26, 2020 read
不是三卷结尾预告的那种哲淆语义学,也不是一种纯粹或通用的(比如形式语义或者生成语法下相关)自然语言语义淆。不如说是很多对后者的一种哲淆视野上的考察。特别是,前四章主要讲,戴维森怎么逆练塔斯基的,以及炼出了什么玩意:一种homophonic semantics,在已经习得某种语言,了解语义后,这样前提下的,对其的再反思。所以他似乎避开了语言淆壬老是攻击戴维森的,真值一样的句子明明意义就不同,代价就是让这种语义淆丧失了解释性上的充分性,变成了纯扶手椅玩意

第五章是这种东西在日语上的应用尝试,但很多与通行办法不同的特色处理不敢苟同,以及后面一大篇无聊的时态逻辑与日语的特色时制研究基本没兴趣,就翻了翻,有兴趣的时候再说吧

反正看起来更像是樊天龙自己的“私货”型研究而不该放在这套书里面
分析哲学 戴维森 哲学 语言哲学 语言学
动态意义理论 Douban
author: 文卫平,方立 等著 2008 - 7
《动态意义理论》介绍了四种动态意义理论:文档变换语义学、话语表达理论、情景语义学和动态谓词逻辑。它们在语义学的发展史上具有标志性的意义,是形式语义学发展过程中的一道分水岭。之前的逻辑语义学称为传统逻辑语义学,因其对句子语义的分析是静态的,又可称为静态逻辑语义学。动态语义学对句子语义的分析从算法角度展现了从英语语句的句法形式到语义表现的过程,刻画了语义分析的递增性及其形式推演系统。正是动态的分析方法使其成功地解决了句子序列中代词和名词的指代照应关系、蒙太古语法对摹状词处理的困境以及先设、焦点、省略等问题。
Dec. 9, 2019 read
挺好的一本书,提供了份传统逻辑语义在80年代初向discourse研究和pragmatics的转向以来,对dynamic semantics的快速概览
前三章和对先设的专题写得非常不错。篇幅之类的关系,有很多东西还是没讲得很清楚(比如第三章dynamic logic的技术性基础就完全没讲,不过不能强求
哲学 语言学 分析哲学 形式语义学
事件语义学引论 Douban
author: 吴平 / 赫向丽 2017
《事件语义学引论》对事件语义学的总体发展历程和重要论题进行概览式介绍。重点介绍事件语义学新戴维森分析法,围绕事态中动词与论元的关系、动词的事件语义、个体层面谓词和阶段层面谓词、名词与事件以及事态终结性等议题,对相关重要文献进行系统性梳理和概括,深入分析和阐述相关论题,提炼出具有广泛影响力的主流观点,并辅以适量的语言实例加以阐释说明。
《事件语义学引论》适合理论语言学学习者和研究者阅读。
Nov. 17, 2019 read
复制粘贴再加翻译的复读机与缝合怪写出的平庸的“文献综述”

以及无聊得要死的当代事件语义淆的:语义角色与题元,动词(谓词)与事件等等的各种的systematics。反正分类就完事叻(我是看不到他们这种讨论有认真贯彻什么模型论-真值演算,组合性原则之类的东西

也就第六章的Landman(2010)对复数名词句的歧义分析以及设计的整个复数性的形式化语言系统(LEP)有点意思(有点“逻辑语义”的感觉(有机会可以看看原著
分析哲学 事件语义学 哲学 语言学 形式语义学
逻辑语义学 Douban
author: 方立 2000 - 8
Sept. 29, 2019 read
本书主体部分即(2-9章)重点刻画形式语义的运算部分,即相关语句的函数的给出和在模型中确定真值的运算,整个技术过程可谓讲得非常详尽,这是对比国内现有的几本形式语义导论性著作的特点,如果对相关的真值条件分析中的技术性内容有兴趣但是仍比较模糊可以翻翻。

当然相反就没有在句子依照相关的句法-语义规则在组合性原则下的同态生成过程中着墨太多。

以及拓展度一般,就讲了下话语表现(驴子句)和“预设”相关。不过专门讲预设的那章,讲承认“预设”的情况下,组合性原则是否也适用于相关语句的预设的projection problem,和其中karttunen的相关研究倒挺有意思的(不过都讲得很粗糙就是了

在形式化对部分,低级的编辑错误出现得有点多........
分析哲学 哲学 语言学 形式语义学 逻辑学
Meaning Douban
author: Paul Elbourne publishing house: Oxford University Press 2011
Our outstanding ability to communicate is a distinguishing features of our species. To communicate is to convey meaning, but what is meaning? How do words combine to give us the meanings of sentences? And what makes a statement ambiguous or nonsensical? These questions and many others are addressed in Paul Elbourne's fascinating guide. He opens by asking what kinds of things the meanings of words and sentences could be: are they, for example, abstract objects or psychological entities? He then looks at how we understand a sequence of words we have never heard before; he considers to what extent the meaning of a sentence can be derived from the words it contains and how to account for the meanings that can't be; and he examines the roles played by time, place, and the shared and unshared assumptions of speakers and hearers. He looks at how language interacts with thought and the intriguing question of whether what language we speak affects the way we see the world.
Meaning, as might be expected, is far from simple. Paul Elbourne explores its complex issues in crystal clear language. He draws on approaches developed in linguistics, philosophy, and psychology -- assuming a knowledge of none of them -- in a manner that will appeal to everyone interested in this essential element of human psychology and culture.
Review:
"This is a perfect guide to what semantics is all about. The book is informative, scholarly, witty, entertaining, and funny. It doesn't shy away from hard puzzles and unsolved problems, and places semantics where it belongs: at the intersection of linguistics, logic, metaphysics, cognitive psychology, and neuroscience."
--Angelika Kratzer, University of Massachusetts at Amherst
July 27, 2019 read
3.5?称为一本优秀的intro还差火候。脉络大概是从第二章开始的内在-外在主义;lexical semantics;黑屁戴维森及可能世界语义学;句子在句法与语义层面的歧义,以及一些形式化分析工具;指示词、语境与语用学;Sapir-Whorf hypothesis相关。

不太好的地方主要是在传统语言哲淆进路相关的地方,由于作者本身立场比较mentalism,所以黑屁有点多,介绍也不充分(第二章、第四章等)。以及第七章的讨论不太清晰。

读完之后惊奇发现作者居然是语哲的而不linguistics的(毕竟这么不喜欢ideal language式甚至传统语哲的东西
哲学 语言学 分析哲学 形式语义学
形式哲学 Douban
author: 理查德·蒙太古 translator: 朱水林 2011
该书收集了蒙太古在1960-1970年间发表的一系列文章,这些文章建立了以真值条件、模型论语义学为基础的蒙太古语义学。它致力于把在数理逻辑中发展起来的技巧,应用于自然语言语义学。
June 4, 2019 read
大致选读了一下,核心的PTQ什么的其实已经比较比较熟了。71年就被杀,只能说大致搭了个框架(甚至框架都没搭好),他本人并没有来得及把那样一个严格的协调的且具体的句法-语义理论建立起来,还是挺可惜的。机翻风格明显
分析哲学 哲学 语言哲学 形式语义学 逻辑学
逻辑、语言和蒙太格语法 Douban
author: 邹崇理 1995 - 11
May 15, 2019 read
偏介绍性的小书,不要求太多,可以(重点)看下第二章。一些收获是,有清楚地讲了下,对英语语句的间接语义解释的整个过程,以及通过翻译得到的高阶的内涵逻辑语句在模型论下确定真值的操作(特别是关于他佬引进的up算子和down算子,以及通过意义公设,区分-处理外延/内涵动词、和将因为系统的协调性而提升范畴后的自然语言中的专名重新恢复成指向个体的一个常值函数)。后面讲了一些dowty70年代对MG的扩展,诸如时态逻辑的调整,以及结合生成语义淆尝试分析形态变化和词语内部的语义特征(semantic feature)。再然后就是简单港了几句GQ-L(GQ)、DRT、FCG、SS之类的东西
分析哲学 哲学 语言学 形式语义学 逻辑学
形式语义学引论 Douban
author: 蒋严 / 潘海华 publishing house: 中国社会科学出版社 2005 - 6
本书详细介绍形式语义学的基本内容、主要技巧和方法,可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生也可从本书中获得系统的语义学知识。在阅读此书之前,读者最好先学一门现代语言学导论课或读一本基础教科书,如Akmajian et al(1984)或Fr0瑚kin&R0d—mail(1993),也可上一门生成句法学导论课或读一本句法教科书,如Radford(1988)、徐烈炯(1988)或宋国明(1997)。如能看一下徐烈炯(1990/1996)和(1993)则更有帮助。
本书内容的取舍并非简单地照搬一些外文教科书,在章节安排上也力免陈袭他人。我们在书中注入了自己的理解和观点,并力求对汉语的语义结构做尝试性的形式化描写。故此,本书并不是一本求稳求全的教材,而是一本讨论性、探索性的论著。当然,作为导论性教科书,本书介绍的许多方面无法深入详谈,技术上也不一定代表最新最好的解决方法。我们在书中提出了问题,找到了部分答案,但是留下了更多的研究空间让读者去遨游驰骋。
第一章 语义、真值与逻辑
第一节 命题、句义和话语义
第二节 句义的信息类型
第三节 言语交际的意义层次
第四节 形式语义学的研究范围
第五节 逻辑在语义研究中的地位
第六节 几个基本的语义概念
第七节 各章 内容简介
阅读文选
第二章 逻辑演算
第一节 集合论
第二节 关系和函数
第三节 命题逻辑和真值表
第四节 谓词逻辑
第五节 逻辑证明
阅读文选
第三章 Cp系统和语义解释
第一节 部分语句系统Cp
第二节 cp的语义解释
第三节 模型与语义解释
阅读文选
第四章 对Cp系统的扩展
第一节 三种特殊句式
第二节 复句的生成和解释
第三节 逻辑否定句
第四节 语法范畴和逻辑范畴:传统语法、传统逻辑和形式逻辑的同与异
第五节 规则小结
第六节 语义解释的递归性
第七节 实例分析
阅读文选
第五章 类型论初步
第一节 再论组合性原则
第二节 逻辑语义类型
第三节 类型驱动的语句分析与生成
第四节 特征函项
第五节 类型的语义性质
第六节 ct系统
阅读文选
第六章 量词、辖域与逻辑依存
第一节 变量、约束词与量化结构
第二节 量化结构的语义解释
第三节 逻辑依存
第四节 逐指与统指
第五节 分支量词
第六节 自然语言量化句的歧义和表达
第七节 结语
阅读文选
第七章 A-转换
第一节 自然语句分析中的一些疑难现象
第二节 A-抽象和A-还原
第三节 对疑难现象的分析
……
第八章 广义量词
第九章 时间、时制与时态
第十章 对时间的量化与限制、量化类型及其三分结构
第十一章 可能世界与模态逻辑
第十二章 内涵逻辑与命题态度
第十三章 博弈论语义学
第十四章 篇章表述理论
第十五章 研习文献
附录 形式语义学经典书目
参考书目
汉英译名对照表
May 6, 2019 read
总体来说,书比较进阶,可以看作有一些形式语义淆基础后的扩展与复习(数理逻辑需要,但其实(乔氏)句法相关的倒并不需要多少)。难度其实也还好,主要优点(或者可能也是难点)是给出形式化表达和处理后,讲解比较充分,但书中大部分内容本身是比较基础,较前沿的拓展不多(就倒数几章难度会大些)//一到二章是背景基础,展开不多可以略过,三到八章,大部分内容是直接将汉语作为研究的对象语言来分析的,有些繁琐,但其实九章以后又回归到英语去叻。//九、十、十一有讲一些,将元语言中给定的模型M中的t,w等,引进对象语言直接进行运算,即对蒙太格式内涵逻辑的一个发展-一种两体类型论,挺有意思的,但还有些模糊,有空得再翻一下//不太好的地方的话,拓展的东西讲得比较粗,具体的模型和真值分析给得有些繁杂,最后一章DRT太概略了。
分析哲学 哲学 语言学 形式语义学 逻辑学
范畴类型逻辑 Douban
author: 邹崇理 2008 - 1
《范畴类型逻辑》是“哲学宗教研究系列”之一,该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节,对范畴类型逻辑作了系统全面的介绍,具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。
April 19, 2019 read
不太行,定位炒尴尬的一本书,主要问题是细节和解释给少了,相关定理和证明的给出太过简略。只能看个大概,可能只有用来上课之类才行。。.内容大概是,从古典范畴讲起到lambek演算、MG、Carpenter的type-logical semantics(包括他的typed feature structures后面也有提及,这玩意基本上看不懂。。)以及向lambek回归的grammar logics(包括诸如frame semantics、multimodal systems之类的东西)。然后也向侧面扩展了计算语言学里面的与范畴语法相关的自动分析,DRT和动态逻辑、情境语义学,还有如前面所说Carpenter 1997之类的东西。最后,对非连续量词和灵活语序问题的分析挺有意思。大部分算是比较前沿的.
句法学 分析哲学 类型论/范畴语法 哲学 语言学
语义学(第2版) Douban
author: Kate Kearns / [新西兰] 凯特·科恩 著 translator: 陈丽萍 publishing house: 四川大学出版社 2015 - 10
《语义学(第2版)》是国际学术出版社英国帕尔格雷夫麦克米伦出版的现代语言学教材,以深入浅出、浅显易懂的语言,对当代形式语义学的基本概念、研究工具和研究选题进行了详细的介绍,适合对形式语义学没有任何背景的读者。每章均提供精心设计的分级练习、讨论题和延展阅读,可以帮助学生体会和巩固每章内容,了解热门语义问题,拓宽视野,并通过问题展开的形式领会和掌握语义问题的解决方法和技能,也为教师组织课上讨论提供了丰富的选择。
March 27, 2019 read
(你瓣的版本关联不知道出了啥问题,提交了不受理.....还是标下吧)非常简单的一本书,理论上,80%的内容是可以在毫无数理逻辑及语义-句法学相关背景知识的情况下通读,所以可以快速给你提供一个形式语义淆方面的概览。但其实有些内容太简单,讲得太浅, 然后很多东西没有讲到,完全不够用,就仅仅相当于一个概览叻。另外一个缺点是问题导向性(即理论动机)不够强,这方面,如果你没有背景知识,你又会不知道这个理论是为了拿来解决什么问题的?(比如我就对第10章thematic roles-LCS相关就非常陌生)//比较好的是后面几张讲事件语义淆相关(这方面似乎国内做得做得人更少)有占比较大的篇幅//((译者:我从罗格斯回来发现带不动你国毫无语言淆基础的研究生,所以译这书准备给一二年级当教材(我:????
分析哲学 哲学 语言学 形式语义学 逻辑学
逻辑、语言与意义(第2卷) Douban
author: [荷]L.T.F.哈姆特 translator: 李可胜 / 张晓君 … publishing house: 商务印书馆 2017 - 11
《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆特”之名出版。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。
Feb. 2, 2019 read
有点累,前几章普通一些的内涵逻辑的语义学还好,后面进类型论和范畴语法就有点懵了,5,6的技术细节试着领悟了下大概,,,,,(主要是4,5章其实过得有点快,对没基础的并不太友好........)最后讲新近发展,通过对DRT的修改得到的更具组合性的dynamic predicate logic处,再次阵亡了........//整个第二卷基本只关注语义学了,特别注重的自然语言的刻画,就非常descriptive,蒙太格主要在PTQ模型,新近发展着重讲了广义量词理论和话语表现理论。7.3的东西略过了一下,其实书里对范畴语法的处理也不太多//书是好书,翻译基本上过得去,编辑该谢罪
分析哲学 哲学 语言哲学 语言学 形式语义学
逻辑、语言与意义(第1卷) Douban
author: [荷]L.T.F.哈姆特 translator: 满海霞 / 张璐 … publishing house: 商务印书馆 2017 - 11
《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆特”之名出版。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。
Jan. 21, 2019 read
挺好看的。虽说第一卷是“入门”并且编排上也是从最基础的一步一步构造,但相比一般关于逻辑学的intro ,这书更突出对相关问题的语义讨论(当然也会兼顾逻辑的句法规则,和专门讲一下语用学),即所谓的形式语义学进路,像什么第三章引入的基于塔斯基的model-theoretic semantics、第四章对语义有效性的讨论之类。所以还是要前置一般的逻辑基础?不然对有些时候他来得陡了容易懵逼.........ps1: 中文编辑是屑,各种重要证明,真值表都能搞错也是牛批ps2: 第七章讲形式句法(什么自动机,计算分析之类)就,完全,堕入了知识盲区.........
分析哲学 哲学 语言哲学 语言学 形式语义学