Inferences and Metainferences in ST

Abstract

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

Topics & Concepts