RUDN Journal of PhilosophyRUDN Journal of PhilosophyВестник Российского университета дружбы народов. Cерия: Философия2313-23022408-8900Peoples’ Friendship University of Russia named after Patrice Lumumba (RUDN University)11396ArticlesСтатьиCombined Paraconsistent Logics and their (Co)ExponentialsКомбинированные паранепротиворечивые логики и их (ко)экспоненциалыVasyukovVladimir LВасюковВладимир Леонидович ; Institute of PhilosophyИнститут философии РАНiph@iph.ras.ru <mailto:iph@iph.ras.ru>Institute of PhilosophyИнститут философии РАН150320113NO3 (2011)№3 (2011)9711012092016Copyright ©; 2011, Vasyukov V.L.Copyright ©; 2011, Васюков В.Л.2011Vasyukov V.L.Васюков В.Л.https://creativecommons.org/licenses/by-nc/4.0https://journals.rudn.ru/philosophy/article/view/11396Combined logics of sentences and events consist of two parts: the external logic depending on epistemological assumptions and the internal logic depending on ontological ones. They were introduced by V.A. Smirnov following some G. Frege's and N. Vasiliev's ideas. An analysis of the structure of combined logics shows that, in fact, they employs the links between two logical systems postulating in the role of ontological part algebras which serve as the models of respective logics. It prompts us to consider systems which describe the direct interplay of two logics on syntactic level where we have an access to these logics without mediation of their models. In the role of those systems might be used the so-called coexponential and exponential ones which were introduced in [15]. In the paper the case of two paraconsistent combined logics (having paraconsistent algebras as their ontological part) is considered.Комбинированные логики предложений и событий состоят из двух частей: внешней логики, зависящей от эпистемологических допущений, и внутренней логики, зависящей от онтологических допущений. Комбинированные логики были разработаны В.А. Смирновым следуя идеям Г. Фреге и Н. Васильева. Анализ структуры комбинированных логик обнаруживает, что фактически они используют связи между двумя логическими системами, постулируя в роли онтологической части алгебры, служащие моделями соответствующих логик. Это наводит на мысль рассмотреть системы, описывающие взаимоотношение двух логик на синтаксическом уровне, когда у нас есть доступ к этим логикам без посредничества их моделей. В роли подобных систем могут быть использованы так называемые коэкспоненциалы и экспоненциалы, разработанные в [15]. В статье рассматривается случай двух паранепротиворечивых комбинированных логик (с паранепротиворечивыми алгебрами в качестве их онтологических частей).combined lopgicsJaskowski's discursive logicda Costa paraconsistent logicstranslation(un)constrained possible translatingкомбинированные логикидискурсивная логика Яськовскогопаранепротиворечивые логики да Костыперевод(не)ограниченная возможная переводимость1.Carnielli W.A. Possible-Translations Semantics for Paraconsistent Logics // D. Batens et al. (eds.), Frontiers of Paraconsistent Logic. - Research Studies Press Ltd., Baldock, Herfordshire, 2000. - P. 149-163.2.Carnielli W.A., Alcantara L.P. Paraconsistent algebras // Studia Logica. - XLIII. - № 1/2. - 1984. - P. 79-87.3.Frege G. Begriffschrift // Translations from the Philosophical Writings of Gottlob Frege / ed. By. P. Geach and M. Black. - Oxford, 1952.4.Jaśkowski S. Rachunek zdań dla systemów dedukcyjnych sprzecznych // Studia Soc. Sci. Torunensis. - Sectio A. - Vol. I. - № 5. - 1948 (English translation in [5]).5.Jaśkowski S. Propositional Calculus for Contradictory Deductive Systems // Studia Logica. - XXIV (1969). - P. 143-157.6.Lemmon E. Algebraic Semantics for Modal Logics I // Journ. Symb. Log. - 1966. - Vol. 31. - № 1. - P. 46-65.7.Perzanowski J. Towards Post-Tractatus Ontology // Wittgenstein - Towards Re-Evaluation / Eds. R. Haller & J. Brandl, Verlag Holder-Pichler-Tempsky. - Wien, 1990. - P. 185-199.8.Słupecki J. A Generalization of Modal Logic // Studia Logica. - V. 28. - 1971. - P. 7-17.9.Smirnov V.A. Internal and External Logics // Bull. Sect. Logic. - V. 17. - № 3/4. - 1988. - P.170-181.10.Smirnov V.A. Statement and Predication. A Combined Calculus of Sentences and Events. [In:] Intensional Logic, History of Philosophy and Methodology. - Budapest, 1988. - P. 101-108.11.Smirnov V.A. Combined Calculi of Sentences and Events and von Wright's Logic of Truth. [In:] Investigations on Non-Classical Logics, V.A. Smirnov (ed.). - Moscow, 1989. - P. 16-29 (in Russian).12.Smirnov V.A. Assertion and Predication. Combined Calculi of Sentences and Events. [In:] Syntactical and Semantic Investigations of Non-Extensional Logics, V.A. Smirnov (ed.). - Moscow, 1989. - P. 27-35 (in Russian).13.Vasyukov V.L. Combined da Costa's Logics (world according N.C.A. da Costa) // Logic et Analyse. - № 165-166 (1999). - P. 127-138.14.Vasyukov V.L. Formal Ontology. - Moscow, 2006 (in Russian).15.Vasyukov V.L. Structuring the Universe of Universal Logic // Logica Universalis. - Vol. 1. - № 2. - 2007. - P. 277-294.