ЛОГИКА КОНСТРУКТИВНАЯ
Logic, Constructive
A trend in mathematical logic. Constructive Logic derives from the intuitionist school, though it is not connected with philosophical intuitionism. It was first propounded in the works of L. Brouwer, H. Weyl, and A. Heyting. The central concept of Constructive Logic is the impermissibility of extending to infinite numbers the principles valid for finite numbers (see Numbers, Theory of), such as the principle that the whole is greater than its parts, the law of the excluded middle, etc.
Traditional logic and Constructive Logic differ in their views of the concept of infinity: the former considers it as actual, completed, whereas the latter sees it as potential, becoming (see Infinity, Real and Potential). Characteristic of Constructive Logic is the inductive construction of objects. The principles of Constructive Logic are used in attempts to revise the principal results of modern mathematical logic and mathematics. Such Soviet scientists as A. N. Kolmogorov, A. A. Markov, and P. S. Novikov, have made notable contributions to the development of Constructive Logic.
Конструктивная логика
Логика, развиваемая в соответствии с принципами т. н. конструктивного направления, отличающимися требованием конструктивности (возможности эффективного построения) объектов, существование которых утверждается в высказываниях (предложениях). См. Конструктивные объекты.
Лит. см. при ст. Логика.