Platon Poretsky

Platon Sergeevich Poretsky (Платон Серге́евич Порецкий; 3 October 1846 in Elisavetgrad, Russian Empire – 9 August 1907 in Gorodnyansky Uyezd, Chernigov Governorate, Russian Empire) was a noted Russian Imperial astronomer, mathematician, and logician.

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). He discovered Poretsky's law of forms and gave the first general treatment of antecedent and consequent Boolean reasoning, laying the groundwork for Archie Blake's work on the Blake canonical form.