Toruńskie Warsztaty Logiczno-Filozoficzne
na Zamku Krzyżackim w Bierzgłowie
5–8 września, 2005

Pierwsza edycja Warsztatów miała miejsce we wspaniałej lokacji, na malowniczym zamku krzyżackim w miejscowości Zamek Bierzgłowski, którego gotyckie sklepienia i średniowieczna sala rycerska gościły nas przez trzy dni i trzy noce.

Zaproszeni  goście

Gościliśmy prof. Grzegorza Malinowskiego (Uniwersytet Łódzki) z odczytem „Inferencja i wielowartościowość” oraz prof. Uwe Schefflera (Uniwersytet Humboldta, Berlin) z referatem „Hilbert, Carnap, Brandom and the Semantic Web. How to grasp semantic relations?”.

Część szkoleniowa

Jako temat szkoleniowy wybrano „Mereologia z zastosowaniami w geometrii bezpunktowej”. Poprowadził go Andrzej Pietruszczak.

Program Warsztatów

Poniedziałek, 5 września

16.00  Rejestracja uczestników

18.30  Kolacja

Wtorek, 6 września

8.30   Śniadanie

9.45   Otwarcie konferencji

10.00  Poranna sesja referatów. Przewodniczyła Elżbieta Kałuszyńska

10.00  Grzegorz Malinowski (gregmal@uni.lodz.pl), „Inference and many-valuedness”, Uniwersytet Łódzki, Łódź

11.00  Przerwa na kawę

11.20  Sławomir Kurzyński (slawku@op.pl), „Logika zmiany (Z1) Stanisława Kiczuka”, Uniwersytet Warmińsko-Mazurski, Olsztyn

12.00  Joanna Obrębska (joanli@poczta.onet.pl), „Charakterystyka logik zmian dychotomicznych w strukturach liniowych i dyskretnych”, Uniwersytet Warmińsko-Mazurski, Olsztyn

12.40  Józef Wajszczyk, „Trzy rodzaje konsekwencji matrycowej w semantyce algebr temporalnych”, Uniwersytet Warmińsko-Mazurski, Olsztyn

13.30   Obiad

14.30   Popołudniowa sesja referatów. Przewodniczył Józef Wajszczyk

14.30  Elżbieta Kałuszyńska (ekaluszy@human.uwm.edu.pl), „O pojęciu sądu logicznego”, Uniwersytet Warmińsko-Mazurski, Olsztyn

15.10  Rafał Palczewski (rpalcz@stud.uni.torun.pl), „Poznawalność dystrybutywna”, Uniwersytet Mikołaja Kopernika, Toruń

15.40  Zbigniew Tworak (tworak@amu.edu.pl), „O rozumowaniu przekątniowym”, Uniwersytet Adama Mickiewicza, Poznań

16.20  Przerwa na kawę

16.30  Krystyna Mruczek-Nasieniewska (mruczek@uni.torun.pl),  Marek Nasieniewski (mnasien@uni.torun.pl), „Twierdzenie o pełności dla pewnej klasy logik parakonsystentnych (Completeness Theorem for a Class of Paraconsistent Logics)”,  Uniwersytet Mikołaja Kopernika, Toruń

17.00  Krystyna Mruczek-Nasieniewska (mruczek@uni.torun.pl),  „Semantyczna charakteryzacja teorii P-zgodnych (A Semantic Characterization  of P-compatible Theories)”, Uniwersytet Mikołaja Kopernika, Toruń

17.30   Warsztaty mereologiczne. Prowadził Andrzej Pietruszczak

18.30   Kolacja

19.00   Toruń nocą — wycieczka na toruńską starówkę

0.00     Powrót do Zamku

Środa, 7 września

8.30   Śniadanie

9.30   Poranna sesja referatów.  Przewodniczył Grzegorz Malinowski

9.30    Uwe Scheffler (sheffleru@philosophie.hu-berlin.de), „Hilbert, Carnap, Brandom and the Semantic Web. How to grasp semantic relations?”, Humboldt University, Berlin, Niemcy

10.30  Maciej Nowicki (mnowicki@uni.torun.pl), „Towards the Logic of St. Anselm”, Uniwersytet Mikołaja Kopernika, Toruń

11.10  Przerwa na kawę

11.30  Tomasz Kąkol (null_set@poczta.onet.pl), „Troubles with the Identity Relation in Lebenswelt or Material Constitution A. D. 2005 (a survey)”, Uniwersytet Mikołaja Kopernika, Toruń

12.10  Fabien Schang (schang.fabien@voila.fr), „Logical philosophy versus philosophical logic. A plea for bivalence”, LPHS Henri Poincaré, University Nancy,  Francja

12.50  Alexandre Costa-Leite (alexandre.costa@unine.ch), „Paraconsistentization of logics”, Institute of Logic, University of Neuchatel,  Szwajcaria

13.30  Obiad

14.30  Popołudniowa sesja referatów. Przewodniczył Uwe Scheffler

14.30  Alessio Moretti, Régis Pellissier (alemore@club-internet.fr), „A Further Step Into 'n-Opposition Theory': The 'Logical Hyper-Tetraicosahedron', Its Meaning and Its Uses”, Université de Nice – Sophia Antipolis, Francja

15.10  Janusz Ciuciura (janciu@uni.lodz.pl), „On the da Costa and Dubikajtis' system of the discursive logic. A new semantics and axiomatization”, Uniwersytet Łódzki, Łódź

15.50  Jacek Malinowski (jacekm@uni.torun.pl), „Logic of Simpson Paradox”, Uniwersytet Mikołaja Kopernika, Toruń

16.30  Przerwa na kawę

16.50  Warsztaty mereologiczne. Prowadził  Andrzej Pietruszczak

18.30  Uroczysta kolacja

20.00  Ognisko

Czwartek, 8 września

8.30    Śniadanie

9.30    Poranna sesja referatów. Przewodniczył Jacek Malinowski

9.30    Janusz Kaczmarek (kaczmarek@filozof.uni.lodz.pl), „Tezy realizmu modalnego w strukturze PTS”, Uniwersytet Łódzki, Łódź

10.10  Agnieszka Zemła (azemla@poczta.fm), „Czy twierdzenie Gödla ma zastosowanie filozoficzne?”, Katolicki Uniwersytet Lubelski, Lublin

10.50  Przerwa na kawę

11.20  Tomasz Jarmużek, (jarmuzek@uni.torun.pl), „Formally proper definitions of tableaux methods presented by Graham Priest”, Uniwersytet Mikołaja Kopernika, Toruń

12.00  Zamknięcie konferencji

13.30  Obiad