当前位置: X-MOL 学术Journal of Philosophical Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Deep ST
Journal of Philosophical Logic Pub Date : 2021-11-20 , DOI: 10.1007/s10992-021-09630-8
Thomas M. Ferguson 1 , Elisángela Ramírez-Cámara 2
Affiliation  

Many analyses of notion of metainferences in the non-transitive logic ST have tackled the question of whether ST can be identified with classical logic. In this paper, we argue that the primary analyses are overly restrictive of the notion of metainference. We offer a more elegant and tractable semantics for the strict-tolerant hierarchy based on the three-valued function for the LP material conditional. This semantics can be shown to easily handle the introduction of mixed inferences, i.e., inferences involving objects belonging to more than one (meta)inferential level and solves several other limitations of the ST hierarchies introduced by Barrio, Pailos, and Szmuc.



中文翻译:

深ST

对非传递逻辑ST中元推理概念的许多分析已经解决了ST是否可以与经典逻辑等同的问题。在本文中,我们认为主要分析过度限制了元推理的概念。我们基于LP材料条件的三值函数为严格容忍层次结构提供了更优雅和易处理的语义。这种语义可以很容易地处理混合推理的引入,涉及属于多个(元)推理级别的对象的推理,并解决了ST 的其他几个限制 Barrio、Pailos 和 Szmuc 引入的层次结构。

更新日期:2021-11-20
down
wechat
bug