You are here: Home > History > IX Conference Applications of Logic in Philosophy and the Foundations of Mathematics
IX Conference Applications of Logic in Philosophy and the Foundations of Mathematics
26-30 April 2004
Karpacz
The Organizing Committee:
Program
Monday, 26 April 2004
| 13:00 | Registration |
Tuesday, 27 April 2004
| 8:55 | Opening of the Conference | |
| Morning session | ||
| 9:00 | Jerzy Perzanowski - Towards Combination Methaphysics | |
| 10:30 | Coffee Break | |
| 11:00 | Marek Tokarz - O Kłamstwie | |
| Afternoon session | ||
| 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 | Coffee Break | |
| 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 |
Wednesday, 28 April 2004
| Morning session | ||
| 9:00 | Jean-Yves Beziau - Does logic need axioms? | |
| 9:45 | Ryszard Wójcicki - What logic is about? | |
| 10:30 | Coffee Break | |
| 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? | |
| Afternoon session | ||
| 15:00 | Krystyna Misiuna - Belnap's four-valued logic and reasonings with incomplete and inconsistent information | |
| 15:45 | ||
| 16:30 | Coffee Break | |
| 17:00 | Cédric Degrange - A semantic solution to impredicativity | |
| 17:30 | Wojciech Dzik - | |
| 18:00 | Ryszard Wójcicki - Studia Logica |
Thursday, 29 April 2004
| Morning session | ||
| 9:00 | Marek Magdziak - O pewnej definicji prawdy | |
| 9:45 | ||
| 10:30 | Coffee Break | |
| 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 | |
| Afternoon session | ||
| 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 | Coffee Break | |
| 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 |
Friday, 30 April 2004
| Morning session | ||
| 9:00 | Jan Zygmunt - Stulecie Twierdzenia Zermelo o dobrym uporządkowaniu | |
| 9:45 | Jerzy Pogonowski - Zermelo: antyskolemizm dobrze ufundowany | |
| 10:30 | Coffee Break | |
| 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 | Closing of the Conference |
List of participants
Jean-Yves Beziau, Université de Neuchâtel.
- Andrzej Biela, Uniwersytet Śląski.
- Piotr E. Borowik Jr, WSP Częstochowa.
- Piotr W. Borowik, WSP Częstochowa.
- Edward Bryniarski, Uniwertsytet Opolski.
- Luis F. Caceres, University of Puerto Rico, Mayaguez.
- Agnieszka Chotomska, Uniwersytet Wrocławski.
- Alexandre Costa, Université de Neuchâtel.
- Janusz Czelakowski, Uniwersytet Opolski.
- Cédric Degrange, Université de Neuchâtel.
- Arkadiusz Drukier, PWSZ Legnica.
- Wojciech Dzik, Uniwersytet Śląski.
- Tomasz Furmanowski, Uniwersytet Wrocławski.
- Alfred Gawroński, Papieska Akademia Teologiczna.
- Nadine Gessler, Université de Neuchâtel.
- Adam Grabowski, Uniwersytet w Białymstoku.
- Joanna Grygiel, WSP w Częstochowie.
- Jacek Hawranek, Uniwersytet Wrocławski.
- Zofia Kostrzycka, Politechnika Opolska.
- Dorota Leszczyńska, Uniwersytet Zielonogórski.
- Marek Magdziak, Uniwersytet Wrocławski.
- Iwona Marek, Uniwersytet Śląski.
- Krystyna Misiuna, Uniwersytet Warszawski.
- Krystyna Mruczek-Nasieniewska, IFiS PAN.
- Marek Nasieniewski, IFiS PAN.
- Adam Olszewski, Papieska Akademia Teologiczna.
- Jerzy Perzanowski, Uniwersytet Jagielloński.
- Jerzy Pogonowski, Poznań.
- Sándor Radeleczki, University of Miskolc.
- Marcin Selinger, Uniwersytet Wrocławski.
- Tomasz Skura, Uniwersytet Wrocławski.
- Grażyna Solecka, Uniwersytet Wrocławski.
- Krzysztof Szymanek, Uniwersytet Śląski.
- Marek Tokarz, Uniwersytet Śląski.
- Grzegorz Trela, Uniwersytet Śląski.
- Irena Trzcieniecka-Schneider, Akademia Pedagogiczna w Krakowie.
- Zbigniew Tworak, Uniwersytet Adama Mickiewicza.
- Mariusz Urbański, Uniwersytet Zielonogórski.
- Janusz Wesserling, Uniwersytet Kardynała Wyszyńskiego.
- Agnieszka Wiechuła, Uniwersytet Wrocławski.
- Krzysztof Wieczorek, Uniwersytet Śląski.
- Andrzej Wiśniewski, Uniwersytet Zielonogórski.
- Eugeniusz Wojciechowski, Akademia Ekonomiczna w Krakowie.
- Piotr Wojtylak, Uniwesytet Śląski.
- Ryszard Wójcicki, IFiS PAN.
- Andrzej Wójcik, Uniwersytet Śląski.
- Urszula Wybraniec-Skardowska, Uniwersytet Opolski.
- Jan Zygmunt, Uniwersytet Wrocławski.
- Ewa Żarnecka-Biały, Uniwersytet Jagielloński.
