Volume 13, 2008
Logic and Philosophy of Logic
Translation Paradox and Logical Translation
A Study in Universal Logic
Why do logicians develop so many different philosophical logics? All their aims focus on the same question--”What is logic?” Whether they have said it is the aim question which they want answer or not when they are doing logics, this is the presumed motivation for all studies of logics. In other words, the reason for logicians to do logics is try to answer what logic is. This kind of conceptual analysis on logic is the main problem style to be asked in Universal Logic, such as “What is classical propositional logic?”, “What is many‐valued logic?”, “What is paraconsistent logic?”, etc. In this paper, we discuss one of Béziau’s paradoxes, Translation Paradox in Logical Translation, due to this kind of conceptual analysis on logic. Universal Logic is not a new logic, according to Béziau, it is a general theory of logical structures analogy to Universal Algebra, even if we could see it as a new logical activity. It is not to find out a ‘universal’ logic to cover all aims of logical researches. And it is definitely not in the spirit of logical monism, that is there is only one true logic. Develop Universal Logic about 15 years, besides its own motivation and purposes, it increasingly induces to two main stream problems, one is Logical Translation and the other is Combination of Logics which are two new realms in logic research. We find it is an easier way to start with Béziau’s Translation Paradox to get involved into Translation of Logics.