University of Wroclaw

XVII Conference Applications of Logic in Philosophy and the Foundations of Mathematics

Applications of Logic in Philosophy and the Foundations of Mathematics

Part-whole Theory

Szklarska Poręba
May 7-11, 2012

Conference Agenda

Note. (EN) means that the talk is presented in English, (PL) - in Polish.

Coffee Break = break for coffee, tea & cake.

Monday 7 May 2012

Registration - from 2:00 PM.

Tuesday 8 May 2012

  8⁵⁵ -       Opening of the Conference

                Morning session

  9⁰⁰ -       Thomas Mormann (EN), Spatial Reasoning in Heyting Mereology.

  9⁵⁰ -       Janusz Czelakowski (EN), Model Sets and Model Complete Theories.

10³⁰ -      Przerwa (Coffee Break)

11⁰⁰ -      Marek Rosiak (EN), Parts and Wholes in Philosophy and Philosophy of Parts and Wholes, I.

11⁵⁰ -      Piotr Wojtylak (EN), Structural Completeness in Modal Logics.

12²⁰ -      Wojciech Dzik (EN), Almost Structural Completeness in Some Many-Valued Logics.

                Afternoon session

15⁰⁰ -      Anetta Górnicka, Joanna Grygiel, Katarzyna Grygiel (EN), Blocks of Skeleton Tolerances.

15³⁰ -      Gábor Czédli, Joanna Grygiel, Katarzyna Grygiel (EN), Finite Distributive Lattices and their Boolean Parts.

16⁰⁰ -      Michał Zawidzki (EN), Tableau-based Decision Procedures and  Blocking Mechanisms.

16³⁰ -      Tomasz Połacik (EN), Bisimulation Reducts of Kripke Models for Intuitionistic Predicate Logic.

17⁰⁰ -      Coffee Break

17³⁰ -      Eugeniusz Wojciechowski (PL with the slides in EN), Elementary Ontology and the Classical Calculus of Relations.

18⁰⁰ -      Marek Magdziak (PL), Modal Ontologic: Parts and Qualities.

18³⁰ -      Elżbieta Magner (PL), The connective "ani" and the connective "i" in Polish.

Wednesday 9 May 2012

                Morning session

  9⁰⁰ -       Thomas Mormann (EN), The Many Facets of Boundaries: Mereology, Topology, and Measure Theory.

  9⁵⁰ -       Mikko Leinonen (EN), On Carnap and the Problem of Systematic Philosophy.

10³⁰ -      Coffee Break

11⁰⁰ -      Marek Rosiak (EN), Parts and Wholes in Philosophy and Philosophy of Parts and Wholes, II.

11⁵⁰ -      Jacek Waldmajer, Urszula Wybraniec-Skardowska (PL with the slides in EN), Parts and Constituents of Language Expressions.

12³⁰ -         Joanna Skulska (PL), The Application of Aristotelian Theory of Topoi to the Theory of Argument Schemes.

                Popołudnie wolne

Thursday 10 May 2012

                Morning session

  9⁰⁰ -       Marek Rosiak (EN), Parts and Wholes in Philosophy and Philosophy of Parts and Wholes, III.

10⁰⁰ -      Marek Piwowarczyk (EN) On the Ontological Status of Substantial Wholes and Their Parts.

10³⁰ -      Coffee Break

11⁰⁰ -      Bartłomiej Skowron (EN), Toward a General Topological Theory of Object and Its Parts.

11³⁰ -      Piotr Kulicki (EN), Horn Supersystems of the Quantifier-free Fragment of Le¶niewski's Ontology.

12⁰⁰ -      Robert Trypuz, Piotr Kulicki (EN), Deontic Operators Meet Compound Actions.

12³⁰ -      Michał Lipnicki (EN), Relations Between Buddhist Logic and Ontology.

                Afternoon session

15⁰⁰ -      Zofia Kostrzycka (EN), Blocks of Tolerance in Reflexive and Symmetric Kripke Frames.

15³⁰ -      Małgorzata Kruszelnicka (EN), Bisimulations of Finite Kripke Models.

16⁰⁰ -    Anna Bień (EN), The Problem of  Singularity for Weighted Graphs.

16³⁰ -    Marcin Łazarz, Krzysztof Siemieńczuk (EN), On R-irreducibility in Finite Heyting Lattices.

17⁰⁰ -      Coffee Break

17³⁰ -      Zbigniew Żurakowski (EN), The Gap in Kant's Division of Judgments.

18⁰⁰ -      Sławomir Kost (PL), Some Result on Bimodal Logic (S5,S5).

18³⁰ -      Jacek Hawranek (PL), TBA.

Friday 11 May 2012

                Morning session

  9⁰⁰ -       Kazimierz ¦wirydowicz (PL), On Ostensive Definitions.

  9⁵⁰ -       Marcin Selinger (PL), The Role of Reasoning Types in Argumentation.

10³⁰ -      Coffee Break

11⁰⁰ -      Olena Yaskorska (PL), Applying Logic in  Modelling Communication.

11³⁰ -      Jan Zygmunt (PL), My Contribution to an Anthology of Universal Logic: Comments on a Paper by Tarski (1928) and by Łoś and Suszko (1958).

Closing the conference

 
Projekt współfinansowany z budżetu Województwa Dolnośląskiego

The project is financially supported by the Lower Silesian Voivodeship

List of participants

1. Bień Anna, Uniwersytet Śląski, Katowice
2. Czelakowski Janusz, Uniwersytet Opolski, Opole
3. Dzik Wojciech, Uniwersytet Śląski, Katowice
4. Glenszczyk Anna, Uniwersytet Śląski, Katowice
5. Grygiel Joanna, Akademia im. Jana Długosza w Częstochowie, Częstochowa
6. Grygiel Katarzyna, Uniwersytet Jagielloński, Kraków
7. Górnicka Anetta, Akademia im. Jana Długosza w Częstochowie, Częstochowa
8. Hawranek Jacek, Uniwersytet Wrocławski, Wrocław
9. Kolany Adam, Katowice
10. Kost Sławomir, Uniwersytet Śląski, Katowice
11. Kostrzycka Zofia, Politechnika Opolska, Opole
12. Kruszelnicka Małgorzata, Uniwersytet Śląski, Katowice
13. Kulicki Piotr, Katolicki Uniwersytet Lubelski Jana Pawła II, Lublin
14. Leinonen Mikko, University of Tartu, Tartu
15. Lipnicki Michał, Uniwersytet Adama Mickiewicza, Poznań
16. Łazarz Marcin, Uniwersytet Wrocławski, Wrocław
17. Magdziak Marek, Uniwersytet Wrocławski, Wrocław
18. Magner Elżbieta, Uniwersytet Wrocławski, Wrocław
19. Misiuna Krystyna, Uniwersytet Warszawski, Warszawa
20. Mormann Thomas, University of Basque Country, Donostia-San Sebastián
21. Piwowarczyk Marek, Katolicki Uniwersytet Lubelski Jana Pawła II, Lublin
22. Połacik Tomasz, Uniwersytet Śląski, Katowice
23. Rosiak Marek, Uniwersytet Łódzki, Łódź
24. Selinger Marcin, Uniwersytet Wrocławski, Wrocław
25. Siemieńczuk Krzysztof, Uniwersytet Wrocławski, Wrocław
26. Skowron Bartłomiej, Uniwersytet Wrocławski, Wrocław
27. Skulska Joanna, Wojskowa Akademia Techniczna, Warszawa
28. Szachniewicz Monika, Uniwersytet Wrocławski, Wrocław
29. Świrydowicz Kazimierz, Uniwersytet Adama Mickiewicza, Poznań
    Uniwersytet Artystyczny w Poznaniu, Poznań
30. Trypuz Robert, Katolicki Uniwersytet Lubelski Jana Pawła II, Lublin
31. Waldmajer Jacek, Uniwersytet Opolski, Opole
32. Wojciechowski Eugeniusz, Uniwersytet Rolniczy im. H. Kołłątaja,,  Kraków
33. Wojtylak Piotr, Uniwersytet Opolski, Opole
34. Wybraniec-Skardowska Urszula, Grupa Logiki, Języka i Informacji,
    Uniwersytet Opolski, Opole
35. Yaskorska Olena, Uniwersytet Kardynała Stefana Wyszyńskiego, Warszawa
36. Zawidzki Michał, Uniwersytet Łódzki, Łódź
37. Zygmunt Jan, Uniwersytet Wrocławski, Wrocław
38. Żurakowski Zbigniew, Uniwersytet Opolski, Opole

Announcements:

First Announcement

We are pleased to announce that the Seventeenth Conference Applications of Logic in Philosophy and Foundations of Mathematics will be held in Szklarska Poręba from May 7 to May 11, 2012. Traditionally, the organizers of the conference are Chair of Logic, University of Wrocław, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The event is being held under the patronage of Polish Association for Logic and Philosophy of Science. The conference will take place in Szklarska Poręba, in the lovely Sudety Mountains on the Polish-Czech border.
Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be Part-whole Theory.
We encourage everyone interested in logic, not only in the research related to the leading theme, to participate in our event. Contributions related to the leading theme and other topics in logic, logical philosophy, the foundations of mathematics and related areas are welcome.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/ conference.html.
Please, forward this message to those who may be interested in participation in our meeting. We are looking forward to seeing you at the conference,

Janusz Czelakowski, Opole University
Tomasz Połacik, University of Silesia
Marcin Selinger, University of Wrocław

Second Announcement

We are pleased to announce that the Seventeenth Conference Applications of Logic in Philosophy and Foundations of Mathematics will be held in Szklarska Poręba from May 7 to May 11 2012. Traditionally, the organizers of the conference are Chair of Logic, University of Wrocław, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia. The event is being held under the patronage of Polish Association for Logic and Philosophy of Science.

The leading theme of the current issue of the conference is Part-Whole Theory. It is a pleasure to announce that the list of the invited speakers of our conference includes Thomas Mormann, University of Basque Country, Marek Rosiak, University of ŁódĽ, Peter Simons, Trinity College Dublin, Toshiharu Waragai, Tokyo Institute of Technology.

The conference venue is situated in the Sudety Mountains on the Polish-Czech border at Olimp Hotel in Szklarska Poręba. The cost of accommodation (including meals) is from 634 PLN in a double room to 714 PLN in a single room. The conference fee is 150 PLN. For the payment details, please, visit the conference website http://www.klmn.uni.wroc.pl/conference.html. For registration and the hotel reservation, please fill out the registration form on the conference website. The deadline for registration and the hotel reservation is April 20, 2012.

We encourage everyone interested in logic, and part-whole theory in particular, to participate in our event. Contributions concerning the leading theme of the conference and other topics in logic, logical philosophy, foundations of mathematics and related areas are welcome. The abstracts of 30-40 minutes talks, not extending one page, should be submitted via the registration form on the conference website. The deadline for submissions is April 13, 2012.

For additional information, please, contact the organizers, Marcin Selinger marcisel@uni.wroc.pl or Tomasz Połacik polacik@math.us.edu.pl.

We are looking forward to seeing you at the conference,

Janusz Czelakowski, Opole University
Tomasz Połacik, University of Silesia
Marcin Selinger, University of Wrocław

Invited speakers:

It is a pleasure to announce that the list of the invited speakers of our conference includes Thomas Mormann, University of Basque Country, Marek Rosiak, University of ŁódĽ, Peter Simons, Trinity College Dublin, Toshiharu Waragai, Tokyo Institute of Technology.