Polski Kongres Logiki
22-26 września 2025, Toruń
Pierwszy w historii Polski Kongres Logiki – spotkanie naukowców z całego świata.
Miejsce:
Instytut Filozofii UMK w Toruniu, ul. Fosa Staromiejska 1a, 87-100 Toruń
Strona wydarzenia: https://logika.net.pl/pcl/
Kongres ma na celu zaprezentowanie kluczowych badań dla rozwoju współczesnej logiki ze szczególnym uwzględnieniem wkładu polskich logików. Polskie Towarzystwo Logiki i Filozofii Nauki (PTLiFN), drugie najstarsze towarzystwo logiczne na świecie (po Association for Symbolic Logic w USA), jest głównym inspiratorem pierwszej edycji Polskiego Kongresu Logiki.
Wydarzenie to nawiązuje do etosu Polskich logików związanych w szczególności ze Szkołą Lwowsko-Warszawską oraz Polską Szkołą Matematyczną i zarazem ma służyć scaleniu środowiska osób aktualnie zajmujących się logiką w Polsce i na świecie, wymianie informacji o wynikach naukowych i doświadczeniach zawodowych.
Wywiad z prof. Tomaszem Jarmużkiem, obecnym prezesem PTLiFN i pomysłodawcą Kongresu: https://open.spotify.com/episode/4N6iCOEpFw5r6Q08cNnaxr?si=D8JOe0bjS4SFuENp5-8T7g
W czasie Kongresu planowane są sesje plenarne, sekcje oraz następujące warsztaty:
- 3rd Workshop on Relating Logic (WRL3), 23.09-24.09
Organizatorami warsztatu są Mateusz Klonowski (Katedra Logiki, Uniwersytet Mikołaja Kopernika w Toruniu) oraz Jacek Malinowski (Instytut Filozofii i Socjologii, Polska Akademia Nauk). - 1st Workshop on Mechanisms and Causes (WMaC1), 25.09-26.09
Organizatorami warsztatu są Michał Oleksowicz (Katedra Logiki, Uniwersytet Mikołaja Kopernika w Toruniu) oraz Mateusz Chwastyk (Instytut Fizyki, Polska Akademia Nauk). - 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1), 24.09-25.09
Organizatorami warsztatu są Luis Estrada-González (National Autonomous University of Mexico) oraz Tomasz Jarmużek (Katedra Logiki, Uniwersytet Mikołaja Kopernika w Toruniu). Strona internetowa: https://sites.google.com/view/logica-mexa/events/syllos1 - 3rd Workshop on Non-Fregean Logics (WNFL3), 22.09-23.09
Organizatorami warsztatu są Dorota Leszczyńska-Jasion oraz Szymon Chlebowski (Zakład Logiki i Kognitywistyki, Uniwersytet im. Adama Mickiewicza w Poznaniu).
W czasie Kongresu, w dniu 22.09, odbędzie się tutorial Formal Theories of Definite Descriptions. Tutorial przygotowują Nils Kürbis oraz Michał Zawidzki (Katedra Logiki i Metodologii Nauk, Uniwersytet Łódzki).
Kolejnym wydarzeniem w ramach Kongresu, które odbędzie się w dniu 23.09 w godz. 10:00-12:30, jest panel dyskusyjny Logika w rozwoju Sztucznej Inteligencji. W panelu wezmą udział:
- Rajeev Gore, Monash University, Australia
- Wojciech Jamroga, Polska Akademia Nauk; Uniwersytet Mikołaja Kopernika w Toruniu, Polska
- Damian Niwiński, Uniwersytet Warszawski, Polska
- Marek Sergot, Imperial College London, Anglia
- Josef Urban, Czech Technical University in Prague, Czechy
Lista zaproszonych mówców, biorących udział w wydarzeniach, jest następująca:
- Sankha Basu, Indraprastha Institute of Information Technology Delhi, Indie
- Johan van Benthem, University of Amsterdam, Holandia; Stanford University, Stany Zjednoczone
- Otávio Bueno, University of Miami, Stany Zjednoczone
- Walter Carnielli, University of Campinas, Brazylia
- Bogdan Dicher, University of the Witwatersrand, Południowa Afryka
- Hans van Ditmarsch, University of Toulouse, Francja
- Davide Fazio, University of Teramo, Włochy
- Joanna Golińska-Pilarek, Uniwersytet Warszawski, Polska
- Rajeev Gore, Monash University, Australia
- Zalán Gyenis, Uniwersytet Jagielloński, Polska
- Andrzej Indrzejczak, Uniwersytet Łódzki, Polska
- Stavros Ioannidis, National and Kapodistrian University of Athens, Grecja
- Wojciech Jamroga, Polska Akademia Nauk; Uniwersytet Mikołaja Kopernika w Toruniu, Polska
- Fengkui Ju, Beijing Normal University, Chiny
- Max Kistler, University Paris 1 Panthéon-Sorbonne, Francja
- Piotr Kulicki, Katolicki Uniwersytet Lubelski Jana Pawła II, Polska
- Fenrong Liu, Tsinghua University, Chiny
- María Martínez-Ordaz, National Autonomous University of Mexico, Meksyk
- Manuel António Martins, University of Aveiro, Portugalia
- Lawrence S. Moss, Indiana University, Stany Zjednoczone
- Damian Niwiński, Uniwersytet Warszawski, Polska
- Hitoshi Omori, Tohoku University, Japonia
- Francesco Paoli, University of Cagliari, Włochy
- Lavinia Picollo, National University of Singapore, Singapur
- Andrzej Pietruszczak, Uniwersytet Mikołaja Kopernika w Toruniu, Polska
- Tomasz Placek, Uniwersytet Jagielloński, Polska
- Ian Pratt-Hartmann, University of Manchester, Anglia
- Abilio Rodrigues Filho, Federal University of Minas Gerais, Brazylia
- Zuzana Rybaříková, University of Ostrava, Czechy
- Marek Sergot, Imperial College London, Anglia
- Allard Tamminga, University of Greifswald, Niemcy
- Andrew Tedder, Ruhr University Bochum, Niemcy
- Leendert van der Torre, University of Luxembourg, Luksemburg
- Josef Urban, Czech Technical University in Prague, Czechy
- Yiyan Wang, Shanxi University, Chiny
- Andrzej Wiśniewski, Uniwersytet im. Adama Mickiewicza w Poznaniu, Polska
- Krzysztof Wójtowicz, Uniwersytet Warszawski, Polska
Komitet programowy konferencji:
- Cezary Cieśliński, Zakład Logiki Uniwersytetu Warszawskiego
- Janusz Czelakowski, Uniwersytet Opolski
- Adam Grobler, Uniwersytet Opolski
- Tomasz Jarmużek, Katedra Logiki Uniwersytetu Mikołaja Kopernika w Toruniu
- Dorota Leszczyńska-Jasion, Zakład Logiki i Kognitywistyki Uniwersytetu im. Adama Mickiewicza w Poznaniu
- Marcin Miłkowski, Zakład Logiki i Kognitywistyki Polskiej Akademii Nauk
- Roman Murawski, Uniwersytet im. Adama Mickiewicza w Poznaniu
- Tomasz Placek, Zakład Epistemologii Uniwersytetu Jagiellońskiego
- Kordula Świętorzecka, Katedra Logiki Uniwersytetu Kard. Stefana Wyszyńskiego w Warszawie
- Urszula Wybraniec-Skardowska, Uniwersytet Kard. Stefana Wyszyńskiego w Warszawie
Organizatorzy wydarzenia:
- Polskie Towarzystwo Logiki i Filozofii Nauki
- Katedra Logiki Uniwersytetu Mikołaja Kopernika w Toruniu
- Zakład Logiki i Kognitywistyki Uniwersytetu im. Adama Mickiewicza w Poznaniu
- Katedra Logiki Uniwersytetu Kard. Stefana Wyszyńskiego w Warszawie
W czasie Kongresu, w dniu 25.09 o godz. 17:30, odbędzie się Walne Zebranie członków PTLiFN, na którym nastąpi m.in. wybór nowych organów statutowych Towarzystwa na następną kadencję.
Patronaty i dofinansowania:
- Polski Kongres Logiki odbywa się w ramach obchodów 80 rocznicy powstania Uniwersytetu Mikołaja Kopernika w Toruniu.
- Kongres jest współfinansowany ze środków budżetu państwa przyznanych przez Ministra Nauki i Szkolnictwa Wyższego w ramach programu „Inicjatywa Doskonałości — Uczelnia Badawcza”.
- Patronaty władz: Marszałek Województwa Kujawsko-Pomorskiego Piotr Całbecki, Prezydent Miasta Torunia Paweł Gulewski
- Patronaty medialne: Polskie Radio PiK, TVP3 Bydgoszcz
