|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Modern Reconstruction of Vasiliev’s Logical Systemsстатья
- Автор: Vladimir Markin
- Сборник: The Logical Legacy of Nikolai Vasiliev and Modern Logic
- Редакторы: Зайцев Дмитрий Владимирович, Маркин Владимир Ильич
- Серия: Synthese Library
- Том: 387
- Глава в коллективной монографии
- Год издания: 2017
- Место издания: Springer International Publishing
- Первая страница: 83
- Последняя страница: 95
- DOI: 10.1007/978-3-319-66162-9_7
- Аннотация: 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.
- Добавил в систему: Маркин Владимир Ильич