Modern reconstruction of Vasiliev's logical systems
pp. 83-95
in: Vladimir Markin, Dmitry Zaitsev (eds), The logical legacy of Nikolai Vasiliev and modern logic, Berlin, Springer, 2017Abstract
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.)
