You are here: Home > Archiwum > XXIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
XXIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
Szklarska Poręba
7-11 maja 2018
Zaproszony Gość
Komitet Organizacyjny
oraz osoby odpowiedzialne za e-communication and computer setup:
Program
Przerwa = przerwa na kawę, herbatę + ciasteczko.
Poniedziałek (Monday), 7 maja 2018
Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku „Olimp” w Szklarskiej Porębie, ul. 1 Maja 62.
855 - Otwarcie konferencji
Sesja przedpołudniowa
900 - Andrzej Indrzejczak, Definite Descriptions and Proof Theory, Part I.
1000 - Janusz Kaczmarek, On Lattices of Situations and Wittgenstein's Topology.
1040 - Przerwa
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 Magner, The Connective “czy” in Polish Viewed as a Conjunction.
1300 - Obiad
Sesja Bryllowska
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
1720 - Sesja wspomnieniowa
1910 - Kolacja
Środa (Wednesday), 9 maja 2018
Sesja przedpołudniowa
900 - Andrzej Indrzejczak, Definite Descriptions and Proof Theory, Part II.
1000 - Piotr Wojtylak, Wojciech Dzik, Unification in Predicate Modal Logics.
1050 - Przerwa
1120 - Wiesław Kubiś, The Weak Amalgamation Property.
1150 - Michał Stronkowski, Deciding (Active) Structural Completeness.
1220 - Michał Zawidzki, Mosaic-Based Decidability of a Logic of Order-Of-Magnitude.
1300 - Obiad
Popołudnie wolne
2000 - Uroczysta kolacja
Czwartek (Thursday), 10 maja 2018
Sesja przedpołudniowa
900 - Piotr Błaszczyk, Trends in the History of Infinity, Part I.
940 - Tomasz Furmanowski, Goodbye, Dedekind.
1010 - Eugeniusz Wojciechowski, Elementary Ontology with Frege's Predication Scheme: Distributive Classes and Collective Classes.
1040 - Przerwa
1110 - Marek Magdziak, An Outline of Logical Analysis of the Concept of Value.
1150 - Marcin Drofiszyn, A Deontic Logic for Normative Dilemmas.
1210 - Zofia Hałęza, Logic and Method in Gassendi and in School of Port-Royal.
1230 - Grzegorz Trela, Metaphilosophical Controversy about Logic. Selected Interpretations [referat nie został wygłoszony z powodu nieobecności prelegenta].
1300 - Obiad
Popołudnie wolne
1900 - Kolacja
Piątek (Friday), 11 maja 2018
Sesja przedpołudniowa
900 - Piotr Błaszczyk, Trends in the History of Infinity, Part II.
940 - Tomasz Jarmużek, Krzysztof A. Krawczyk, Solution to the Fitch Paradox Based on De Re Knowability Modality.
1010 - Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak, On Modalities in the Context of Discussive Logics.
1040 - Przerwa
1110 - Tomasz Połacik, Conservativity of Classical Set Theory over Its Constructive Counterpart.
1140 - Tomasz Witczak, Intuitionistic Modal Logic in Neighborhood and Bi-Relational Setting.
1210 - Marcin Selinger, Relation of Attack.
1240 - Zamknięcie konferencji
1300 - Obiad