View source for Platon Poretsky

{{more citations needed|date=December 2018}}
{{use dmy dates|date=May 2023|cs1-dates=y}}
{{use list-defined references|date=May 2023}}
[[File:Platon Poretsky.jpg|thumb|Platon Poretsky]]
'''Platon Sergeevich Poretsky''' ({{langx|ru|Платон Серге́евич Порецкий}}; 3 October 1846 in [[Kirovohrad|Elisavetgrad]], [[Russian Empire]] – 9 August 1907 in [[Gorodnyansky Uyezd]], [[Chernigov Governorate]], Russian Empire) was a noted [[Russians|Russian]] Imperial [[astronomer]], [[mathematician]], and [[logician]].

Graduated from [[Kharkov University]], he worked in [[Astrakhan]] and [[Pulkovo Observatory|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]]. {{anchor|BJSP}}Thus, he extended and augmented the works of logicians and mathematicians George Boole, [[William Stanley Jevons]] and [[Ernst Schröder (mathematician)|Ernst Schröder]] (known as Boole–Jevons–Schröder–Poretsky method).<ref name="Brusentsov-Vladimirova_1998"/> He discovered [[Poretsky's law of forms]]<ref name="Poretsky_1884"/> and gave the first general treatment of antecedent and consequent Boolean reasoning,<ref name="Poretsky_1898"/><ref name="Brown_2012"/> laying the groundwork for [[Archie Blake (mathematician)|Archie Blake]]'s work on the [[Blake canonical form]].{{Dubious|date=December 2023|reason=Poretsky did fundamental work in logic, but F.M. Brown's cited book does not claim that he laid the groundwork for the complete sum of prime implicants}}

==References==
{{Reflist|refs=
<ref name="Poretsky_1884">{{cite journal |script-title=ru:О способах решения логических равенств и об обратном способе |title=O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki |language=ru |trans-title=On methods of solving logical equalities and the inverse method of mathematical logic. An essay in construction of a complete and accessible theory of deduction on qualitative forms |author-first=Platon Sergeevich |author-last=Poretsky |author-link=Platon Sergeevich Poretsky |journal=Collected Reports of Meetings of Physical and Mathematical Sciences Section of Naturalists' Society of Kazan University |issue<!-- or volume? -->=2 |date=1884}} (NB. This publication is also referred to as "On methods of solution of logical equalities and on inverse method of mathematical logic".)</ref>
<ref name="Poretsky_1898">{{cite journal |author-first=Platon Sergeevich |author-last=Poretsky |author-link=Platon Sergeevich Poretsky |title=Sept lois fondamentales de la théorie des égalités logiques à deux termes |language=fr |trans-title= |journal=Bulletin de la Société Physico-Mathématique de Kasan |volume=2 |issue=8 |pages=33–103, 129–181, 183–216 |date=1898}}</ref>
<ref name="Brown_2012">{{cite book |title=Boolean Reasoning - The Logic of Boolean Equations |chapter=Chapter 3: The Blake Canonical Form |author-first=Frank Markham |author-last=Brown |author-link=:d:Q112500339 |edition=<!-- 2012 -->reissue of 2nd |publisher=[[Dover Publications, Inc.]] |location=Mineola, New York |date=2012 |orig-date=2003, 1990 |isbn=978-0-486-42785-0 |page=77}} [<!-- 1st edition -->http://www2.fiit.stuba.sk/~kvasnicka/Free%20books/Brown_Boolean%20Reasoning.pdf<!-- https://web.archive.org/web/20170416231752/http://www2.fiit.stuba.sk/~kvasnicka/Free%20books/Brown_Boolean%20Reasoning.pdf -->]</ref>
<ref name="Brusentsov-Vladimirova_1998">{{cite journal |title=Solution of Boolean equations |author-first1=Nikolay Petrovich |author-last1=Brusentsov |author-first2=Julia Sergeevna |author-last2=Vladimirova |journal=Computational Mathematics and Modeling<!-- [[Comput Math Model]] --> |date=October 1998 |volume=9 |issue=4 |doi=10.1007/BF02409862 |pages=287–295|s2cid=122112834 }} (Translated from "Metody Matematicheskogo Modelirovaniya", 1998, pp. 59–68.)</ref>
}}

==Further reading==
* Styazhkin, Nicholai Ivanovich. ''History of Mathematical Logic from Leibniz to Peano''. Cambridge, Mass./ London, MIT Press, 1969.
* [[Valentin A. Bazhanov|Bazhanov, Valentin A.]] New Archival Materials, Concerning P. S. Poretsky. In: Modern Logic, 1992, vol. 3. N 1. pp.&nbsp;80–81.
* [[Valentin A. Bazhanov|Bazhanov, Valentin A.]] [https://web.archive.org/web/20120215231213/http://staff.ulsu.ru/bazhanov/russian/Poretsky.pdf ''Life and Academic Work of Mathematical Logic Research Pioneer in Russia P. S. Poretsky'']. In: Voprosy Istorii Estestvoznania i Tekhniki, 2005, N 4. pp.&nbsp;64–73 (in Russian).
* [[Valentin A. Bazhanov|Bazhanov, Valentin A.]] ''History of Logic in Russia and the USSR''. Moscow, [[Kanon+]], 2007 (in Russian). {{ISBN|5-88373-032-9}}

==External links==
* [https://mathshistory.st-andrews.ac.uk/Biographies/Poretsky Platon Poretsky] at the [[MacTutor History of Mathematics archive]]
* S. L. Katrechko, [https://web.archive.org/web/20060831212649/http://www.philosophy.ru/library/ksl/kate003.html Platon Sergeevich Poretskij]

{{Authority control}}

{{DEFAULTSORT:Poretsky, Platon}}
[[Category:19th-century astronomers from the Russian Empire]]
[[Category:19th-century mathematicians from the Russian Empire]]
[[Category:Academic staff of Kazan Federal University]]
[[Category:Scientists from Kropyvnytskyi]]
[[Category:National University of Kharkiv alumni]]
[[Category:People from the Russian Empire of Ukrainian descent]]
[[Category:1846 births]]
[[Category:1907 deaths]]
[[Category:20th-century Russian astronomers]]


{{Russia-bio-stub}}
{{Russia-mathematician-stub}}