University of Wroclaw

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

You are here: Home > History > XXIII Conference Applications of Logic in Philosophy and the Foundations of Mathematics

XXIII Conference Applications of Logic in Philosophy and the Foundations of Mathematics

Szklarska Poręba 
Poland

7-11 May 2018

Announcements
Abstracts 2018 (PDF / 657.85 kb)
Participants 2018 (PDF / 194.25 kb)
Urszula Wybraniec-Skardowska: A personal rememberance of prof. Grzegorz Bryll (in Polish, PDF / 272.31 kb)
Photos

 Invited Speaker

Andrzej Indrzejczak, University of Łódź,  Definite Descriptions and Proof Theory

 The Organizing Committee

Janusz Czelakowski, University of Opole
Elżbieta Magner, University of Wrocław
Tomasz Połacik, University of Silesia 
Marcin Selinger, University of Wrocław

e-communication and computer setup:

Krzysztof Siemieńczuk 
Bartłomiej Skowron, Warsaw University of Technology

Program

Poniedziałek (Monday), 7 May 2018
                   Registration – from 2:00 PM.
 
Wtorek (Tuesday), 8 May 2018

  855 -    Otwarcie konferencji

            Sesja przedpołudniowa

  900 -    Andrzej Indrzejczak, Definite Descriptions and Proof Theory, Part I.

1000 -    Janusz KaczmarekOn Lattices of Situations and Wittgenstein's Topology.

1040 -    Przerwa (Coffee Break)

1110 -    Tomasz Jarmużek, Jacek Malinowski, Boolean Connexive Logics.

1140 -    Jacek Hawranek, Marcin Łazarz, Wroński's Sum of Modular Lattices.

1210 -    Anna Bień, Gamma Graphs of Trees.

1240 -    Elżbieta MagnerThe Connective “czy” in Polish Viewed as a Conjunction.

1300 -     Obiad (Lunch)

            The Bryll Session

1500 -    Alina Bryll, Arkadiusz Bryll, Recent Scholarly Activity of Professor Grzegorz Bryll.

1520 -    Robert Sochacki, Professor’s Bryll Scientific Activity.

1550 -    Zofia Kostrzycka, Formal Research on the Logic of the Stoics.

1620 -    Andrzej Pietruszczak, Frege's and Leśniewski's Concepts of Being an Element and Their Connection with Russell's Paradox.

1650 -    Przerwa (Coffee Break)

1720 -    Sesja wspomnieniowa

1910 -     Kolacja (Dinner)

Środa (Wednesday), 9 May 2018

            Sesja przedpołudniowa

  900 -    Andrzej IndrzejczakDefinite Descriptions and Proof Theory, Part II.

1000 -    Piotr Wojtylak, Wojciech DzikUnification in Predicate Modal Logics.

1050 -    Przerwa (Coffee Break)

1120 -    Wiesław KubiśThe Weak Amalgamation Property.

1150 -    Michał StronkowskiDeciding (Active) Structural Completeness.

1220 -    Michał ZawidzkiMosaic-Based Decidability of a Logic of Order-Of-Magnitude.

1300 -     Obiad (Lunch)

            Popołudnie wolne (Free Time)

2000 -    Uroczysta kolacja (Gala Dinner)

Czwartek (Thursday), 10 May 2018

            Sesja przedpołudniowa

  900 -    Piotr BłaszczykTrends in the History of Infinity, Part I.

  940-     Tomasz FurmanowskiGoodbye, Dedekind.

1010 -    Eugeniusz WojciechowskiElementary Ontology with Frege's Predication Scheme: Distributive Classes and Collective Classes.

1040 -    Przerwa (Coffee Break)

1110 -    Marek MagdziakAn Outline of Logical Analysis of the Concept of Value.

1150 -    Marcin DrofiszynA Deontic Logic for Normative Dilemmas.

1210 -    Zofia HałęzaLogic and Method in Gassendi and in School of Port-Royal.

1230 -    Grzegorz TrelaMetaphilosophical Controversy about Logic. Selected Interpretations.

1300 -     Obiad (Lunch)

            Popołudnie wolne (Free Time)

1900 -     Kolacja (Dinner)

Piątek (Friday), 11 May 2018

            Sesja przedpołudniowa

  900 -    Piotr BłaszczykTrends in the History of Infinity, Part II.

  940 -   Tomasz Jarmużek, Krzysztof A. KrawczykSolution to the Fitch Paradox Based on De Re Knowability Modality.

1010 -    Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej PietruszczakOn Modalities in the Context of Discussive Logics.

1040 -    Przerwa (Coffee Break)

1110 -    Tomasz PołacikConservativity of Classical Set Theory over Its Constructive Counterpart.

1140 -    Tomasz WitczakIntuitionistic Modal Logic in Neighborhood and Bi-Relational Setting.

1210 -    Marcin SelingerRelation of Attack.

1240 -    Zamknięcie konferencji

1300 -     Obiad (Lunch)