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+ 的联系更紧密。