Abstract
The first half of the twentieth century was marked by the simultaneous development of logic and mathematics. Logic offered the necessary means to justify the foundations of mathematics and to solve the crisis that arose in mathematics in the early twentieth century. In European science in the late nineteenth century, the ideas of symbolic logic, based on the works of J. Bull, S. Jevons and continued by C. Pierce in the United States and E. Schroeder in Germany were getting popular. The works by G. Frege and B. Russell should be considered more progressive towards the development of mathematical logic. The perspective of mathematical logic in solving the crisis of mathematics in Ukraine was noticed by Professor of Mathematics of Novorossiysk (Odesa) University Ivan Vladislavovich Sleshynsky. Sleshynsky (1854 –1931) is a Doctor of Mathematical Sciences (1893), Professor (1898) of Novorossiysk (Odesa) University. After studying at the University for two years he was a Fellow at the Department of Mathematics of Novorossiysk University, defended his master’s thesis and was sent to a scientific internship in Berlin (1881–1882), where he listened to the lectures by K. Weierstrass, L. Kronecker, E. Kummer, G. Bruns. Under the direction of K. Weierstrass he prepared a doctoral dissertation for defense. He returned to his native university in 1882, and at the same time he was a teacher of mathematics in the seminary (1882–1886), Odesa high schools (1882–1892), and taught mathematics at the Odesa Higher Women’s Courses. Having considerable achievements in the field of mathematics, in particular, Pringsheim’s Theorem (1889) proved by Sleshinsky on the conditions of convergence of continuous fractions, I. Sleshynsky drew attention to a new direction of logical science. The most significant work for the development of national mathematical logic is the translation by I. Sleshynsky from the French language “Algebra of Logic” by L. Couturat (1909). Among the most famous students of I. Sleshynsky, who studied and worked at Novorossiysk University and influenced the development of mathematical logic, one should mention E. Bunitsky and S. Shatunovsky. The second period of scientific work of I. Sleshynsky is connected with Poland. In 1911 he was invited to teach mathematical disciplines at Jagiellonian University and focused on mathematical logic. I. Sleshynsky’s report “On Traditional Logic”, delivered at the meeting of the Philosophical Society in Krakow. He developed the common belief among mathematicians that logic was not necessary for mathematics. His own experience of teaching one of the most difficult topics in higher mathematics – differential calculus, pushed him to explore logic, since the requirement of perfect mathematical proof required this. In one of his further works of this period, he noted the promising development of mathematical logic and its importance for mathematics. He claimed that for the mathematics of future he needed a new logic, which he saw in the “Principles of Mathematics” by A. Whitehead and B. Russell. Works on mathematical logic by I. Sleszynski prompted many of his students in Poland to undertake in-depth studies in this field, including T. Kotarbiński, S. Jaśkowski, V. Boreyko, and S. Zaremba. Thanks to S. Zaremba, I. Sleshynsky managed to complete the long-planned concept, a two-volume work “Theory of Proof” (1925–1929), the basis of which were lectures of Professor. The crisis period in mathematics of the early twentieth century, marked by the search for greater clarity in the very foundations of mathematical reasoning, led to the transition from the study of mathematical objects to the study of structures. The most successful means of doing this were proposed by mathematical logic. Thanks to Professor I. Sleshynsky, who succeeded in making Novorossiysk (Odesa) University a center of popularization of mathematical logic in the beginning of the twentieth century the ideas of mathematical logic in scientific environment became more popular. However, historical events prevented the ideas of mathematical logic in the domestic scientific space from the further development.