Translations and Prawitz’s Ecumenical System
摘要
Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation between translations and the ecumenical perspective. While it is undeniable that there exists a relationship, it is also undeniable that its very nature is controversial. The aim of this paper is to show that there are interesting relations between the Gödel-Gentzen translation and the ecumenical perspective. We show that the ecumenical perspective cannot be reduced to the Gödel-Gentzen translation, much less be identified with it.