Iterated reflection over full disquotational truth
Iterated reflection over full disquotational truth
复制标题
对完全反引用事实的反复反思
DOI：
10.1093/logcom/exx023
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Carlo Nicolai
中科院分区：
文献类型：
--
作者：
Martin Fischer ;Leon Horsten ;Carlo Nicolai
迭代反射原则已被广泛用于揭示接受数学理论所产生的认知承诺。最近，这一点被应用于真理理论。我们的想法是从一个塔斯基双条件的集合开始，通过迭代反射到达强成分真理论。在经典逻辑的语境中，采用一种初始真值理论是不连贯的，在这种理论中，“是真的”是可相互推导的。在这篇文章中，我们展示了如何在一个较弱的逻辑，我们称之为基本德摩根逻辑的背景下，我们可以连贯地从这样一个完全反引用的真理理论开始，并通过有限次应用自然一致反射原理来达到一个强的合成真理理论。
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by iterated reflection at strong compositional truth theories. In the context of classical logic, it is incoherent to adopt an initial truth theory in whichand ‘is truen’ are inter-derivable. In this article, we show how in the context of a weaker logic, which we call Basic De Morgan Logic, we can coherently start with such a fully disquotational truth theory and arrive at a strong compositional truth theory by applying a natural uniform reflection principle a finite number of times.
登录
查看更多内容
弗雷格结构和命题、真值和集合的概念*
DOI：
10.1016/s0049-237x(08)71252-7
发表时间：
1980
期刊：
--
影响因子：
--
作者：
P. Aczel
通讯作者：
P. Aczel
克里普克真理理论公理化中可证明正确的句子
影响因子：
0.7
作者：
Carlo Nicolai
通讯作者：
Carlo Nicolai
真理、部分逻辑和无限证明系统
影响因子：
0.7
作者：
Martin Fischer ;Norbert Gratzl
通讯作者：
Norbert Gratzl
真理的公理理论
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
S. Michael
通讯作者：
S. Michael
真理理论应该是什么样子（但不可能是什么样子）
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
H. Leitgeb
通讯作者：
H. Leitgeb