The Beginnings of Toruń Logic
DOI:
https://doi.org/10.12775/LLP.2025.010Słowa kluczowe
Polish school of paraconsistent logic, discussive conjunction, ex falso quodlibetAbstrakt
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Licencja
Prawa autorskie (c) 2025 Max Urchs
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Bez utworów zależnych 4.0 Międzynarodowe.
Statystyki
Liczba wyświetleń i pobrań: 23
Liczba cytowań: 0
