In February 1992, T Ivanovic, working with the author in the archives at Kazan University, discovered new material relating to the life and work of the logician P S Poretsky (1846-1907). These include: various documents related to Poretsky's lectures on mathematical logic for mathematics department students at Kazan University which were intended to be given for three semesters in the autumn of 1887 and all of 1888 but were delivered only during the 1888 Spring semester, a complete mathematical logic program compiled by Poretsky, materials related to Poretsky's father and family, Poretsky's Magister's (master's) dissertation and the decision of the physics-mathematics faculty council to award him the doctorate in astronomy rather than the Magister, a complete list of the sources he used (including Boole, Jevons, Schröder, and Peano), biographical data and materials regarding his illness and subsequent dismissal from Kazan University.We incorporate some information discovered by Bazhanov in the biographical details of Poretsky that we give below.
Platon Sergeevich Poretsky attended Poltava Gymnasium and, after graduating, he entered the Physical-Mathematical Faculty of Kharkov University. He graduated in 1870 with a Candidates Degree and, at the suggestion of Ivan Ivanovich Fedorenko (1827-1888) the Professor of Astronomy, he worked as an astronomer and observer at Kharkov Observatory from 1871 to 1874. Then he worked at the observatories in Astrakhan, Pulkovo, and, finally, from May 1876 at Kazan Observatory where :-
... he conducted observations of stars in the Kazan zone according to the program of the International Astronomical Society.On 25 May 1886 Poretsky defended his thesis for a master's degree in astronomy, entitled "On the solution of some of the normal systems occurring in spherical astronomy, with an application to identify errors in the division of the Kazan Observatory meridian circle" which he had submitted to the Physical-Mathematical Faculty of Kazan University :-
... the theoretical portion of [Poretsky's thesis] dealt with reducing the number of unknowns and equations for certain systems of cyclic equations that occur in practical astronomy.Dmitry Ivanovich Dubyago (1849-1918) had been appointed full professor and Director of the Observatory in Kazan in 1884. He reviewed Poretsky's thesis, giving it the highest grade. The members of the examining panel also noted that the thesis was of the highest level. As a consequence, the Board of the Faculty "because of its outstanding merit" decided to recommend the award of the degree of Doctor of Astronomy instead of the Master's Degree for which the thesis had been submitted. On 31 May 1886 the decision of the Board was approved by the Council of Kazan University and on 31 December 1886 Poretsky was promoted to a Privatdozent. However, the award of the doctorate was not made until Poretsky, because of ill health, filed his resignation on 4 March 1889. This seems to have prompted action from the University for on 12 March 1889 the University issued the doctoral diploma, signed by the University President, the Dean and the Secretary the Physical-Mathematical Faculty. Poretsky received his doctorate on 5 April. During his years at Kazan, Poretsky took a full part in the Kazan Physical-Mathematical Society :-
From 1882 to 1888 Poretsky was secretary and treasurer of the Physical-Mathematical Section of the Kazan Society of Natural Science, supervising the publication of its Proceedings; for several years he edited a liberal newspaper, 'Kazansky telegraf', sometimes publishing in it his translations of Pierre Béranger's poems.Poretsky became interested in logic through Alexander V Vasiliev soon after arriving in Kazan in 1876. Vasiliev was a prominent mathematician, the founder of the Kazan Physical-Mathematical Society and its first Chairman. He spent his life writing about Nikolai Ivanovich Lobachevsky who had been a friend of Vasiliev's grandfather. In session 1887-1888, Poretsky lectured on mathematical logic, the first time that such a course had been given in Russia. Vasiliev, reporting on Poretsky's course, wrote (see ):-
I think teaching mathematical logic is very useful ... Mathematical logic is a branch of the general science of operations, and in this respect deserves attention from mathematicians. This is the reason that this branch of knowledge was developed by mathematicians such as George Boole, Ernst Schröder, Hermann Grassmann, Charles S Peirce and others ... The basic concepts of mathematical logic to a great extent clarifies the fundamental theorems of mathematical theory.Poretsky worked on mathematical logic for the rest of his life, extending and augmenting results of George Boole, Stanley Jevons, Ernst Schröder and John Venn :-
In papers published from 1880 to 1908, Poretsky systematically studied and solved many problems of the logic of classes and of propositions. He developed an original system of axioms of logical calculus and proposed a very convenient mode of determining all the conclusions that are deducible from a given logical premise, and of determining all possible logical hypotheses from which given conclusions may be deduced.He published major works on methods of solution of logical equations, and on the reverse mode of mathematical logic. He applied his logic calculus to the theory of probability. Although he retired from his teaching role at Kazan in 1889 due to ill health, this did not mean that he stopped his research. He continued to undertake research into mathematical logic for the remaining eighteen years of his life.
We end this short biography by quoting from :-
Scientists in Russia and the Soviet Union made a significant contribution to the development of mathematical logic - both its classical and non-classical areas. It is worth remembering, for example, the names of: A N Kolmogorov, I I Zhegalkin, M I Sheynfinkelya, V I Shestakova, P S Novikov, A I Malcev, V Matiyasevich etc. all contributors to the classical areas of the subject; N A Vasilyeva, I E Orlov, V I Glivenko, A A Markov, D A Bochvara, etc. all contributors to the non-classical areas of the subject. Of course, the separation of logic into "classical" and "non-classical" is quite arbitrary. Thus, A N Kolmogorov left outstanding results in both the classical and the non-classical areas of modern logic. But who in Russia was the pioneer of mathematical logic? ... In the annals of history his name is clearly spelled out - Platon Sergeevich Poretsky. He was the first in Russia not only to be engaged in research on mathematical logic, and the first to deliver a course on mathematical logic (the Kazan University), but also achieved - thanks to his understanding of the subject and his development of original methods - word-wide visibility and recognition.
Article by: J J O'Connor and E F Robertson