Lógico polaco de origen ruso. Fue profesor de filosofía de la matemática en la Universidad de Varsovia. Entre sus trabajos sobre lógica matemática destaca la elaboración de un tipo de sistemas deductivos (mereología) y de un sistema ontológico axiomático, con los que trató de eludir la paradoja de Russell y otras desde un punto de vista no formalista
(Lyon, 1732-París, 1776) Dama francesa, hija natural de la condesa de Albon. Fue dama de compañía de Mme. Deffand. Su salón fue centro de reunión de numerosos enciclopedistas