Skip to main content
SpringerLink
Log in

N.A. Vasil’ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

Here we suggest a formal using of N.A. Vasil’ev’s logical ideas in categorical logic: the idea of “accidental” assertion is formalized with topoi and the idea of the notion of nonclassical negation, that is not based on incompatibility, is formalized in special cases of monoidal categories. For these cases, the variant of the law of “excluded n-th” suggested by Vasil’ev instead of the tertium non datur is obtained in some special cases of these categories. The paraconsistent law suggested by Vasil’ev is also demonstrated with linear and tensor logics but in a form weaker than he supposed. As we have, in fact, many truth-values in linear logic and topos logic, the admissibility of the traditional notion of inference in the categorical interpretation of linear and intuitionistic proof theory is discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Arruda, A.J.: On the imaginary logic of N.A. Vasiliev. In: Proceedings of Fourth Latin–American Symposium of Mathematical Logic. pp. 1–41. North-Holland (1979)

  2. Cockett J.R.B., Seely R.A.G.: Weakly distributiv categories. J. Pure Appl. Algebra 114(2), 133–173 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  3. Girard J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  4. Goldblatt R.: Topoi. The Categorical Analysis of Logic. North-Holland Publishing Company, Amsterdam (1979)

    MATH  Google Scholar 

  5. Johnstone P.T.: Topos Theory. Academic Press, London (1977)

    MATH  Google Scholar 

  6. Kostyuk, T.P., Markin, V.I.: The formal reconsruction of N.A. Vasil’ev’s imaginary logic. // the modern logic: the problems of theory, history and application in science. In: Proceedings of the V-th Russian Scintific Conference. S-PbSU Publ., S.-Pb. pp. 154–159 (1998)

  7. Lafont, Y.: Linear logic pages. http://iml.univ-mrs.fr/~lafont/linear/ Accessed date 07.12.2015

  8. Legovih, Y.S., Maximov, D.Y.: Decision choice problem in self-organizing control systems. Control Sci. 3:18–26 (2013)

  9. Markin, V.I.: The immersion of N.A. Vasil’ev’s imaginary logic into quantor three-valued Logic. // logical investigations. Vol. 7, pp. 252–260. Nauka, Moskow (2000)

  10. Maximov, D.Y.: System hierarchy reconfiguring by the methods of many-valued logic. Autom. Remote Control, in print (2016)

  11. Maximov, D.Y.: Logic of N.A. Vasil’ev and many-valued logics. Log. Investig. under review

  12. Maximov, D.Y.: Logic of N.A. Vasil’ev and the problem of future accidental events. Log. Investig. under review

  13. Mellies, P.-A.: Categorical semantics of linear logic. In: Interactive models of computation and program behaviour, Panoramas et Syntheses, Societe Mathematique de France (2009)

  14. Mellies P.-A., Tabareau N.: Resource modalities in tensor logic. Ann. Pure Appl. Logic 161(5), 632–653 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  15. Mortensen C.: Inconsistent mathematics: Some philosophical implications // handbook of the philosophy of science, Vol. philosophy of mathematics, pp. 631–649. Elsevier, New York (2009)

  16. Schalk, A.: What is a categorical model for linear logic? University of Manchester, October 2004, 26 p., Notes available on the author’s web page

  17. Smirnov, V.A.: The logic ideas of N.A. Vasil’ev and the modern logic. Imaginary logic. Selected works, pp. 229–260. Nauka, Moscow, (1989)

  18. Vasil’ev, N.A.: About partiqular propositions, the triangle of contrariety and a law of excluded 4-th. Kazan’ Univ. Sci. Notes 10(77):1–47 (1910).

  19. Vasil’ev, N.A.: Imaginary logic. Selected works, Nauka, Moscow., 1989, 12–53.

  20. Vasil’ev, N.A.: Imaginary (non-aristotelian) logic. J. Natl. Enlight. Minist. (N.S. 1912) August 40:207–246

  21. Vasil’ev, N.A.: Imaginary logic. Selected works, Nauka, Moscow., 1989, 53–94).

  22. Vasil’ev, N.A.: Logic and metalogic. Logos 1–2:53–81 (1912–1913).

  23. Vasil’ev, N.A.: Imaginary logic. Selected works, Nauka, Moscow., 1989, 94–123).

  24. Zaitsev, D.V., Markin, V.I.: Imaginary logic–2: The reconstruction of the famouse logic system of N.A. Vasil’ev one of the variants. // In: Proceedings of the Scientific Seminar of Philosophy Institut of RAS Logic Center 1998, pp. 134–142. IPh RAS Publication, Moskow (1999)

Download references

Author information

Authors and Affiliations

  1. Trapeznikov Institute of Control Research of RAS, Profsoyuznaya 65, 117997, Moscow, Russia

    D. Y. Maximov

Authors
  1. D. Y. Maximov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. Y. Maximov.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Maximov, D.Y. N.A. Vasil’ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic. Log. Univers. 10, 21–43 (2016). https://doi.org/10.1007/s11787-015-0134-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-015-0134-8

Mathematics Subject Classification

Keywords

Search

Navigation