Jesteśmy społecznością, która kocha książki

Polski matematyk, logik i filozof analityczny, profesor Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.
W 1933 rozpoczął studia na Uniwersytecie Jana Kazimierza we Lwowie. Na wykłady uczęszczał do Kazimierza Ajdukiewicza, Romana Ingardena, Mieczysława Kreutza. Przerwał studia z powodu długotrwałej choroby.
Po zakończeniu II wojny światowej wysiedlony ze Lwowa w akcji ekspatriacyjnej Polaków. Osiadł w Krakowie gdzie ukończył studia na Uniwersytecie Jagiellońskim (1946). Od 1948 związany z Uniwersytetem Wrocławskim - pracownik od 1948, w 1950 doktorat, w 1960 habilitacja, w 1973 tytuł profesora nadzwyczajnego. Od 1975 związany z Katolickim Uniwersytetem Lubelskim: w latach 1975-1985 (do emerytury) kierownik Katedry Logiki, w 1980 uzyskał tytuł profesora zwyczajnego z zakresu logiki, zajęcia prowadził do 1990.
W pracy naukowej zajmował się rachunkiem logicznym, kwantyfikatorowym, teorią definicji, teorią konsekwencji, filozoficzną konsekwencją wyników logiki.
Członek Wrocławskiego Towarzystwa Filozoficznego, Polskiego Towarzystwa Filozoficznego, Polskiego Towarzystwa Matematycznego, Towarzystwa Naukowego KUL.http://nauka-polska.pl/#/profile/scientist?id=61909&_k=6ffpt1