Конструктивна логіка, логіка, що розвивається відповідно до принципів т.з. конструктивного напряму, що відрізняються вимогою конструктивності (можливості ефективної побудови) об'єктів, існування яких затверджується у висловах (пропозиціях). Див. Конструктивні об'єкти .
