Platon Sergeevich Poretsky (Russian: Платон Серге́евич Порецкий; 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).[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.
References
- ↑ Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (October 1998). "Solution of Boolean equations". Computational Mathematics and Modeling. 9 (4): 287–295. doi:10.1007/BF02409862. S2CID 122112834. (Translated from "Metody Matematicheskogo Modelirovaniya", 1998, pp. 59–68.)
- ↑ Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki" О способах решения логических равенств и об обратном способе [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]. Collected Reports of Meetings of Physical and Mathematical Sciences Section of Naturalists' Society of Kazan University (in Russian) (2). (NB. This publication is also referred to as "On methods of solution of logical equalities and on inverse method of mathematical logic".)
- ↑ Poretsky, Platon Sergeevich (1898). "Sept lois fondamentales de la théorie des égalités logiques à deux termes". Bulletin de la Société Physico-Mathématique de Kasan (in French). 2 (8): 33–103, 129–181, 183–216.
- ↑ Brown, Frank Markham [at Wikidata] (2012) [2003, 1990]. "Chapter 3: The Blake Canonical Form". Boolean Reasoning - The Logic of Boolean Equations (reissue of 2nd ed.). Mineola, New York: Dover Publications, Inc. p. 77. ISBN 978-0-486-42785-0.
Further reading
- Styazhkin, Nicholai Ivanovich. History of Mathematical Logic from Leibniz to Peano. Cambridge, Mass./ London, MIT Press, 1969.
- Bazhanov, Valentin A. New Archival Materials, Concerning P. S. Poretsky. In: Modern Logic, 1992, vol. 3. N 1. pp. 80–81.
- Bazhanov, Valentin 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, Valentin A. History of Logic in Russia and the USSR. Moscow, Kanon+, 2007 (in Russian). ISBN 5-88373-032-9
External links
- Platon Poretsky at the MacTutor History of Mathematics archive
- S. L. Katrechko, Platon Sergeevich Poretskij