一个自由模态的摹状词理论LFMDT[，K]，本文主要内容关键词为：理论论文,自由论文,模态论文,摹状词论文,LFMDT论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
一、LFMDT[，K]的理论背景
用自由逻辑来处理限定摹状词，已形成多种自由摹状词理论。这些理论以自由逻辑为基础，是自由逻辑在摹状词领域的重要应用。但是，对自然语言中如“当今的法国国王是当今的法国国王，这是必然的”、“唐僧的大徒弟会七十二变是必然的”这样的既包含“空限定摹状词”又包含“必然”的语句，却很难用这些理论来刻画。本文提出一个自由模态的摹状词理论LFMDT[，K]（文中简记为L[，K]），来处理和刻画限定摹状词在模态语境中出现的情形。在L[，K]中，引入了模态算子“□”。
L[，K]能够反映出限定摹状词与个体常量、个体变元的根本区别。个体常量和个体变元是严格指示词，即对任意可能世界w∈W，个体常量或个体变元在w中的指称与它们在任意w所通达的可能世界中的指称相同。而摹状词是非严格指示词，在不同的可能世界中可能会有不同的指称。比如，“世界上最高的山峰”，在现实世界中指“珠穆朗玛峰”，而在可能世界w[，1]中，可能珠穆朗玛峰存在但不是最高的山峰，而有另外一座叫做“无名峰”的山峰是最高的，这时“世界上最高的山峰”在w[，1]中就指“无名峰”，而不指“珠穆朗玛峰”。在w[，1]中，也可能珠穆朗玛峰根本就不存在，在这种情况下，显然“世界上最高的山峰”也不会指“珠穆朗玛峰”。
二、L[，K]的形式语言及其系统
1.L[，K]的形式语言
对于严格指示词，一般只要求相等的就必然相等，而我们的理论还要求不相等的就必然不相等。（A11）和（A12）是对示例公理的限制。对于严格指示词（常量和变元），这种限制和通常的自由逻辑类似，但对于摹状词有更强的限制，这种更强的限制保证了摹状词是非严格指示词。（A13）和（A14）是刻画摹状词的公理，说明了摹状词ιxA的直观意义就是那个唯一的满足性质A的对象。
推演规则
三、形式语义与L[，K]的可靠性
标签：珠穆朗玛峰论文;