Principles for Object-Linguistic Consequence: from Logical to Irreflexive
Principles for Object-Linguistic Consequence: from Logical to Irreflexive
复制标题
对象语言结果的原则：从逻辑到非反身
DOI：
--
复制
发表时间：
2017
影响因子：
1.5
通讯作者：
Lorenzo Rossi
中科院分区：
文献类型：
--
作者：
Carlo Nicolai;Lorenzo Rossi
我们讨论的原则，为一个原始的，对象语言的概念提出的后果（比尔和Murzi，哲学杂志，3页。143-65（2013）），产生了一个版本的咖喱的悖论。我们提出并研究了几种策略来削弱这些原则和克服悖论：所有这些策略都是基于这样的直觉，即对象语言后果谓词内化了我们首先接受的任何元语言后果概念。这些解答将对应不同的后果概念。在对这些原理的一种可能的阅读中，它们产生了逻辑推论的概念：我们研究了相应的有效性理论（及其一些变体），通过证明它在广泛的基础理论上是保守的：这个结果是通过一种表现良好的局部归约形式实现的。逻辑推论理论是建立在对推论谓词的引入规则的限制之上的。为了不受限制地维护这一原则，我们提出了一个对象语言后果的概念，我们称之为扎根后果，它表现出对反身性结构规则的限制。这个结构是通过推广扫罗克里普克的归纳真理理论（强克莱因版本）而得到的。接地效度将被证明满足一个天真的，自我适用的后果概念的几个理想的原则。
We discuss the principles for a primitive, object-linguistic notion of consequence proposed by (Beall and Murzi, Journal of Philosophy, 3 pp. 143–65 (2013)) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion of logical consequence: we study the corresponding theory of validity (and some of its variants) by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth (strong Kleene version). Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence.
DOI：
10.1007/978-94-017-9673-6_12
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Halbach V
通讯作者：
Halbach V
证明与计算
DOI：
--
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Schwichtenberg H
通讯作者：
Schwichtenberg H