Verbum

КА́РНАП ((Carnap) Рудольф) (18.5.1891, г. Вуперталь, Германія — 14.9.1970),

нямецка-амерыканскі філосаф і логік, вядучы прадстаўнік лагічнага пазітывізму і філасофіі навукі. Удзельнік Венскага гуртка і распрацоўкі ідэй лагічнага эмпірызму. Працаваў ва ун-тах Еўропы, у 1936—52 у Чыкагскім, Каліфарнійскім ун-тах. Распрацоўваў пераважна фармалізаваную тэорыю індуктыўнай, семантычнай і мадальнай логік. Прадметам філасофіі навукі лічыў аналіз структуры прыродазнаўчанавук. ведаў з мэтай удакладнення асн. паняццяў навукі з дапамогай матэм. логікі. Філасофія, паводле К., складаецца з вытлумачэння зместу паняццяў часу і адначасовасці з’яў. У апошнія гады жыцця К. выказваўся на карысць існавання «неназіральных матэрыяльных аб’ектаў», фармуляваў сцвярджэнні, блізкія да прыродазнаўчанавук. матэрыяліст. традыцыі. Шэраг вынікаў, атрыманых К., выкарыстаны ў даследаваннях па кібернетыцы.

Тв.:

Рус. пер. — Значение и необходимость. М., 1959;

Философские основания физики: Введение в философию науки. М., 1971.

В.​М.​Пешкаў.

т. 8, с. 80

БУЛЬ ((Boole) Джордж) (2.11.1815, г. Лінкальн, Вялікабрытанія — 8.12.1864),

англійскі матэматык і логік; заснавальнік матэм. логікі. Праф. матэматыкі (1849) Куінс-каледжа ў Корку (Ірландыя). Спец. матэматычнай адукацыі не меў. У працах «Матэматычны аналіз логікі» (1847), «Логікавае злічэнне» (1848), «Даследаванне законаў мыслення» (1854) распрацаваў алгебру логікі. Імем Буля названы асобныя алг. сістэмы — булевы алгебры.

т. 3, с. 332

ГЁДЭЛЬ ((Gödel) Курт) (28.4.1906, г. Брно, Чэхія — 14.1.1978),

аўстрыйскі матэматык і логік. Чл. Нацыянальнай АН ЗША. У 1933—38 у Венскім ун-це. У 1940 эмігрыраваў у ЗША; з 1953 праф. Ін-та перспектыўных даследаванняў у Прынстане. Навук. працы па матэм. логіцы і тэорыі мностваў. Аўтар тэарэм Гёдэль пра непаўнату і паўнату.

Літ.:

Нагель Э., Ньюмен Д.Р. Теорема Гёделя: Пер. с англ. М., 1970.

т. 5, с. 211