当前位置: 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.)
Inferences and Metainferences in ST
Journal of Philosophical Logic ( IF 0.7 ) Pub Date : 2020-09-03 , DOI: 10.1007/s10992-020-09560-x
Pablo Cobreros , Paul Egré , David Ripley , Robert van Rooij

In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth ST+ and inferences holding in the logic of paradox LP+. They argue that LP+ is ST+’s external logic and they question whether ST+’s solution to the semantic paradoxes is fundamentally different from LP+’s. Here we establish that by parity of reasoning, ST+ can be related to LP+’s dual logic K3+. We clarify the distinction between internal and external logic and argue that while ST+’s nonclassicality can be granted, its self-dual character does not tie it to LP+ more closely than to K3+.

中文翻译:

ST 中的推理和元推理

在最近的一篇论文中,Barrio、Tajer 和 Rosenblatt 建立了在透明真理 ST+ 的严格容忍逻辑中成立的元推理与在悖论 LP+ 逻辑中成立的推理之间的对应关系。他们认为 LP+ 是 ST+ 的外部逻辑,他们质疑 ST+ 对语义悖论的解决方案是否与 LP+ 在根本上不同。在这里我们确定,通过推理的奇偶性,ST+ 可以与 LP+ 的对偶逻辑 K3+ 相关。我们澄清了内部逻辑和外部逻辑之间的区别,并认为虽然可以授予 ST+ 的非经典性,但它的自我双重特征并没有将它与 LP+ 的联系比与 K3+ 的联系更紧密。
更新日期:2020-09-03
down
wechat
bug