University of Wroclaw

Monday, 5 May 2025

Registration – from 2:00 PM.

19⁰⁰ -     Dinner

Tuesday, 6 May 2025

  8⁵⁵ -     Opening of the conference

              Morning session

  9⁰⁰ -    Dorota Leszczyńska-Jasion (EN), From Questions to Proofs. On the Method of Socratic Proofs (keynote lecture).

10⁰⁰ -    Andrzej Indrzejczak (EN), Constructive Neologicism in the Theory of Classes.

10³⁰ -    Nils Kürbis (EN), 120 Years of Russell’s ‘On Denoting’.

11⁰⁰ -    Przerwa (Coffee Break)

         Jerzy Pogonowski’s Session, Part I

11³⁰ -    Władysław Zabrocki, Włodzimierz Lapis (PL), Jerzy Pogonowski’s Contribution to Linguistics.

12⁰⁰ -    Izabela Bondecka-Krzykowska (PL), Agnostic Hedgehog in the Semantic Forest.

12³⁰ -    Eugeniusz Wojciechowski (PL), On Deliberate Speech.

13⁰⁰ -    Lunch

              Afternoon session    

         Jerzy Pogonowski’s Session, Part II

15⁰⁰ -    Zofia Kostrzycka (EN), Discovery or Creation? A Few Words About Jerzy Pogonowski’s Essay of the Same Title.

15³⁰ -    Marcin Selinger (EN), Operations on Arguments: An Approach to Defining Argument Structure.

16⁰⁰ -    Robert Sochacki (PL), A Few Remarks About the Odyssey of the Mathematical Mind Project.

16³⁰ -    Przerwa (Coffee Break)

         Jerzy Pogonowski’s Session, Part III

17⁰⁰ -    Dorota Leszczyńska-Jasion (PL), Didactics and Publishing Plans of Professor Jerzy Pogonowski in the Years 2015-2024.

17³⁰ -    Elżbieta Magner (PL), A Little Remark About Certain Proof.

17⁴⁵ -    Paweł Perekietka (PL), Anany Levitin’s Collection of Algorithmic Puzzles.

18⁰⁰ -    Memories of Professor Jerzy Pogonowski.

19⁰⁰ -    Dinner

Wednesday, 7 May 2025

                Morning session

  9⁰⁰ -    Hitoshi Omori (EN), A Systematic Overview of Paraconsistent Logics, with an Emphasis on Jaśkowski, Part I (keynote lecture).

10⁰⁰ -    Heinrich Wansing, Satoru Niki (EN), Abelian Logic on the Bochum Plan (And the American Plan as Well).

10³⁰ -    Przerwa (Coffee Break)

11⁰⁰ -    Janusz Czelakowski (EN), On the Conflict of Obligatory Norms.

11³⁰ -    Szymon Chlebowski, Yaroslav Petrukhin (EN), Fregean Definite Descriptions in Non-Fregean Logic.

12⁰⁰ -    Zuzanna Rygiewicz (PL), The Relationships Between Relevance Logic and Projective Geometry.

12³⁰ -    Rafał Palczewski (PL), Some Remarks on the Factivity of Knowledge.

13⁰⁰ -     Lunch

               Free Time

20⁰⁰ -     Gala Dinner

Thursday, 8 May 2025

              Morning session

  9⁰⁰ -    Hitoshi Omori (EN), A Systematic Overview of Paraconsistent Logics, with an Emphasis on Jaśkowski, Part II (keynote lecture).

10⁰⁰ -    Marek Nasieniewski, Michał Oleksowicz (EN), Copernicus’ Distinguished Work as a Pre-Genesis of Paraconsistency in Jaśkowski’s Style.

10³⁰ -    Przerwa (Coffee Break)

11⁰⁰ -    Marcin Łazarz (EN), On the Difference Operation in Lattices.

11³⁰ -    Arun Kumar, Neha Gaur, Bisham Dewan (EN), A Study on Logic Naturally Associated to Double Stone Algebras.

12⁰⁰ -    Przemysław Wałęga (EN), Graph Neural Networks, Modal Logics, and Definite Descriptions.

12³⁰ -    Michał Sochański, Michał Zawidzki (EN), Modal Logic with Definite Descriptions, Tableaux, and Python.

13⁰⁰ -     Lunch

              Afternoon session

15⁰⁰ -    Szymon Chlebowski (EN), Hyperintensionality and Constructive Knowledge.

15³⁰ -    Krzysztof Wójtowicz (EN), Probabilities of Conditionals of Arbitrary Complexity.

16⁰⁰ -    Anna Wójtowicz, Krzysztof Wójtowicz (PL), Probability of Conjoined Conditionals: Evaluating the McGee Formula and Its Alternatives.

16³⁰ -    Przerwa (Coffee Break)

17⁰⁰ -    Marek Magdziak (PL), On Oughtness, Goodness and Badness.

17³⁰ -    Irena Trzcieniecka-Schneider, Jerzy Kuczyński (PL), On Certain Undesirable Effects of Counterfactual Assumptions in Physics.

18⁰⁰ -    Jacek Malinowski (PL), Logics Genealogy.

19⁰⁰ -     Dinner

Friday, 9 May 2025

             Morning session

  9⁰⁰ -    Dorota Leszczyńska-Jasion (EN), A Logic of Interrogative Attitudes (keynote lecture).

10⁰⁰ -    Yaroslav Petrukhin (EN), Hypersequent Many-Valued Versions of Essence and Accident Modalities in FDE-Based Logics.

10³⁰ -    Przerwa (Coffee Break)

11⁰⁰ -     Maciej Hałapacz (EN), Modal Logics of Classes of Finite Structures.

11³⁰ -    Patryk Michalczenia (EN), Kripke-Style Semantics for Weak (Modal) Logics.

12⁰⁰ -    Zamknięcie konferencji

13⁰⁰ -     Lunch