XXIII 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

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

8⁵⁵- Otwarcie konferencji

Sesja przedpołudniowa

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

10⁰⁰- Janusz Kaczmarek, On Lattices of Situations and Wittgenstein's Topology.

10⁴⁰- Przerwa (Coffee Break)

11¹⁰- Tomasz Jarmużek, Jacek Malinowski, Boolean Connexive Logics.

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

12¹⁰- Anna Bień, Gamma Graphs of Trees.

12⁴⁰ - Elżbieta Magner, The Connective “czy” in Polish Viewed as a Conjunction.

13⁰⁰ - Obiad (Lunch)

The Bryll Session

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

15²⁰- Robert Sochacki, Professor’s Bryll Scientific Activity.

15⁵⁰- Zofia Kostrzycka, Formal Research on the Logic of the Stoics.

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

16⁵⁰- Przerwa (Coffee Break)

17²⁰- Sesja wspomnieniowa

19¹⁰ - Kolacja (Dinner)

Środa (Wednesday), 9 May 2018

Sesja przedpołudniowa

9⁰⁰ - Andrzej Indrzejczak, Definite Descriptions and Proof Theory, Part II.

10⁰⁰ - Piotr Wojtylak, Wojciech Dzik, Unification in Predicate Modal Logics.

10⁵⁰ - Przerwa (Coffee Break)

11²⁰ - Wiesław Kubiś, The Weak Amalgamation Property.

11⁵⁰ - Michał Stronkowski, Deciding (Active) Structural Completeness.

12²⁰ - Michał Zawidzki, Mosaic-Based Decidability of a Logic of Order-Of-Magnitude.

13⁰⁰ -Obiad (Lunch)

Popołudnie wolne (Free Time)

20⁰⁰ - Uroczysta kolacja (Gala Dinner)

Czwartek (Thursday), 10 May 2018

Sesja przedpołudniowa

9⁰⁰ - Piotr Błaszczyk, Trends in the History of Infinity, Part I.

9⁴⁰- Tomasz Furmanowski, Goodbye, Dedekind.

10¹⁰ - Eugeniusz Wojciechowski, Elementary Ontology with Frege's Predication Scheme: Distributive Classes and Collective Classes.

10⁴⁰ - Przerwa (Coffee Break)

11¹⁰ - Marek Magdziak, An Outline of Logical Analysis of the Concept of Value.

11⁵⁰ - Marcin Drofiszyn, A Deontic Logic for Normative Dilemmas.

12¹⁰ - ZofiaHałęza, Logic and Method in Gassendi and in School of Port-Royal.

12³⁰ - Grzegorz Trela, Metaphilosophical Controversy about Logic. Selected Interpretations.

13⁰⁰ -Obiad (Lunch)

Popołudnie wolne (Free Time)

19⁰⁰ -Kolacja (Dinner)

Piątek (Friday), 11 May 2018

Sesja przedpołudniowa

9⁰⁰ - Piotr Błaszczyk, Trends in the History of Infinity, Part II.

9⁴⁰ - Tomasz Jarmużek, Krzysztof A. Krawczyk, Solution to the Fitch Paradox Based on De Re Knowability Modality.

10¹⁰ - Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak, On Modalities in the Context of Discussive Logics.

10⁴⁰ - Przerwa (Coffee Break)

11¹⁰ - Tomasz Połacik, Conservativity of Classical Set Theory over Its Constructive Counterpart.

11⁴⁰ - Tomasz Witczak, Intuitionistic Modal Logic in Neighborhood and Bi-Relational Setting.

12¹⁰ - Marcin Selinger, Relation of Attack.

12⁴⁰- Zamknięcie konferencji

13⁰⁰ -Obiad (Lunch)