University of Wroclaw

26th Conference Applications of Logic in Philosophy and the Foundations of Mathematics

You are here: Home > Program


XXVI Conference

Applications of Logic in Philosophy and the Foundations of Mathematics

Szklarska Poręba, 8-12 May 2023

Abstracts 2023 (PDF) 

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


Monday, 8 May 2023

Registration – from 2:00 PM.

1900 -     Dinner

Tuesday, 9 May 2023

  855 -     Opening of the conference

              Morning session

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

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

1030 -      Coffee Break

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

1130 -     Jakub Gismatullin (EN), A Few Words on Metric Ultraproduct.

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

1300 -     Lunch

              Afternoon session

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

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

1600 -     Elżbieta Magner (PL), Tautologies.

1630 -      Coffee Break

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

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

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

1900 -     Dinner

Wednesday, 10 May 2023
              Morning session

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

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

1030 -     Coffee Break

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

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

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

1300 -     Lunch

               Free Time

2000 -     Gala Dinner

Thursday, 11 May 2023
              Morning session

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

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

1030 -     Coffee Break

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

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

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

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

1300 -        Lunch

              Afternoon session

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

1530 -     Piotr Błaszczyk (PL), The Legacy of Euclid.

1630 -     Przerwa (Coffee Break)

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

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

1900 -       Dinner

Friday, 12 May 2023
             Morning session

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

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

1030 -      Coffee Break

1100 -     Janusz Czelakowski (EN), On Prime Numbers.

1200 -     Closing of the conference

1300 -        Lunch