1) Study on the Theory of Descriptions
摹状词理论研究
2) theory of description of names
名称摹状词理论
1.
For the sake of criticizing Frege and Russell\'s theory of description of names,Kripke gave three kinds of demonstration,namely model arguments,epistemological arguments and semantic arguments.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证,即模态论证、认识论的论证和语义的论证。
3) descriptivist theories of name
名称的摹状词理论
1.
There has been a dispute between descriptivist theories of name and causal-History Theory of Name for a long time.
在名称问题上,名称的摹状词理论与因果历史理论之间的争议由来已久。
4) Descriptive theory of proper names
专名的摹状词理论
5) lexicographical studies
词典学理论研究
1.
The present paper attempts to give a few glimpses of some new trends of lexicographical studies at the turn of the coming century.
:本文旨在对新世纪词典学理论研究的发展趋势作一概要的分析和展
6) Descriptions
[英][di'skripʃən] [美][dɪ'skrɪpʃən]
摹状词
1.
Research on descriptions began from the dabate about whether proper names have connotation or denotation.
摹状词的研究始于关于专名有无涵义和指称的争论,历史上围绕专名有无涵义和指称这个问题形成了两大派别:一派以穆勒和克里普克为代表:主张专名没有涵义只有所指;另一派以弗雷格和罗素为代表主张专名既有涵义又有所指。
2.
, analyzed and explained this problem, and their views are not the same: Frege did not make the distinction between proper names and descriptions, and thought that difference in other aspects between proper names and descriptions can be tolerated as long as their references are the same; yet Russell strictly distinguished proper names from descriptions; and Kripke r.
弗雷格、罗素和克里普克等人都对名称问题进行了分析和说明,而且他们的观点都不尽相同:弗雷格不区分专名和摹状词,认为它们只要指称相同,其他方面的不同都是可以容忍的;罗素严格区分了专名和摹状词;而克里普克却认为专名是严格的指示词,摹状词是非严格的指示词。
3.
Reference assignment of descriptions plays a key role in understanding utterances in communication.
摹状词指称赋值就是确定摹状词的具体所指,是话语理解和交际的基础。
补充资料：摹状词
由冠词和普遍名词及其限制语构成的表示某单个事物的词组。冠词有不定冠词和定冠词两种，它们在汉语中可分别有用"一（个）"和"那（个）"来表示。而摹状词也有不定摹状词和定摹状词之分。前者如"我遇见一个熟人"中的"一个熟人"，后者如"13和19之间的那个素数"。摹状词作为逻辑术语通常专指定摹状词。这是一种指称唯一的一个具有某特定性质的事物的词项，它可在带等词的谓词逻辑中表示和处理，构成摹状词理论。最早发展摹状词逻辑理论的是G.弗雷格、G.皮亚诺和B.A.W.罗素。
在谓词逻辑中,定摹状词"那个有性质F的个体"通常记作噳ｘFｘ，其中的噳 是表示定冠词的逻辑符号;噳α通称摹状算子，其中的α是任一个体变元。噳可以作为初始符号引入，也可以通过定义引入。由于"唯一的一个"就等于"至少一个并且至多一个"，因此含有摹状词的命题"那个有性质 F的个体有性质 G"，或者简单地说"那个F是G",记作G噳ｘFｘ，可以分析为："至少有一个个体有性质F，并且至多有一个个体有性质F，而此个体有性质G"。例如,"13和19之间的那个素数是17"当且仅当下面3个命题都真时才是真的:①"至少有一个素数在13和19之间"，②"至多有一个素数在13和19之间"，③"此素数是17"。因此，可以在带等词的谓词逻辑中通过使用定义（definition in use）引入摹状词， 把G噳ｘFｘ定义为
ヨｘ[Fｘ∧凬ｙ(Fｙ →ｘ =ｙ)∧Gｘ]
或
凬ｘ凬ｙ[(Fｘ∧Fｙ)→ｘ =ｙ]∧ヨｘ(Fｘ∧Gｘ)
或 ヨｙ[凬ｘ(Fｘ凮ｘ =ｙ)∧Gｙ]
根据对摹状词的理解,含有摹状词的命题"那个F不是G"不等于"那个 F是G"的否定，即不等于"并非那个F是G"。因为根据定义，前者是
ヨｘ[Fｘ∧凬ｙ(Fｙ) →ｘ =ｙ)∧塡Gｘ]
而后者是
塡ヨｘ[Fｘ∧凬ｙ(Fｙ →ｘ =ｙ)∧Gｘ]
它们的区别在于：只有在恰好存在一个是F 的个体并且它不是G 时，前者才是真的；而后者则既在这种情况下是真的，又在并非恰好存在一个是F 的个体时，亦即或者根本没有个体是F或者不止一个个体是F时，也是真的。因此,前者蕴涵后者,但后者不蕴涵前者，二者不是等值的。例如,由于根本不存在最大的自然数,因此"那个最大的自然数不是奇数"是假的，而"并非那个最大的自然数是奇数"却是真的。这样就一般地产生摹状词的辖域问题，并需要采取能表示出摹状词的辖域的记法。按照一种通行的做法，"那个最大的自然数不是奇数"和"并非那个最大的自然数是奇数"这个两命题被分别记为(噳ｘFｘ)塡G噳ｘFｘ和塡(噳ｘFｘ)G噳ｘFｘ，在前一公式中摹状词[噳ｘFｘ]的辖域是 塡G噳ｘFｘ,在后一公式中摹状词的辖域是G噳ｘFｘ。一般地说，令A(α)表示公式A中含有自由的α，那么,一公式B中某摹状词噳αA(α)的辖域是B中紧接相应的噳αA(α)之后的那个子公式。这种对摹状词的理解和处理方法是罗素和A.N.怀特海在他们的《数学原理》第1卷中所采取的方法。其实质是,如果一摹状词事实上不具有唯一性，则含有此摹状词的命题被认为是假的。对摹状词的理解和处理方法不止一种，D.希尔伯特和P.贝奈斯（1888～1977）采用了另一种处理方法，即认为如果一摹状词不具有唯一性，则含有它的命题是不合式的，也不成其为一个命题。贝奈斯和W.V.O.奎因等人还采用过别的处理方法。例如，当一摹状词不具有唯一性时，它就被视为指称论域中某一随时确定的或事先规定的个体。
在谓词逻辑中,定摹状词"那个有性质F的个体"通常记作噳ｘFｘ，其中的噳 是表示定冠词的逻辑符号;噳α通称摹状算子，其中的α是任一个体变元。噳可以作为初始符号引入，也可以通过定义引入。由于"唯一的一个"就等于"至少一个并且至多一个"，因此含有摹状词的命题"那个有性质 F的个体有性质 G"，或者简单地说"那个F是G",记作G噳ｘFｘ，可以分析为："至少有一个个体有性质F，并且至多有一个个体有性质F，而此个体有性质G"。例如,"13和19之间的那个素数是17"当且仅当下面3个命题都真时才是真的:①"至少有一个素数在13和19之间"，②"至多有一个素数在13和19之间"，③"此素数是17"。因此，可以在带等词的谓词逻辑中通过使用定义（definition in use）引入摹状词， 把G噳ｘFｘ定义为
ヨｘ[Fｘ∧凬ｙ(Fｙ →ｘ =ｙ)∧Gｘ]
或
凬ｘ凬ｙ[(Fｘ∧Fｙ)→ｘ =ｙ]∧ヨｘ(Fｘ∧Gｘ)
或 ヨｙ[凬ｘ(Fｘ凮ｘ =ｙ)∧Gｙ]
根据对摹状词的理解,含有摹状词的命题"那个F不是G"不等于"那个 F是G"的否定，即不等于"并非那个F是G"。因为根据定义，前者是
ヨｘ[Fｘ∧凬ｙ(Fｙ) →ｘ =ｙ)∧塡Gｘ]
而后者是
塡ヨｘ[Fｘ∧凬ｙ(Fｙ →ｘ =ｙ)∧Gｘ]
它们的区别在于：只有在恰好存在一个是F 的个体并且它不是G 时，前者才是真的；而后者则既在这种情况下是真的，又在并非恰好存在一个是F 的个体时，亦即或者根本没有个体是F或者不止一个个体是F时，也是真的。因此,前者蕴涵后者,但后者不蕴涵前者，二者不是等值的。例如,由于根本不存在最大的自然数,因此"那个最大的自然数不是奇数"是假的，而"并非那个最大的自然数是奇数"却是真的。这样就一般地产生摹状词的辖域问题，并需要采取能表示出摹状词的辖域的记法。按照一种通行的做法，"那个最大的自然数不是奇数"和"并非那个最大的自然数是奇数"这个两命题被分别记为(噳ｘFｘ)塡G噳ｘFｘ和塡(噳ｘFｘ)G噳ｘFｘ，在前一公式中摹状词[噳ｘFｘ]的辖域是 塡G噳ｘFｘ,在后一公式中摹状词的辖域是G噳ｘFｘ。一般地说，令A(α)表示公式A中含有自由的α，那么,一公式B中某摹状词噳αA(α)的辖域是B中紧接相应的噳αA(α)之后的那个子公式。这种对摹状词的理解和处理方法是罗素和A.N.怀特海在他们的《数学原理》第1卷中所采取的方法。其实质是,如果一摹状词事实上不具有唯一性，则含有此摹状词的命题被认为是假的。对摹状词的理解和处理方法不止一种，D.希尔伯特和P.贝奈斯（1888～1977）采用了另一种处理方法，即认为如果一摹状词不具有唯一性，则含有它的命题是不合式的，也不成其为一个命题。贝奈斯和W.V.O.奎因等人还采用过别的处理方法。例如，当一摹状词不具有唯一性时，它就被视为指称论域中某一随时确定的或事先规定的个体。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条