Конструктивная логика

Конструкти́вная логика

Логика, развиваемая в соответствии с принципами т. н. конструктивного направления (См. Конструктивное направление), отличающимися требованием конструктивности (возможности эффективного построения) объектов, существование которых утверждается в высказываниях (предложениях). См. Конструктивные объекты.

Лит. см. при ст. Логика.