Bolesław (1906-80)
logik, zaliczany do szkoły lwowsko-warszawskiej, prof. kat. uniw. w Notre Dame (Indiana, USA); 1959 zał. pismo "Notre Dame Journal of Formal Logic"; rozwinął systemy log. sformułowane przez S. Leśniewskiego, a także aksjomatykę rachunku zdania dwu- i wielowartościowego, ogólną teorię systemów dedukcyjnych i in.
- SOBOCIŃSKI, Witold (ur. 1929)
- SOBOCIŃSKI, Piotr (1958–2001)
- SOBIESŁAW, Pochodzenia starosłowiańskiego,...