The Beginnings of Toruń Logic

Max Urchs

doi:10.12775/LLP.2025.010

Autor

Max Urchs EBS Universität Wiesbaden, Germany https://orcid.org/0000-0002-5406-6684

DOI:

https://doi.org/10.12775/LLP.2025.010

Słowa kluczowe

Polish school of paraconsistent logic, discussive conjunction, ex falso quodlibet

Abstrakt

At the Copernicus University of Toruń, which was founded in 1945 under the most difficult conditions, there were two logic centers from the very beginning, each headed by a prominent representative of the Lvov-Warsaw School. Jaśkowski’s work on formal logic proved to be tradition-defining for the emergence of today’s international center of logical research in Toruń. The article examines the first stages of this process.

Bibliografia

Czeżowski, T., 1995, “Wspomnienia”, pages 35–41 in A. Tomczak (ed.), Wspomnienia pracowników UMK, Toruń: Wydawnictwo UMK.

Dubikajtis, L., 1975, “The life and work of Stanisław Jaśkowski”, Studia Logica, 34(2): 109–116. https://www.jstor.org/stable/20014751 See also: L. Dubikajtis, “Stanisław Jaśkowski (1906–1965)”, Ruch Filozoficzny, 25(3–4), 1967: 187–198.

Gumański, L., 1989, “Tadeusz Czeżowski”, pages 25–32 in Toruńscy twórcy nauki i kultury (1945–1985), Warszawa: PWN.

Jadczak, R., 1995, “Toruńskie środowisko filozoficzne w latach 1945–1995”, pages 7–31 in Filozofia na Uniwersytecie Mikołaja Kopernika, Toruń: Wydawnictwo UMK.

Jaśkowski, S., 1929, “Teoria dedukcji oparta na dyrektywach założeniowych”, in Księga Pamiątkowa Pierwszego Polskiego Zjazdu Matematycznego, Lwów, 7–10 IX 1927, Kraków: Drukarnia Uniwersytetu Jagiellońskiego.

Jaśkowski, S., 1934, “On the rules of suppositions in formal logic, Studia Logica, 1: 5–32. Reprint: pages 232–258 in S. McCall (ed.), Polish Logic 1920–1939, Oxford: Oxford University Press, 1967.

Jaśkowski, S., 1947, “Zagadnienia logiczne a matematyka”, Myśl Współczesna, 7–8(14–15): 57–70.

Jaśkowski, S., 1948a, “Trois contributions au calcul des propositions bivalent”, Studia Societatis Scientiarum Torunensis, Sec. A, Vol. I: 3–15.

Jaśkowski, S., 1948b, “Sur les variables propositionnelles dependantes”, Studia Societatis Scientiarum Torunensis, Sec. A, Vol. I, No. 2: 17–21.

Jaśkowski, S., 1948c, “Sur certains groupes formés de classes d’ensambles et leur application aux definitions des hombres”, Stadia Societntis Scientiarum Torunensis, Sect. A, Vol. I: 23–35.

Jaśkowski, S., 1948d, “Rachunek zdań dla systemów dedukcyjnych sprzecznych, Studia Societatis Scientiarum Torunensis, Sect. A, Vol. I, No 5: 57–77.

Jaśkowski, S., 1948e, “Sur le problème de décision de la topologie et de la théorie des groupes”, Coll. Math., 1: 176–178.

Jaśkowski, S., 1949a, “O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych, Studia Societatis Scientiarum Torunensis, Sect. A, Vol. I, No 8: 171–172.

Jaśkowski, S., 1949b,“Z badań nad rozstrzygalnością rozszerzonej algebry Boole’a”, Časopis pro pestovani matematyki a fizyky, 74: 136–137.

Jaśkowski, S., 1949c,“Une modification des définitions fondamentales de la géométrie des corps de A. Tarski”, Annales Soc. Math. Pol., 21: 298–301.

Jaśkowski, S., 1949d,“Sur certains axiomes de la géométrie élémentaire”, Annales Soc. Math. Pol., 21: 349–350.

Jaśkowski, S., 1951, “On the modal and causal functions in symbolic logic”, Studia Philosophica, 4: 71–92.

Jaśkowski, S., 1954, “Example of a class of systems of ordinary differential equations having no decision method for existence problems”, Bull. Acad. Polon. Sci., 2/4: 153–155.

Jaśkowski, S., 1957, “Katedra Matematyki”, pages 122–125 in R. Galon (ed.), Uniwersytet Mikołaja Kopernika 1945–1955, Warszawa: PWN.

Jaśkowski, S., 1969, “Propositional calculus for contadictory deductive systems”, Studia Logica 24: 143–157. The first English translation of (Jaśkowski, 1948d). DOI: https://doi.org/10.1007/BF02134311

Jaśkowski, S., 1975a, “Three contributions to the two-valued propositional calculus” (Communicated at the Meeting on May 21, 1947), Studia Logica, 24(2): 121–132. English translation of (Jaśkowski, 1948a). https://www.jstor.org/stable/20014753, DOI: https://doi.org/10.1007/BF02314428

Jaśkowski, S., 1975b, “About certain groups of classes of sets and their application to the definitions of numbers”, Studia Logica, 34(2): 133–144. English translation of (Jaśkowski, 1948c). https://www.jstor.org/stable/20014754, DOI: https://doi.org/10.1007/BF02123382

Jaśkowski, S., 1999a, “A propositional calculus for inconsistent deductive systems”, Logic and Logical Philosophy, 7: 35–56. A new English translation of (Jaśkowski, 1948d). DOI: https://doi.org/10.12775/LLP.1999.003

Jaśkowski, S., 1999b, “On the discussive conjunction in the propositional calculus for inconsistent deductive systems”, Logic and Logical Philosophy, 7: 57–59. English translation of (Jaśkowski, 1949a). DOI: https://doi.org/10.12775/LLP.1999.004

Jeśmanowicz, S., 1989, “Stanisław Jaśkowski”, pages 131–135 in Toruńscy twórcy nauki i kultury (1945–1985), Warszawa: PWN.

Klemp-Dyczek, B., 2016, “Wileńskie korzenie matematyki na Wydziale Matematyczno-Przyrodniczym Uniwersytetu Mikołaja Kopernika w Toruniu”, Nauczanie Przedmiotów Przyrodniczych. Biuletyn Polskiego Stowarzyszenia Nauczycieli Przedmiotów Przyrodniczych, 57(1): 14–25.

Kolankowski, L., 1957, “Wspomnienia”, pages 14–37 in R. Galen (ed.), Uniwersytet Mikołaja Kopernika 1945–1955, Warszawa: PWN.

Kortas, A., 2010, “Befestigte Kneipe”. Toruńskie lokale gastronomiczne i hotele w XIX i na początku XX wieku w swietle ksiąg adresowych i lokalnej prasy, Toruń: Wydawnictwo Adam Marszałek.

Kotas, J., 1963, “Axioms for Birkhoff–v. Neumann quantum logic”, Bulletin de l’Académie Polonaise des Sciences. Série des sciences mathématiques, astronomiques et physiques, 11: 629–632.

Kotas, J., 1973, “The axiomatization of S. Jaśkowski’s discussive system”, Bulletin of the Section of Logic, 2(1): 12–15; reedition 2013 (original edition, pp. 12–17). https://www.uni.lodz.pl/fileadmin/Projekty/EXTENDD/BSL/2__1/kotas.pdf

Kotas, J., 1975, “Discussive sentential calculus of Jaśkowski”, Studia Logica, 34(2): 149–168. DOI: https://doi.org/10.1007/BF02123384

Mruczek-Nasieniewska, K., M. Nasieniewski and A. Pietruszczak, 2019, “A modal extension of Jaśkowski’s discussive logic D2”, Logic Journal of the IGPL, 27(4): 451–477. DOI: https://doi.org/10.1093/jigpal/jzz014

Mruczek-Nasieniewska, K., M. Nasieniewski and A. Pietruszczak, 2025, “Modal discussive logics”, Journal of Philosophical Logic, 54(1): 99–142. https://rdcu.be/d84fk, DOI: https://doi.org/10.1007/s10992-024-09781-4

Nowicki, M., 2000, “Tadeusz Czeżowski”, Edukacja Filozoficzna, 31: 115–135.

Schreiber, P., 1995, “O związkach Heinricha Scholza z logikami polskimi”, pages 237–254 in Materiały i Konferencje, 16, Szczecin: Uniwersytet Szczeciński.

Śniatycki, A., 1968, An Axiomatics of Non-Desarguean Geometry: Based on the Half-Plane as the Primitive Notion, Dissertationes Mathematicae, vol. 59, Warszawa: PWN.

Tomczak, A. (ed.), 1995, Powstanie i pierwsze dziesięć lat Uniwersytetu Mikołaja Kopernika 1945–1956. Wybor źrodeł, Toruń: Wydawnictwo UMK.

Urchs, M., 1995, “Discursive logic. Towards a logic of rational discours”, Studia Logica, 54: 231–249. DOI: https://doi.org/10.1007/BF01063153

Urchs, M., and K. Wuttich, 2022, “Complex logic in Berlin: The becoming of a scientific school and its premature end”, Edukacja Filozoficzna, 74: 77–100.

Woleński, J., 1999, Essays in the history of logic and logical philosophy, Cracow: Jagiellonian University Press.

Woleński, J., 2009, “Tadeusz Czeżowski i Szkoła Lwowsko-Warszawska”, Ruch Filozoficzny, 66(4): 647–654.