Комбинированные паранепротиворечивые логики и их (ко)экспоненциалы

Обложка

Аннотация


Комбинированные логики предложений и событий состоят из двух частей: внешней логики, зависящей от эпистемологических допущений, и внутренней логики, зависящей от онтологических допущений. Комбинированные логики были разработаны В.А. Смирновым следуя идеям Г. Фреге и Н. Васильева. Анализ структуры комбинированных логик обнаруживает, что фактически они используют связи между двумя логическими системами, постулируя в роли онтологической части алгебры, служащие моделями соответствующих логик. Это наводит на мысль рассмотреть системы, описывающие взаимоотношение двух логик на синтаксическом уровне, когда у нас есть доступ к этим логикам без посредничества их моделей. В роли подобных систем могут быть использованы так называемые коэкспоненциалы и экспоненциалы, разработанные в [15]. В статье рассматривается случай двух паранепротиворечивых комбинированных логик (с паранепротиворечивыми алгебрами в качестве их онтологических частей).

Владимир Леонидович Васюков

iph@iph.ras.ru <mailto:iph@iph.ras.ru>
Институт философии РАН

Институт философии РАН

  • 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.
  • Carnielli W.A., Alcantara L.P. Paraconsistent algebras // Studia Logica. - XLIII. - № 1/2. - 1984. - P. 79-87.
  • Frege G. Begriffschrift // Translations from the Philosophical Writings of Gottlob Frege / ed. By. P. Geach and M. Black. - Oxford, 1952.
  • Jaśkowski S. Rachunek zdań dla systemów dedukcyjnych sprzecznych // Studia Soc. Sci. Torunensis. - Sectio A. - Vol. I. - № 5. - 1948 (English translation in [5]).
  • Jaśkowski S. Propositional Calculus for Contradictory Deductive Systems // Studia Logica. - XXIV (1969). - P. 143-157.
  • Lemmon E. Algebraic Semantics for Modal Logics I // Journ. Symb. Log. - 1966. - Vol. 31. - № 1. - P. 46-65.
  • Perzanowski J. Towards Post-Tractatus Ontology // Wittgenstein - Towards Re-Evaluation / Eds. R. Haller & J. Brandl, Verlag Holder-Pichler-Tempsky. - Wien, 1990. - P. 185-199.
  • Słupecki J. A Generalization of Modal Logic // Studia Logica. - V. 28. - 1971. - P. 7-17.
  • Smirnov V.A. Internal and External Logics // Bull. Sect. Logic. - V. 17. - № 3/4. - 1988. - P.170-181.
  • 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.
  • 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).
  • 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).
  • Vasyukov V.L. Combined da Costa's Logics (world according N.C.A. da Costa) // Logic et Analyse. - № 165-166 (1999). - P. 127-138.
  • Vasyukov V.L. Formal Ontology. - Moscow, 2006 (in Russian).
  • Vasyukov V.L. Structuring the Universe of Universal Logic // Logica Universalis. - Vol. 1. - № 2. - 2007. - P. 277-294.

Просмотры

Аннотация - 19

PDF (Russian) - 7


© Философия, 2016