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.)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kostiouk, T. P. (2000). N.A. Vasiliev’s N dimensional logic: Modern reconstruction. Logical Investigations, 7, 261–268 (in Russian).
Kostiouk, T. P., & Markin, V. I. (1997). Formal reconstruction of the assertoric syllogistic of N.A. Vasiliev. Modern Logic, 7, (3/4), 315–320.
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).
Markin, V. I. (2000). Embedding of N.A. Vasiliev’s imaginary logic into quantified three-valued logic. Logical Investigations, 7, 252–260. (in Russian).
Markin, V. I. (2011). Singular extensions of Łukasiewicz’ syllogistic. Logical Investigations. 17, 173–190 (in Russian).
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.
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.
Vasiliev, N. A. (1989). Imaginary logic. Selected works. Moscow: Nauka (in Russian).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Markin, V. (2017). Modern Reconstruction of Vasiliev’s Logical Systems. In: Markin, V., Zaitsev, D. (eds) The Logical Legacy of Nikolai Vasiliev and Modern Logic. Synthese Library, vol 387. Springer, Cham. https://doi.org/10.1007/978-3-319-66162-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-66162-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66160-5
Online ISBN: 978-3-319-66162-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)