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.
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ę tutorialFormal 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
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
ul. Fosa Staromiejska 1a, 87-100 Toruń
Polski Kongres Logiki