Polski Kongres Logiki, 22-26 września 2025, Toruń
Polskie Towarzystwo Logiki i Filozofii Nauki zaprasza do nadsyłania zgłoszeń referatów na Polski Kongres Logiki, który odbędzie się w dniach 22-26 września 2025 r. na Uniwersytecie Mikołaja Kopernika w Toruniu.
W czasie Kongresu planowane są sesje plenarne, sekcje oraz następujące warsztaty:
- 3rd Workshop on Relating Logic (WRL3)
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)
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)
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)
Organizatorami warsztatu są Dorota Leszczyńska-Jasion oraz Szymon Chlebowski (Zakład Logiki i Kognitywistyki, Uniwersytet im. Adama Mickiewicza w Poznaniu).
W czasie Kongresu odbędzie się również tutorial pt. ,,Formal Theories of Definite Descriptions”. Tutorial przygotowują Nils Kürbis oraz Michał Zawidzki (Katedra Logiki i Metodologii Nauk, Uniwersytet Łódzki).
Kolejnym wydarzeniem, które odbędzie się w ramach Kongresu jest panel dyskusyjny pt. ,,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
Uczestnictwo w Kongresie potwierdzili następujący zaproszeni prelegenci:
- 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
Termin nadsyłania zgłoszeń: 1 maja 15 czerwca 10 lipca 2025 r.
Zgłoszenia prosimy nadsyłać w formatce na adres ptlifn.sekretarz@gmail.com. W przypadku zgłoszeń na warsztaty prosimy o wpisanie nazwy warsztatu w nagłówku wiadomości. W przypadku regularnych zgłoszeń prosimy o dopasowanie następujących tagów (co najwyżej trzech) do swojego referatu:
- automatyczne rozumowanie i automatyczne dowodzenie twierdzeń,
- filozofia logiki,
- filozofia nauki,
- formalne teorie prawdy,
- historia logiki,
- historia logiki polskiej,
- logika i podstawy informatyki,
- logika i sztuczna inteligencja,
- logika algebraiczna,
- logika deontyczna i logika działania,
- logika epistemiczna,
- logika filozoficzna,
- logika infinitarna,
- logika intuicjonistyczna,
- logika kontrklasyczna,
- logika modalna,
- logika parakonsystentna,
- logika podstrukturalna,
- logika pytań,
- logika temporalna,
- logika wielowartościowa,
- logiki nieklasyczne,
- ogólna metodologia nauk,
- semantyka logik modalnych,
- teoria deskrypcji,
- teoria dowodu,
- teoria mnogości i podstawy matematyki,
- teoria modeli,
- teoria rekursji,
- inne: (proszę wpisać).
Informujemy, że w czasie konferencji odbędzie się również Walne Zgromadzenie członków PTLiFN.
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