You are here: Home > History > X Conference Applications of Logic in Philosophy and the Foundations of Mathematics
X Conference Applications of Logic in Philosophy and the Foundations of Mathematics
9-13 May 2005
Szklarska Poręba
The Organizing Committee:
- Janusz Czelakowski, Opole University
- Piotr Wojtylak, University of Silesia
- Jan Zygmunt, Wrocław University
Program
Monday, 9 May 2005
14:00 Registration - „Radość” at Szklarska Poręba, Muzealna st. 2/5.
Tuesday, 10 May 2005
8.55 - Opening of the Conference
Morning session
9.00 - Jerzy Pogonowski - Wielokropek
9.45 - Marek Magdziak - Konteksty sytuacyjne
10.30 - Coffee Break
11.00 - Marcin Selinger - Fałsz versus kłamstwo
11.45 - Krzysztof Szymanek - O podstawach wnioskowania przez analogię
Afternoon session
15.00 - Piotr Błaszczyk -
15.45 - Janusz Czelakowski - Infinitistic methods in the theory of definitions (I)
16.30 - Coffee Break
17.00 - Ewa Żarnecka-Biały - Dylematy retoryczne
17.30 - Arkadiusz Drukier - Problematyka definicji w pismach Tadeusza Czeżowskiego
18.00 - Piotr Borowik - Kilka uwag historycznych o systemach sekwencyjnych
20.00 - 21.00 Wolna trybuna; czas na dyskusje i wystąpienia ad hoc
Wednesday, 11 May 2005
Morning session
9.00 - Richard Zuber - Quasi-logical quantifiers and semantic universes
9.45 - Włodzimierz Lapis - O rozszerzaniu klasy zdań sylogistycznych
10.30 - Coffee Break
11.00 - Mariusz Urbański - Rachunki Sokratyczne dla pewnej klasy logik temporalnych
11.45 - Dorota Leszczyńska - Rachunki Sokratyczne dla pewnych rozszerzeń systemu S4
Free Afternoon
Thursday, 12 May 2005
Morning session
9.00 - Zofia Adamowicz - Peano arithmetic and its fragments (I)
9.45 - Matthias Baaz - Term induction
10.30 - Coffee Break
11.00 - Roman Murawski - O statusie tezy Churcha
11.45 - Janusz Czelakowski - Infinitistic methods in the theory of definitions (II)
Afternoon session
15.00 - Andrzej Wroński - Transparent unification for equivalential algebras
15.45 - Wojciech Dzik - Unifikacja w logikach niefregowskich
16.30 - Coffee Break
17.00 - Zofia Kostrzycka - Monadic fragments of some intermediate logics and their statistical properties
17.30 - Eugeniusz Wojciechowski - Problem pary uporządkowanej: indukcyjna definicja n-tki uporządkowanej
18.00 - Jacek Waldmajer - Two ways of representing knowledge
Friday, 13 May 2005
Morning session
9.00 - Zofia Adamowicz - Peano arithmetic and its fragments (II)
9.45 - Tomasz Połacik - Kripke models of Heyting arithmetic and its fragments
10.30 - Coffee Break
11.00 - Andrzej Biela - Testowanie zagadnień trudnych
11.45 - Adam Kolany - Podstawy relacyjne baz danych w ujęciu wielozbiorowym
12.30 - Organizatorzy - Słowo o minionych dziesięciu konferencjach
Closing of the Conference
