Sobociński Bolesław, ur. 28 VI 1906, Petersburg, zm. 31 X 1980, South Bend,
logik;
Sobociński Bolesław
Encyklopedia PWN
przedstawiciel szkoły lwowsko-warszawskiej; po II wojnie światowej w USA, profesor katolickiego uniwersytetu w Notre Dame, w stanie Indiana; 1959 założył pismo „Notre Dame Journal of Formal Logic”; autor oryginalnych prac dotyczących aksjomatyki dwuwartościowego i wielowartościowego rachunku zdań, ogólnej teorii systemów dedukcyjnych, logiki modalnej i intuicjonistycznej; w USA rozwijał wraz z uczniami systemy logiczne sformułowane przez S. Leśniewskiego; niektóre wcześniejsze prace opublikowane w Polish Logic 1920–1939 (1967, wstęp T. Kotarbiński).
