.png){kind=icon}
返回
HIGHER-ORDER ESSENCES: LOGIC AND SEMANTICS
.png){kind=icon}
PRE
AI
DOI：10.1017/S1755020325101007.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文在高等逻辑的框架下发展了一种本质逻辑（HLE）。该理论旨在为关于对象、属性、命题以及合取、否定、量化等逻辑运算的本质提供一种通用框架。论文的第一部分介绍了HLE的形式语言和公理系统。随后，证明了该系统的一些定理，并展示了如何在HLE的框架内发展出一种关于形而上学必然性的逻辑。论文的第二部分为HLE发展了一种可能世界语义学，给出了可靠性的证明，并提供了模型的示例，以证明一些简单本质主义理论的一致性。
Keyword:
essence
higher-order logic
modality
hyperintensionality
