This article needs additional citations for verification. (December 2018)
Platon Sergeevich Poretsky (Russian: Платон Серге́евич Порецкий; October 3, 1846 in Elisavetgrad, Russian Empire – August 9, 1907 in Gorodnyansky Uyezd, Chernigov Governorate, Russian Empire) was a noted Russian Imperial astronomer, mathematician, and logician.
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. 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.
- Platon Poretsky, "Sept lois fondamentales de la théorie des égalités logiques", Bulletin de la Société Physico-Mathématique de Kasan, 2:8:33–103, 129–181, 183–216, 1898, as cited in Frank Markham Brown, Boolean Reasoning: The Logic of Boolean Equations, 2nd edition, 2003, p. 77
- Styazhkin, N.I. History of Mathematical Logic from Leibniz to Peano. Cambridge, Mass./ London, MIT Press, 1969.
- Bazhanov, V.A. New Archival Materials, Concerning P.S. Poretsky. In: Modern Logic, 1992, vol. 3. N 1. pp. 80–81.
- Bazhanov, V.A. Life and Academic Work of Mathematical Logic Research Pioneer in Russia P.S. Poretsky. In: Voprosy Istorii Estestvoznania i Tekhniki, 2005, N 4. pp. 64–73 (in Russian).
- Bazhanov, V.A. History of Logic in Russia and the USSR. Moscow, Kanon+, 2007 (in Russian). ISBN 5-88373-032-9
- Platon Poretsky at the MacTutor History of Mathematics archive
- S.L. Katrechko, Platon Sergeevich Poretskij