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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.