The concept of ‘Translation’: history and theory


I.A. Karpenko


This article deals with the problem of translations. It covers the history of translation in linguistics and analyzes peculiarities and role of translation in logic. Moreover, the article contains typical examples of embedding operations in terms of different logical theories.






Bocharov, V.A., Boolean algebra in the terms of syllogistics, in V.A. Smirnov (ed.), Proceedings of the Research Logical Seminar of Institute of Philosophy of Russian Academy of Sciences, IFRAN, Moscow, 1983, pp. 32–42 (in Russian).
Carnielli, W.A., and I.M.L. D’Ottaviano, Translations between logical systems: A MANIFESTO, Logique et Analyse 157:67–81, 1997.
Catford, J.C., A Linguistic Theory of Translation: An Essay in Applied Linguistics, Oxford University Press, London, 1965.
Chagrov, A.V., and M.N. Rybakov, Standard translations of nonclassical formulae and relative decidability of logics, in A.S. Karpenko (ed.), Proceedings of the Research Logical Seminar of Institute of Philosophy of Russian Academy of Sciences. IFRAN, Moscow, 2000, pp. 81–98 (in Russian).
Chagrov, A., and M. Zakharyashchev, Modal Companions of Intermediate Propositional Logics, Studia Logica 51(1):49–82, 1992.
Epstein, R.L., The Semantic Foundations of Logic. Vol.1: Propositional Logic, Kluwer, Dordrecht, 1990.
Esakia, L., Godel embedding of the intuitionistic calculus to modal logic: recent and new observations, in A. S. Karpenko (ed.), Smirnov Readings. 4th International Conference, IFRAN, Moscow, 2003, pp. 72–75.
Gentzen, G., Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112:493-–565, 1936.
Glivenko, M., Sur quelques points de la logique de M. Brouwer, Academie Royale de Belgique, Bulletins de la classe des sciences 5(15):183–188, 1929.
Godel, K., On intuitionistic arithmetic and number theory, in K. Godel, Collected Works, Vol. 1, Oxford University Press, New York, 1986, pp. 287–295.
Von Humboldt, W., Sein Leben und Wirken dargestellt in Briefen, Tagebuchern und Dokumenten seiner Zeit, Berlin, 1953.
Jakobson, R., On linguistic aspects of translations, in R. Brower (ed.), On Translation, OUP, New York, 1959, pp. 232–239.
Karpenko, A.S., Logic on the boundary of millennia, Logical Investigations 7:7–60, 2000 (in Russian).
Karpenko, I.A., and V.M. Popov, Embedding of calculus RM into its positive fragment, Logical Investigations 10:94–99, 2001 (in Russian).
Kleene, S.C., Introduction to Metamathematics, D. Van Nostrand Company, New York, 1952.
Kolmogorov, A.N., On the tertium non datur principle, Matematicheskij sbornik 32(4):646–667, 1925 (in Russian).
Komissarov, V.N., Linguistics of Translation, Mezhdunarodnye otnosheniya, Moscow, 1980 (in Russian).
Komissarov, V.N., Theory of Translation (linguistic aspects), Vysshaya shkola, Moscow, 1990 (in Russian).
Lukasiewicz, J., On the intuitionistic theory of deduction, Indagationes Mathematicae 14:202–212, 1952.