classical 2
The Analysis and Synthesis of Logic Translation
Fu, Tzu-Keng (University of Bremen) | Kutz, Oliver
In some relative discussions about the conceptual analysis of translation paradox where people Studies about logic translation could be traced back to (Kolmogorov found the following situation paradoxical with an assumption 1925) (Glivenko 1929) (Gentzen 1933) (Gödel of stronger-weaker distinction about the strength of logics (1933). In this chapter, the discussion on Béziau's case of by weakening the condition of some logical constant on the translation paradox provides an easier way for people purpose: given two logics, one is weaker than the other in to understand how it is possible for people to consider the sense of proving everything the former proves, while at a more general and abstract logic by the bivaluation approach.