University of Wroclaw

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

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

VIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

VIII Konferencja
Zastosowania Logiki w Filozofii
i Podstawach Matematyki
Karpacz, 6-10 maja 2003

Komitet Organizacyjny:

  • Janusz Czelakowski, Uniwersytet Opolski
  • Piotr Wojtylak, Uniwersytet Śląski
  • Jan Zygmunt, Uniwersytet Wrocławski

Lista uczestników

  1. Jean-Yves Béziau, Université de Neuchâtel.
  2. Andrzej Biela, Uniwersytet Śląski.
  3. Piotr Błaszczyk, AP Kraków.
  4. Piotr E. Borowik Jr, WSP Częstochowa.
  5. Piotr W. Borowik, WSP Częstochowa.
  6. Grzegorz Bryll, Uniwersytet Opolski.
  7. Edward Bryniarski, Uniwersytet Opolski.
  8. Janusz Czelakowski, Uniwersytet Opolski.
  9. Bożena Czernecka, KUL.
  10. Arkadiusz Drukier, PWSZ Legnica.
  11. Wojciech Dzik, Uniwersytet Śląski.
  12. Tomasz Furmanowski, Uniwersytet Wrocławski.
  13. Joanna Grygiel, WSP Częstochowa.
  14. Jacek Hawranek, Uniwersytet Wrocławski.
  15. Leszek Jaworski, Uniwersytet Opolski.
  16. Pierre Joray, Université de Neuchâtel.
  17. Janusz Kaczmarek, Uniwersytet Łódzki.
  18. Maciej Kandulski, Uniwersytet Adama Mickiewicza.
  19. Mirosława Kołowska-Gawiejnowicz, Uniwersytet Adama Mickiewicza.
  20. Zofia Kostrzycka, Politechnika Opolska.
  21. Robert Kublikowski, KUL.
  22. Piotr Kulicki, KUL.
  23. Marek Magdziak, Uniwersytet Wrocławski.
  24. Iwona Marek, Uniwersytet Śląski.
  25. Denis Miéville, Université de Neuchâtel
  26. Joanna Napiórkowska, Uniwersytet Opolski.
  27. Jerzy Pogonowski, Poznań.
  28. Tomasz Połacik, Uniwersytet Śląski.
  29. Marcin Selinger, Uniwersytet Wrocławski.
  30. Tomasz Skura, Uniwersytet Wrocławski.
  31. Dariusz Surowik, Uniwersytet w Białymstoku.
  32. Bogdan Staruch, Uniwersytet Warmińsko-Mazurski.
  33. Bożena Staruch, Uniwersytet Warmińsko-Mazurski.
  34. Kordula Świętorzecka, Uniwersytet Kardynała Wyszyńskiego.
  35. Roman Tomanek, Uniwersytet Kardynała Wyszyńskiego.
  36. Grzegorz Trela, Uniwersytet Śląski.
  37. Roman Tuziak, Uniwersytet Wrocławski.
  38. Irena Trzcieniecka-Schneider, AP Kraków.
  39. Jacek Waldmajer, Uniwersytet Opolski.
  40. Piotr Wasilewski, Uniwersytet Jagielloński.
  41. Janusz Wesserling, Uniwersytet Kardynała Wyszyńskiego.
  42. Eugeniusz Wojciechowski, AR Kraków.
  43. Piotr Wojtylak, Uniwesytet Śląski.
  44. Jan Woleński, Uniwersytet Jagielloński.
  45. Andrzej Wójcik, Uniwersytet Śląski.
  46. Urszula Wybraniec-Skardowska, Uniwersytet Opolski.
  47. Anna Zalewska, Uniwersytet w Białymstoku.
  48. Katarzyna Zbieć, Uniwersytet w Białymstoku.
  49. Jan Zygmunt, Uniwersytet Wrocławski.
  50. Ewa Żarnecka-Biały, Uniwersytet Jagielloński.


 

Program

Wtorek, 6 maja 2003

13.00 - Rejestracja uczestników

Środa, 7 maja 2003

 
8.55 Otwarcie konferencji
Sesja przedpołudniowa
  9.00 Jerzy Pogonowski - On applications of extended mereology.
  9.45 Pierre Joray - A definition of finite cardinals in Leśniewski's ontology.
10.30 Przerwa
11.00 Janusz Czelakowski - An algebraic treatment of infinitistic definitions.
11.45
Sesja popołudniowa
15.00 Ewa Żarnecka-Biały - Leśniewskiego "nierozumiejące" spojrzenie na logikę tradycyjną.
15.30 Piotr Kulicki - Bezkwantyfikatorowe ujęcie ontologii Leśniewskiego.
16.00 Kordula Świętorzecka - Stałe problemy ze zmiennymi.
16.30 Przerwa
17.00 Eugeniusz Wojciechowski - Rachunek nazw z podkategoriami: nazwy własne i nazwy powszechnikowe.
17.30 Piotr E. Borowik - Jan Śleszyński o "Podstawach teorii mnogości" St. Leśniewskiego II.
18.00 Piotr W. Borowik - Automatyzacja dowodzenia tez w modalnym rachunku predykatów.

Czwartek, 8 maja 2003

Sesja przedpołudniowa
  9.00 Joanna Grygiel - Dimensions of Boolean cubes in finite distributive lattices.
  9.45 Tomasz Skura - Maximality and propositional logic.
10.30 Przerwa
11.00 Janusz Kaczmarek - Positive and negative properties. A case of logical representation.
11.45 Piotr Wasilewski - Superweniencja i częściowa superweniencja z perspektywy topologicznej.
Sesja popołudniowa
15.00 Jean-Yves Béziau - A new four-valued approach to modal logic.
15.30 Wojciech Dzik - Cylindric algebras and multimodal logics.
16.00 Zofia Kostrzycka - On one-generated lattices of extensions of Grzegorczyk logic.
16.30 Przerwa
17.00 Tomasz Połacik - An equational fragment of arithmetic.
17.30 Dariusz Surowik - Argumenty na rzecz determinizmu i logiki temporalne.
18.00 Mirosława Kołowska-Gawiejnowicz - Relational semantics for type logics.


Piątek, 9 maja 2003

Sesja przedpołudniowa
  9.00 Jan Woleński - Zdania identycznościowe.
  9.30  Bożena i Bogdan Staruch - Wnioskowanie z modelu częściowego.
10.00 Roman Tomanek - Wszechwiedza logiczna. Z zagadnień logiki epistemicznej.
10.30 Przerwa
11.00 Maciej Kandulski - Tree languages of nonassociative categorial grammars.
11.30 Katarzyna Zbieć - Logiki rozmyte.
12.00 Grzegorz Trela - Logika diachroniczna.


Sobota, 10 maja 2003

Sesja przedpołudniowa
  9.00 Irena Trzcieniecka-Schneider - Przegląd błędów logicznych w podręcznikach szkolnych.
  9.45 Marek Magdziak - Prawda i konteksty sytuacyjne.
10.30 Przerwa
11.00 Piotr Błaszczyk - Ciągłość i liczby rzeczywiste.
11.45 Edward Bryniarski - Uniwersalna deterministyczna logika zdarzeń.
12.30 Zamknięcie konferencji.