University of Wroclaw

Note. (EN) means that the talk is presented in English, (PL) – in Polish.

Monday, 8 May 2023

Registration – from 2:00 PM.

19⁰⁰ -     Dinner

Tuesday, 9 May 2023

  8⁵⁵ -     Opening of the conference

              Morning session

  9⁰⁰ -     Tomasz Jarmużek (EN), Relating Logic: Theory and Applications (keynote lecture).

10⁰⁰ -      Dorota Leszczyńska-Jasion (EN), Investigations into Boolean Non-Fregean Logic WB.

10³⁰ -      Coffee Break

11⁰⁰ -     Krzysztof Wójtowicz (EN), A Minimal Probability Space for Conditionals.

11³⁰ -     Jakub Gismatullin (EN), A Few Words on Metric Ultraproduct.

12⁰⁰ -     Urszula Wybraniec-Skardowska (EN), Problem of Compatibility of the First-Order Quantifiers.

13⁰⁰ -     Lunch

              Afternoon session

15⁰⁰ -     Anna Wójtowicz (PL), Conditionals and Modus Ponens - Linguistic Intuitions vs. the Formal Model.

15³⁰ -     Marek Magdziak (PL), Logical Analysis of Truth and Some Concepts Related to It.

16⁰⁰ -     Elżbieta Magner (PL), Tautologies.

16³⁰ -      Coffee Break

17⁰⁰ -     Marek Lechniak (PL), On Formalisation in Logic and Philosophy. Notes on the Margins of the Work of Catarina Dutilh Novaes.

17³⁰ -     Irena Trzcieniecka-Schneider (PL), An Attempt at Formal Approach to the Philosophy of Boredom. Notes in the Margin of the Works of Evagrius Ponticus.

18⁰⁰ -     Zofia Hałęza (EN), Outstanding Female Philosophers from Lviv-Warsaw School and Their Accomplishments.

19⁰⁰ -     Dinner

Wednesday, 10 May 2023

              Morning session

  9⁰⁰ -     Piotr Kulicki (EN), Logic of Actions and Norms (Part I, keynote lecture).

10⁰⁰ -     Janusz Kaczmarek (EN), Topological Interpretation of Wittgenstein’s Logical Atomism and Perzanowski’s Theory of Analysis and Synthesis.

10³⁰ -     Coffee Break

11⁰⁰ -     Yaroslav Petrukhin (EN), Normalisation for Some FDE-Style Logics.

11³⁰ -     Nils Kürbis (EN), Some Systems for Formalising Sentences Containing Definite Descriptions by a Binary Quantifier.

12⁰⁰ -     Kamil Cekiera (EN), Thought Experiments Are Not Deductive Arguments in Disguise: A Model of the Method of Cases in Analytic Philosophy.

13⁰⁰ -     Lunch

               Free Time

20⁰⁰ -     Gala Dinner

Thursday, 11 May 2023

              Morning session

  9⁰⁰ -     Piotr Kulicki (EN), Logic of Actions and Norms (Part II, keynote lecture).

10⁰⁰ -     Tomasz Kowalski, Badriah Al Juaid, Marcel Jackson, James Koussas (EN), Edge Colourings and Representations of Chromatic Algebras.

10³⁰ -     Coffee Break

11⁰⁰ -     Ivo Pezlar (EN), Justifying the Explosion Principle.

11³⁰ -     Marcin Łazarz (EN), On Elements →-Irreducible in Finite Heyting Lattices.

12⁰⁰ -     Patryk Michalczenia (EN), Subnormal Modal Logics – Continued.

12³⁰ -     Filip Turoboś, Nicole Meisner (EN), A Tour around the Applications of Paraconsistent Logic in Machine Learning and Artificial Intelligence.

13⁰⁰ -        Lunch

              Afternoon session

15⁰⁰ -     Piotr Błaszczyk (EN), Infinity of Euclid's Straight Line and Circular Inversion.

15³⁰ -     Piotr Błaszczyk (PL), The Legacy of Euclid.

16³⁰ -     Przerwa (Coffee Break)

17⁰⁰ -     Eugeniusz Wojciechowski (PL), On the Logic of Goods.

17³⁰ -     Marcin Selinger (PL), On a Certain Form of Ad Hominem Argumentation.

19⁰⁰ -       Dinner

Friday, 12 May 2023

             Morning session

  9⁰⁰ -     Tomasz Jarmużek (EN), Tableau Metatheory for Propositional Logic (keynote lecture).

10⁰⁰ -     Andrzej Indrzejczak (EN), Towards a General Proof Theory of Term-Forming Operators.

10³⁰ -      Coffee Break

11⁰⁰ -     Janusz Czelakowski (EN), On Prime Numbers.

12⁰⁰ -     Closing of the conference

13⁰⁰ -        Lunch