University of Wroclaw

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

You are here: Home > History > XVII Conference Applications of Logic in Philosophy and the Foundations of Mathematics

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

The organizing committee:

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

e-communication and computer setup:

  • Krzysztof Siemieńczuk, Wrocław University
  • Bartłomiej Skowron, Wrocław University


 

 

 

 

 

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

  855 -       Opening of the Conference

                Morning session

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

  950 -       Janusz Czelakowski (EN), Model Sets and Model Complete Theories.

1030 -      Przerwa (Coffee Break)

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

1150 -      Piotr Wojtylak (EN), Structural Completeness in Modal Logics.

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

                Afternoon session

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

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

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

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

 

1700 -      Coffee Break

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

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

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

 

Wednesday 9 May 2012

                Morning session

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

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

1030 -      Coffee Break

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

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

1230 -         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

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

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

1030 -      Coffee Break

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

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

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

1230 -      Michał Lipnicki (EN), Relations Between Buddhist Logic and Ontology.

                Afternoon session

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

1530 -      Małgorzata Kruszelnicka (EN), Bisimulations of Finite Kripke Models.

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

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

1700 -      Coffee Break

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

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

1830 -      Jacek Hawranek (PL), TBA.

Friday 11 May 2012

                Morning session

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

  950 -       Marcin Selinger (PL), The Role of Reasoning Types in Argumentation.

1030 -      Coffee Break

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

1130 -      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

 
Tu podaj tekst alternatywnyProjekt 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.

IMGP2571_2017-01-27_19-22-26.jpgIMGP2544_2017-01-27_19-22-25.jpgIMGP2461_2017-01-27_19-22-25.jpgIMGP2477_2017-01-27_19-22-25.jpgIMGP2479_2017-01-27_19-22-25.jpgIMGP2483_2017-01-27_19-22-25.jpgIMGP2491_2017-01-27_19-22-25.jpgIMGP2497_2017-01-27_19-22-25.jpgIMGP2510_2017-01-27_19-22-25.jpgIMGP2538_2017-01-27_19-22-25.jpgIMGP2546_2017-01-27_19-22-26.jpgIMGP2552_2017-01-27_19-22-26.jpg