University of Wroclaw

23rd Conference Applications of Logic in Philosophy and the Foundations of Mathematics

You are here: Home > Program

Program

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

Photos 2018

 
XXIII Conference
Applications of Logic in Philosophy and the Foundations of Mathematics
 Szklarska Poręba, 7-11 May 2018

 

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 maja 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 maja 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 maja 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)