Relating Intensional Semantic Theories: Established Methods and Surprising Results
Relating Intensional Semantic Theories: Established Methods and Surprising Results
复制标题
关联内涵语义理论：既定方法和令人惊讶的结果
DOI：
10.1007/978-3-319-93794-6_12
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Kristina
中科院分区：
文献类型：
--
作者：
Liefke;Kristina
形式语义学由大量的理论组成，这些理论通过使用不同的本体论原语（例如个体、可能世界、情景、命题、个体概念）来解释自然语言。今天，这些理论之间的本体论关系在很大程度上仍未被探索。特别是，其中一些理论中的原语是否可以用其他理论中的对象来编码，或者某些理论的本体论是否可以被推导为其他本体论较差的理论的本体论，这仍然是一个悬而未决的问题。本文从形式语义理论的适当子集出发，对上述问题进行了回答。本文形式化了这些理论之间的一些本体论关系，这些关系在文献中只是建议（但没有明确），并确定了一些新的关系。本文利用这些关系表明，态度报告的“统一理论”实际上是一类理论，其成员相当于编码。
Formal semantics comprises a plethora of theories which interpret natural language through the use of different ontological primitives (e.g. individuals, possible worlds, situations, propositions, individual concepts). The ontological relations between these theories are, today, still largely unexplored. In particular, it remains an open question whether the primitives from some of these theories can be coded in terms of objects from other theories, or whether the ontologies of some theories can even bereducedto the ontologies of other, ontologically poorer, theories. This paper answers the above questions for a proper subset of formal semantic theories which are designed for the interpretation of doxastic attitude reports. The paper formalizes some ontological relations between these theories that are only suggested (but are not made explicit) in the literature, and identifies several new relations. The paper uses these relations to show that ‘the’ unifying theory for attitude reports is, in fact, aclassof theories whose members are equivalent up to coding.
登录
查看更多内容
不可能的可能世界被证明是正确的
影响因子：
1.5
作者：
J. Hintikka
通讯作者：
J. Hintikka
形式自然语言语义中的可编码性和鲁棒性
DOI：
--
发表时间：
2014
期刊：
JSAI-isAI Workshops
影响因子：
--
作者：
Kristina Liefke
通讯作者：
Kristina Liefke
咖喱类型、多态性和细粒度内涵性
影响因子：
0.5
作者：
Shalom Lappin
通讯作者：
Shalom Lappin
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
Shalom Lappin;C. Fox;C. Pollard
通讯作者：
C. Pollard
基于经典的不可能世界理论
DOI：
--
发表时间：
1997
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
E. Zalta
通讯作者：
E. Zalta