University of Wroclaw

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

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