Program
XXVIII Konferencja
Zastosowania Logiki w Filozofii i Podstawach Matematyki
Szklarska Poręba, 5-9 maja 2025
Abstracts_2025 (PDF / 520.93 kb)
Program
Poniedziałek, 5 maja 2025
Od godziny 14:00 do wieczora rejestracja uczestników.
1900 - Kolacja
Wtorek, 6 maja 2025
855 - Otwarcie konferencji
Sesja przedpołudniowa
900 - Dorota Leszczyńska-Jasion (EN), From Questions to Proofs. On the Method of Socratic Proofs (keynote lecture).
1000 - Andrzej Indrzejczak (EN), Constructive Neologicism in the Theory of Classes.
1030 - Nils Kürbis (EN), 120 Years of Russell’s ‘On Denoting’.
1100 - Przerwa (Coffee Break)
Jerzy Pogonowski’s Session, Part I
1130 - Władysław Zabrocki, Włodzimierz Lapis (PL), Jerzy Pogonowski’s Contribution to Linguistics.
1200 - Izabela Bondecka-Krzykowska (PL), Agnostic Hedgehog in the Semantic Forest.
1230 - Eugeniusz Wojciechowski (PL), On Deliberate Speech.
1300 - Obiad
Sesja popołudniowa
Jerzy Pogonowski’s Session, Part II
1500 - Zofia Kostrzycka (EN), Discovery or Creation? A Few Words About Jerzy Pogonowski’s Essay of the Same Title.
1530 - Marcin Selinger (EN), Operations on Arguments: An Approach to Defining Argument Structure.
1600 - Robert Sochacki (PL), A Few Remarks About the Odyssey of the Mathematical Mind Project.
1630 - Przerwa (Coffee Break)
Jerzy Pogonowski’s Session, Part III
1700 - Dorota Leszczyńska-Jasion (PL), Didactics and Publishing Plans of Professor Jerzy Pogonowski in the Years 2015-2024.
1730 - Elżbieta Magner (PL), A Little Remark About Certain Proof.
1745 - Paweł Perekietka (PL), Anany Levitin’s Collection of Algorithmic Puzzles.
1800 - Memories of Professor Jerzy Pogonowski.
1900 - Kolacja
Środa, 7 maja 2025
Sesja przedpołudniowa
900 - Hitoshi Omori (EN), A Systematic Overview of Paraconsistent Logics, with an Emphasis on Jaśkowski, Part I (keynote lecture).
1000 - Heinrich Wansing, Satoru Niki (EN), Abelian Logic on the Bochum Plan (And the American Plan as Well).
1030 - Przerwa (Coffee Break)
1100 - Janusz Czelakowski (EN), On the Conflict of Obligatory Norms.
1130 - Szymon Chlebowski, Yaroslav Petrukhin (EN), Fregean Definite Descriptions in Non-Fregean Logic.
1200 - Zuzanna Rygiewicz (PL), The Relationships Between Relevance Logic and Projective Geometry.
1230 - Rafał Palczewski (PL), Some Remarks on the Factivity of Knowledge.
1300 - Obiad
Popołudnie wolne
2000 - Uroczysta kolacja
Czwartek, 8 maja 2025
Sesja przedpołudniowa
900 - Hitoshi Omori (EN), A Systematic Overview of Paraconsistent Logics, with an Emphasis on Jaśkowski, Part II (keynote lecture).
1000 - Marek Nasieniewski, Michał Oleksowicz (EN), Copernicus’ Distinguished Work as a Pre-Genesis of Paraconsistency in Jaśkowski’s Style.
1030 - Przerwa (Coffee Break)
1100 - Marcin Łazarz (EN), On the Difference Operation in Lattices.
1130 - Arun Kumar, Neha Gaur, Bisham Dewan (EN), A Study on Logic Naturally Associated to Double Stone Algebras.
1200 - Przemysław Wałęga (EN), Graph Neural Networks, Modal Logics, and Definite Descriptions.
1230 - Michał Sochański, Michał Zawidzki (EN), Modal Logic with Definite Descriptions, Tableaux, and Python.
1300 - Obiad
Sesja popołudniowa
1500 - Szymon Chlebowski (EN), Hyperintensionality and Constructive Knowledge.
1530 - Krzysztof Wójtowicz (EN), Probabilities of Conditionals of Arbitrary Complexity.
1600 - Anna Wójtowicz, Krzysztof Wójtowicz (PL), Probability of Conjoined Conditionals: Evaluating the McGee Formula and Its Alternatives.
1630 - Przerwa (Coffee Break)
1700 - Marek Magdziak (PL), On Oughtness, Goodness and Badness.
1730 - Irena Trzcieniecka-Schneider, Jerzy Kuczyński (PL), On Certain Undesirable Effects of Counterfactual Assumptions in Physics.
1800 - Jacek Malinowski (PL), Logics Genealogy.
1900 - Kolacja
Piątek, 9 maja 2025
Sesja przedpołudniowa
900 - Dorota Leszczyńska-Jasion (EN), A Logic of Interrogative Attitudes (keynote lecture).
1000 - Yaroslav Petrukhin (EN), Hypersequent Many-Valued Versions of Essence and Accident Modalities in FDE-Based Logics.
1030 - Przerwa (Coffee Break)
1100 - Maciej Hałapacz (EN), Modal Logics of Classes of Finite Structures.
1130 - Patryk Michalczenia (EN), Kripke-Style Semantics for Weak (Modal) Logics.
1200 - Zamknięcie konferencji
1300 - Obiad
