类型转换（语义）

定义

形式语义分析把表达的语义类型按规则转换，以解释组合。

深入理解

类型转换在形式语义学中把表达从一种语义类型映到另一种，或使相应解释能参与组合。类型是什么、哪些转换许可，都依理论模型，不能把任意意思变化重命名为一项正式运算。

Mira began the book可按语境理解为开始读书或写书。一本书被放入需要事件解释的构式，不表示book词义永远就是读或写，也不保证只有一个可能事件。Coercion与type shifting在各理论并非完全同域：某些类型运算属于普通组合，无须先出现意义冲突。德语Typverschiebung在当前档案作为Typenverschiebung的名称变体保留。

思考如何推进

1. 给表达的原有类型
2. 说明本次组合要求
3. 列模型许可的转换
4. 用语境检事件等读法
5. 分常规运算与冲突修复

例子

编辑设例：米拉开始那本书，可按语境理解为开始读或写书。

反例与界限

此句可引出不同理论分析，单例不证明某一种转换机制唯一正确。

与相近概念的区别

与任意改义、词汇多义及Coercion比较；一次读法不唯一证成某理论。

研究与应用

形式语义研究应展示类型、规则和组合步骤，不由直观能理解就假定已找到唯一计算机制。

作用与限制

可使组合中的解释调整明确，也可因过宽命名掩盖模型真正要承担的解释。

共鸣

书还是那本书，而开始的是与它相关的活动；这一过渡要交代怎样得到。

为什么收录这个概念

提供类型层面的解释转换，不以自由联想代模型规定。

从中文阅读出发

保英语began the book为分析对象；汉语释义可说开始读或写，但不能据流畅译句反证英语已明说哪个活动。

历史背景与来源范围

没有独立历史补充。Partee既有入口保原有限界，本轮未称全文重读或术语首见已核。

实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。

来源与查阅范围

下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。

• EN:partee-coercion · Begin the book default read/write interpretations; type lifting and richer lexical coercion distinguished.

德文原条目与来源 → · 英文原条目与来源 →

引用本条

Reich, Michael（编）：类型转换（语义），AT-NAV-G05-028。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。