Advertisement

Modern Reconstruction of Vasiliev’s Logical Systems

Chapter
  • 141 Downloads
Part of the Synthese Library book series (SYLI, volume 387)

Abstract

In the paper we make an attempt to reconstruct Nikolai Vasiliev’s logical systems by means of modern symbolic logic. We put forward the formalization of Vasiliev’s assertoric syllogistic with three initial types of categorical propositions and the Law of excluded fourth. We set up the axiomatic calculus and the adequate semantics for it in order to reconstruct the main version of Vasiliev’s imaginary logic. Metatheoretic relations between Vasiliev’s logic of n dimensions and n-valued predicate logic are established. We also make clear that Vasiliev has developed a sketch of original system of intensional logic (as an alternative version of imaginary logic). We offer the calculus and semantics for the explication of this idea. (The part of this paper was published earlier. In: Markin V.I. What Trends in Non-Classical Logic Were Anticipated by Nikolai Vasiliev? Logical Invest 19:122–135, 2013.)

Keywords

Nikolai Vasiliev Imaginary logic Syllogistic Logic of n dimensions Many-valued logic Intensional logic 

References

  1. Kostiouk, T. P. (2000). N.A. Vasiliev’s N dimensional logic: Modern reconstruction. Logical Investigations, 7, 261–268 (in Russian).Google Scholar
  2. Kostiouk, T. P., & Markin, V. I. (1997). Formal reconstruction of the assertoric syllogistic of N.A. Vasiliev. Modern Logic, 7, (3/4), 315–320.Google Scholar
  3. Kostiouk, T. P., & Markin, V. I. (1998). Formal reconstruction of imaginary logic of N.A. Vasiliev. Modern logic: Theory, history and applications in science (Proceedings of V Russian Scientific Conference, pp. 154–159). St. Petersburg: Publishing House of St. Petersburg State University (in Russian).Google Scholar
  4. Markin, V. I. (2000). Embedding of N.A. Vasiliev’s imaginary logic into quantified three-valued logic. Logical Investigations, 7, 252–260. (in Russian).Google Scholar
  5. Markin, V. I. (2011). Singular extensions of Łukasiewicz’ syllogistic. Logical Investigations. 17, 173–190 (in Russian).Google Scholar
  6. Markin, V. I., & Zaitsev, D. V. (2002). Imaginary logic-2: formal reconstruction of the unnoticed Nikolai Vasiliev’s logical system. Logique et Analyse, 177–178, 39–54.Google Scholar
  7. Smirnov, V. A. (1989). The logical ideas of N.A. Vasiliev and modern logic. In Logic, methodology and philosophy of science VIII (Studies in logic and the foundations of mathematics, Vol. 126, pp. 625–640). Amsterdam: Elsevier Science Publishers B.V.Google Scholar
  8. Vasiliev, N. A. (1989). Imaginary logic. Selected works. Moscow: Nauka (in Russian).Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Lomonosov Moscow State UniversityMoscowRussian Federation

Personalised recommendations