DEGREE SUPERVALUATIONAL LOGIC
DEGREE SUPERVALUATIONAL LOGIC
复制标题
学位超值逻辑
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
John Robert Gareth Williams
中科院分区：
文献类型：
--
作者：
John Robert Gareth Williams
超评价主义通常被描述为对不确定性最流行的语义处理。然而，对于如何填写基本想法以包含逻辑结果的表征，几乎没有达成共识。本文探讨了一种在逻辑之间进行选择的方法：选择一种将信念规范为标准的经典结果的逻辑。本文的主要焦点是考虑标准超估价的一种变体，我们可以在其上表征确定性程度。它应用上述方法来关注程度逻辑。首先是在基本的、单一前提的情况下开发的；然后扩展到多重前提情况，并允许后果程度。阐述了度逻辑的元理论性质。从积极的一面来看，逻辑是超经典的——所有经典的有效序列都是度逻辑有效的。引人注目的是，诸如剪切和连词引入之类的元规则失败了。
Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic that norms belief as classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterize degrees of determinacy. It applies the methodology above to focus on degree logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allow degrees of consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail.