University of Wroclaw

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

You are here: Home > Archiwum > IX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

IX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

26-30 kwietnia 2004
Karpacz

Zdjęcia IX

 Komitet Organizacyjny:

Program

Poniedziałek, 26 kwietnia 2004

13:00 Rejestracja uczestników

Wtorek, 27 kwietnia 2004

8:55 Otwarcie konferencji
  Sesja przedpołudniowa
9:00 Jerzy Perzanowski - Towards Combination Methaphysics
10:30 Przerwa
11:00 Marek Tokarz - O Kłamstwie
  Sesja popołudniowa
15:00 Joanna Grygiel - Numerical characterization of finite distributive lattices
15:30 Luis F. Cáceres - Divisibility Properties in Rings of Polynomials over a UFD
16:00 Zofia Kostrzycka - On the density of truth in Grzegorczyk's modal logic
16:30 Przerwa
17:00 Sándor Radeleczki - On varieties defined by pseudocomplemented nondistributve lattices
17:30 Janusz Czelakowski - Set-theoretic domains. Towards the algebraically-oriented set theory
18:00 Lidia Badura - Problem słów a wyrażenia regularne

Środa, 28 kwietnia 2004

   Sesja przedpołudniowa
9:00 Jean-Yves Beziau - Does logic need axioms?
9:45 Ryszard Wójcicki - What logic is about?
10:30 Przerwa
11:00 Nadine Gessler - Categorial Analysis of the Type Hierarchy in Leśniewski's System of Ontology
11:45 Alexandre Costa - What is synchronization between logics?
  Sesja popołudniowa
15:00 Krystyna Misiuna - Belnap's four-valued logic and reasonings with incomplete and inconsistent information
15:45  
16:30 Przerwa
17:00 Cédric Degrange - A semantic solution to impredicativity
17:30 Wojciech Dzik -
18:00 Ryszard Wójcicki - Studia Logica

Czwartek, 29 kwietnia 2004

   Sesja przedpołudniowa
9:00 Marek Magdziak - O pewnej definicji prawdy
9:45  
10:30 Przerwa
11:00 Eugeniusz Wojciechowski - W poszukiwaniu intuicyjnych podstaw logiki modalnej: O systemie C-N-{delta} Łukasiewicza 
11:30 Zbigniew Tworak - Teoria prawdy Kripkego a rewizyjna teoria prawdy Gupty-Belnapa
   Sesja popołudniowa
15:00 Urszula Wybraniec-Skardowska - O pojęciu odrzucania, jego zastosowaniu i uogólnieniu
15:45 Edward Bryniarski - Komputerowe reprezentacje metody założeniowej dowodzenia twierdzeń
16:30 Przerwa
17:00 Arkadiusz Drukier -
17:30 Piotr W. Borowik - Kilka uwag o tablicach analitycznych J.Hintikki i R.Smullyana
18:00 Piotr E. Borowik, Jr - Jan Sleszyński i teoria mnogości Stanisława Leśniewskiego

Piątek, 30 kwietnia 2004

   Sesja przedpołudniowa
9:00 Jan Zygmunt - Stulecie Twierdzenia Zermelo o dobrym uporządkowaniu
9:45 Jerzy Pogonowski - Zermelo: antyskolemizm dobrze ufundowany
10:30 Przerwa
11:00 Adam Olszewski - Kilka uwag o Tezie Churcha i pewnym Aksjomacie Hilberta
11:45 Tomasz Furmanowski - Aksjomat wyboru a pewna symetria
12:00 Tomasz Furmanowski - O minimalizacji funkcji boole'owskich
12:30 Zamknięcie konferencji

 Lista uczestników

  1. Jean-Yves Beziau, Université de Neuchâtel.
  2. Andrzej Biela, Uniwersytet Śląski.
  3. Piotr E. Borowik Jr, WSP Częstochowa.
  4. Piotr W. Borowik, WSP Częstochowa.
  5. Edward Bryniarski, Uniwertsytet Opolski.
  6. Luis F. Caceres, University of Puerto Rico, Mayaguez.
  7. Agnieszka Chotomska, Uniwersytet Wrocławski.
  8. Alexandre Costa, Université de Neuchâtel.
  9. Janusz Czelakowski, Uniwersytet Opolski.
  10. Cédric Degrange,  Université de Neuchâtel.
  11. Arkadiusz Drukier, PWSZ Legnica.
  12. Wojciech Dzik, Uniwersytet Śląski.
  13. Tomasz Furmanowski, Uniwersytet Wrocławski.
  14. Alfred Gawroński, Papieska Akademia Teologiczna.
  15. Nadine Gessler, Université de Neuchâtel.
  16. Adam Grabowski, Uniwersytet w Białymstoku.
  17. Joanna Grygiel, WSP w Częstochowie.
  18. Jacek Hawranek, Uniwersytet Wrocławski.
  19. Zofia Kostrzycka, Politechnika Opolska.
  20. Dorota Leszczyńska, Uniwersytet Zielonogórski.
  21. Marek Magdziak, Uniwersytet Wrocławski.
  22. Iwona Marek, Uniwersytet Śląski.
  23. Krystyna Misiuna, Uniwersytet Warszawski.
  24. Krystyna Mruczek-Nasieniewska, IFiS PAN.
  25. Marek Nasieniewski, IFiS PAN.
  26. Adam Olszewski, Papieska Akademia Teologiczna.
  27. Jerzy Perzanowski, Uniwersytet Jagielloński.
  28. Jerzy Pogonowski, Poznań.
  29. Sándor Radeleczki,  University of Miskolc.
  30. Marcin Selinger, Uniwersytet Wrocławski.
  31. Tomasz Skura, Uniwersytet Wrocławski.
  32. Grażyna Solecka, Uniwersytet Wrocławski.
  33. Krzysztof Szymanek, Uniwersytet Śląski.
  34. Marek Tokarz, Uniwersytet Śląski.
  35. Grzegorz Trela, Uniwersytet Śląski.
  36. Irena Trzcieniecka-Schneider, Akademia Pedagogiczna w Krakowie.
  37. Zbigniew Tworak, Uniwersytet Adama Mickiewicza.
  38. Mariusz Urbański, Uniwersytet Zielonogórski.
  39. Janusz Wesserling, Uniwersytet Kardynała Wyszyńskiego.
  40. Agnieszka Wiechuła, Uniwersytet Wrocławski.
  41. Krzysztof Wieczorek, Uniwersytet Śląski.
  42. Andrzej Wiśniewski, Uniwersytet Zielonogórski.
  43. Eugeniusz Wojciechowski,  Akademia Ekonomiczna w Krakowie.
  44. Piotr Wojtylak, Uniwesytet Śląski.
  45. Ryszard Wójcicki, IFiS PAN.
  46. Andrzej Wójcik, Uniwersytet Śląski.
  47. Urszula Wybraniec-Skardowska, Uniwersytet Opolski.
  48. Jan Zygmunt, Uniwersytet Wrocławski.
  49. Ewa Żarnecka-Biały, Uniwersytet Jagielloński.