Open AccessWhat trends in non-classical logic were anticipated by Nikolai Vasiliev?
Author(s) -
Владимир Ильич Маркин
Publication year - 2013
Publication title -
logičeskie issledovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2013-19-0-122-135
Subject(s) - sketch , paraconsistent logic , predicate logic , predicate (mathematical logic) , description logic , computer science , philosophy , epistemology , linguistics , artificial intelligence , higher order logic , algorithm , programming language
In this paper we discuss a question about the trends in non-classical logic that were exactly anticipated by Niko- lai Vasiliev. We show the influence of Vasiliev’s Imaginary logic on paraconsistent logic. Metatheoretical relations between Vasiliev’s logical systems and many-valued predicate logics are established. We also make clear that Vasiliev has developed a sketch of original system of intensional logic and expressed certain ideas of modal and temporal logics.