The Logical Legacy of Nikolai Vasiliev and Modern Logic

Softcover Nachdruck of the original 1. Auflage 2017
ISBN: 978-3-319-88189-8
Verlag: Springer International Publishing

Buch, Englisch, Band 387, 221 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 3577 g

Reihe: Synthese Library

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systemsof paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights.

Zielgruppe

Research

Autoren/Hrsg.

Zaitsev, Dmitry

Markin, Vladimir

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Geisteswissenschaften Philosophie Erkenntnistheorie

Inhaltsverzeichnis

Preface. D. Zaitsev, V. Markin.- Chapter 1. Nikolai A. Vasiliev, His Life and Imaginary Logic Legacy. Valentin A. Bazhanov.- Chapter 2. N.A. Vasiliev in the context of philosophical and methodological disputes of the early 20th century. Galina V. Sorina.- Chapter 3. Is Modern Logic Non-Aristotelian? Jean-Yves Beziau.- Chapter 4. Vasiliev and the Foundations of Logic. Otavio Bueno.- Chapter 5. Vasiliev's ideas for non-Aristotelian logics: insight towards paraconsistency. Itala Maria Loffredo D'Ottaviano, Evandro Luls Gomes.- Chapter 6. Epicurus, Vasil’ev and Aristotle on the law of the excluded third. Jose Verissimo Teixeira da Mata.- Chapter 7. Modern Reconstruction of Vasiliev's Logical Systems. Vladimir I. Markin.- Chapter 8. Nikolai Vasiliev's Imaginary Logic and Stable Meaning. Ivan B. Mikirtumov.- Chapter 9. Vasiliev and the Foundations of Logical Laws. Elena D. Smirnova.- Chapter 10. The Impact of N.A. Vasiliev's Imaginary Logic on Epistemic and Relevance Logic. Werner Stelzner.- Chapter 11. Generalized Vasiliev-style Propositions. Dmitry V. Zaitsev.- Chapter 12. Plurivalent Logics. Graham Priest.- Chapter 13. On sublogics in Vasil'ev fragment of the logic definable with A. Arruda's calculus V1. Vladimir M. Popov, Vasily O. Shangin.- Chapter 14. Vasiliev’s Clue to Mourdoukhay-Boltovskoy’s Hypersyllogistic. Vladimir L. Vasyukov.- Chapter 15. Experimenting with consistency. Juliana Bueno-Soler, Walter Carnielli.

Über Autor(innen)

Vladimir I. Markin - Head of the Department of Logic, Lomonosov Moscow State University, Moscow, Doctor of Science, logician, philosopher. His research interests focus on Syllogistics, Modal Logic and Logic of Time. He is the co-author of two logic textbooks and three books on Syllogistic and automated PROOF-Search.

Dmitry V. Zaitsev - Associate professor, Department of Logic, Lomonosov Moscow State University, Moscow, Doctor of Science. Research interests cover the areas of relevant logic, many-valued logic and argumentation theory.