konstruktyvióji lògika, plėtojama pagal vadinamosios konstruktyviosios krypties principą, reikalaujantį, kad loginiuose ir matematiniuose teiginiuose aptariamus objektus būtų galima efektyviai sukurti (konstruktyvieji objektai). Svarbiausi atstovai: L. Broweris, A. Heytingas, P. Lorenzenas, A. Kolmogorovas, A. Markovas, N. Šaninas. Konstruktyviojoje logikoje neleidžiama begalinėms aibėms taikyti principus, teisingus baigtinėms aibėms. Konstruktyviosios logikos kryptys skiriamos pagal loginių ir matematinių objektų egzistavimo sampratą, pagal priimtas konstravimo operacijų sistemas. Konstruktyvioji logika tapatinama su intuicionistine logika arba teigiama, kad ji yra intuicionistinės logikos išplėtimas.
314