(b. 22 January 1934, Miernów, Pińczów County)
From 1946 Batóg attended the Tadeusz Kościuszko State High School in Busko-Zdrój, passing the final examination in 1951. He then studied Polish at Adam Mickiewicz University, and gained his master’s degree in 1955. He completed a doctorate in the humanities in 1962 at the same university’s Faculty of Philosophy and History, under the supervision of Seweryna Łuszczewska-Romahnowa. He gained a habilitation degree in mathematics in 1968. He received the title of professor of the humanities in 1995. He worked at Adam Mickiewicz University from 1954 to 2004, first in a department studying the foundations of Marxism-Leninism (1954–1956), then in the Department of Logic in the Faculty of Philosophy and History (1956–1957), and finally in the Department of Logic (later Mathematical Logic) in the Faculty of Mathematics, Physics and Chemistry (becoming the Faculty of Mathematics and Physics and the Faculty of Mathematics and Computer Science). He was head of that department in the years 1974–1996. He was also vice-director of the university’s Institute of Mathematics from 1975 to 1981. His research interests include applications of mathematical logic and set theory to theoretical linguistics, as well as the methodology of science, the history of logic, the philosophy of mathematics, and the history of philosophy. He has published approximately 70 papers and 10 books, and has edited a further seven books. He acted as supervisor to four successful doctoral candidates. He received two ministerial prizes (1981, 1987), and has been decorated with the Gold Cross of Merit and the Knight’s Cross of the Order of Polonia Restituta.
L. Maligranda, W. Wnuk, 100 lat matematyki na uniwersytecie w Poznaniu 1919–2019, Wyd. Nauk. UAM, Poznań 2021, pp. 375–376.