Skip to main content

On the paralogicality of some logical constructs

Abstract

Some mathematical definitions and constructs from the theory of computation are considered and are shown to be incorrect and inconsistent in some cases.

This is a preview of subscription content, access via your institution.

References

  1. G. Cantor, Studies in Set Theory [Russian translation], Nauka, Moscow (1985).

    Google Scholar 

  2. A. I. Maltsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).

    Google Scholar 

  3. R. M. Smullyan, Theory of Formal Systems [Russian translation], Nauka, Moscow (1981).

    MATH  Google Scholar 

  4. L. G. Antipenko, L. G. Antipenko, The Problem of Incompleteness of a Theory and Its Gnoseological Significance [in Russian], Nauka, Moscow (1986).

    Google Scholar 

  5. A. I. Provotar, “Incompleteness in a topos,” Cybernetics and Systems Analysis, No. 6, 132–141 (1996).

  6. V. K. Petrosyan, “The basic concept of the theory of foundations of harmonic arithmetics,” in: Infinity in Mathematics: Philosophical and Historical Aspects, Janus-K, Moscow (1997).

    Google Scholar 

  7. E. Mendelson, Introduction to Mathematical Logic [Russian translation], Nauka, Moscow (1976).

    Google Scholar 

  8. P. V. Vasilik and A. I. Provotar, “To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences),” Cybernetics and Systems Analysis, No. 4, 145–150 (2006).

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to A. I. Provotar.

Additional information

__________

Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 180–186, May–June 2008.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Vasilik, P.V., Provotar, A.I. On the paralogicality of some logical constructs. Cybern Syst Anal 44, 457–462 (2008). https://doi.org/10.1007/s10559-008-9014-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10559-008-9014-z

Keywords

  • axiomatic system
  • function
  • proof