MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD
MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD
复制标题
真理的模态和公理理论 I：弗里德曼-谢尔德
DOI：
10.1017/s1755020314000057
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Johannes Stern
中科院分区：
文献类型：
--
作者：
Johannes Stern
在这项研究中，我们探索了一种构建情态理论的一般策略，其中情态概念被构思为谓词。这一策略的想法是在真理的公理理论之上发展情态理论。在我们的两部分调查的第一篇论文中，我们发展了一般策略，然后将其应用于真理公理理论Friedman-Sched。由此，我们得到了莫代尔-弗里德曼-谢尔德理论。然后从三个不同的角度对莫代尔·弗里德曼-谢尔德理论进行了讨论。首先，我们证明了莫达尔·弗里德曼-谢尔德关于模运算符逻辑的模平移保持定理。其次，我们转向语义体，并为新发展的理论发展了一种情态语义学。第三，我们考察了情态谓词是否可以按照克里普克的建议理解，即被情态算子修饰的真值谓词。
In this investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different perspectives. First, we show that Modal Friedman-Sheard preserves theoremhood modulo translation with respect to modal operator logic. Second, we turn to semantic aspects and develop a modal semantics for the newly developed theory. Third, we investigate whether the modal predicate of Modal Friedman-Sheard can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator.
登录
查看更多内容
DOI：
10.1007/978-3-319-22557-9
发表时间：
2016
期刊：
影响因子：
--
作者：
Johannes Stern
通讯作者：
Johannes Stern
真理的公理理论
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
S. Michael
通讯作者：
S. Michael
影响因子：
1.5
作者：
Vann McGee
通讯作者：
Vann McGee
自我参照真理的公理化方法
影响因子：
0.8
作者：
H. Friedman;M. Sheard
通讯作者：
M. Sheard
真理的原则
影响因子：
1.8
作者：
V. Halbach;L. Horsten
通讯作者：
L. Horsten