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

Конструктивті логика (лат.constructio - құру) -  математикалық логикадағы бағыт. Конструктивті логиканың даму барысы Л. Брауэрдің, Г. Вейльдің, А. Гейтингтің еңбектерінен басталады. Конструктивті логиканың негізгі мұраты шекті жиындар  үшін дұрыс принциптерді (мысалы, бүтіннің бөлшектен үлкендігі туралы ереже, үшіншіні жоққа шығару заңы) шексіз жиындарға көшіруді тыюдан тұрады. Шексіздік ұғымына классикалық және Конструктивті логиканың көзқарастары әр түрлі: біріншісі шексіздікті көкейкесті, аяқталған деп, екіншісі - потенциалды,қалыптасушы деп қарастырады. Конструктивті логикаға сондай-ақ объектілер мен жалпы логикалық-математикалық теориялардың индуктивті құрылымы (конструкциялау) тән. Қазіргі математикалық логика мен математиканың негізгі нәтижелеріне Конструктивті логиканың принциптері тұрғысынан қайта қарауға әрекет жасалуда. Конструктивті логиканың дамуына Гедель, С. Клини, Тьюринг, А. Н. Колмогоров, А. А. Марков, Н. А. Шанин үлкен үлес қосты.
 Дереккөздер 
"Қазақ энциклопедиясы" - Философиялық сөздік