Abstract
The subject of this paper is a constructive mathematical logic, i.e. a logic suitable for constructive mathematics. Constructive mathematics differs radically from classical mathematics in the understanding of existence and disjunction. We say in constructive mathematics that there exists an object satisfying some condition iff we possess a construction of such an object. We say that the disjunction ‘A or B’ takes place (A and B are propositions) iff we possess a construction of a true proposition which coincides either with A or with B. Whatever might be the classical understanding of existence and disjunction, it differs from the constructive one inasmuch as such constructions are not needed according to the classicist’s point of view.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
Kanovich, M. I.: 1974, On an Extension of the Stairwise Semantical System of A. A. Markov. Algorithm Theory and Mathematical Logic, Comp. Center Akad. Nauk SSSR (in Russ.), pp. 62-70.
Markov, A. A.: 1974a, ‘On the Language Я0’, Dokl Akad. Nauk SSSR, 214, No. 1, English translation Soviet Math. Dokl. 15, 1974, No. 1.
Markov, A. A.: 1974b, ‘On the Language Я0’ Dokl. Akad. Nauk SSSR, 214, No. 2, English translation Soviet Math. Dokl. 15, 1974, No. 1.
Markov, A. A.: 1974c, ‘On the Language Я0’, Dokl Akad. Nauk SSSR, 214, No. 3, English translation Soviet Math. Dokl. 15, 1974, No. 1.
Markov, A. A.: 1974d, ‘On the Language Я0’, Dokl. Akad. Nauk SSSR, 214, No. 4, English translation Soviet Math. Dokl. 15, 1974, No. 1.
Markov, A. A.: 1974e, ‘On the Languages Я4 Я5,…’, Dokl Akad. Nauk SSSR, 214, No. 5, English translation Soviet Math. Dokl 15, 1974, No. 1.
Markov, A. A.: 1974f, ‘On the Language Яω’, Dokl Akad. Nauk SSSR, 214, No. 6, English translation Soviet Math. Dokl. 15, 1974, No. 1.
Markov, A. A.: 1974g, ‘On the Language Яω+1’, Dokl. Akad. Nauk SSSR, 215, No. 1, English translation Soviet Math. Dokl. 15, 1974, No. 2.
Markov, A. A.: 1974h, ‘On the Completeness of the Classical Predicate Calculus in Constructive Mathematical Logic’, Dokl. Akad. Nauk SSSR 215, No. 2, English translation Soviet Math. Dokl 15, 1974, No. 2.
Shanin, N. A.: 1958, ‘On Constructive Understanding of Mathematical Judgements’, Trudy Math. Inst. V. A. Steklov 52, 226-311. (In Russian.)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Markov, A.A. (1977). On a Semantical Language Hierarchy in a Constructive Mathematical Logic. In: Butts, R.E., Hintikka, J. (eds) Logic, Foundations of Mathematics, and Computability Theory. The University of Western Ontario Series in Philosophy of Science, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1138-9_16
Download citation
DOI: https://doi.org/10.1007/978-94-010-1138-9_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1140-2
Online ISBN: 978-94-010-1138-9
eBook Packages: Springer Book Archive