Graduated from Kharkov University, he worked in Astrakhan and Pulkovo in St. Petersburg.
Later, as an astronomer at Kazan University, following the advice of his older colleague Professor of Mathematics A. V. Vasiliev at Kazan University (father of Nicolai A. Vasiliev) to learn the works of George Boole, Poretsky developed "logical calculus" and through specific "logical equations" applied it to the theory of probability.
Thus, he extended and augmented the works of logicians and mathematicians George Boole, William Stanley Jevons and Ernst Schröder (known as Boole–Jevons–Schröder–Poretsky method).
[1] He discovered Poretsky's law of forms[2] and gave the first general treatment of antecedent and consequent Boolean reasoning,[3][4] laying the groundwork for Archie Blake's work on the Blake canonical form.
You can help Wikipedia by expanding it.This article about a Russian mathematician is a stub.