To Table of Contents 6'98

Mathesis Universalis - No.6, Spring 1998

Polskie Towarzystwo Logiki i Filozofii Nauki Dzialalnosc w roku 1997

SESJA PTLiFN

14 listopada 1997 w Osrodku Konferencyjnym Instytutu Lacznosci, Warszawa-Miedzeszyn odbyla sie sesja naukowa PTLiFN.

Program sesji

• Wendy MacCaull, Department of Mathematics, St. Francis Xavier University, Antigonish, Kanada: Relational tableaux for tree models, language models and information networks.
• Wojciech Buszkowski, Instytut Matematyki, Uniwersytet Adama Mickiewicza, Poznan: On models of the Lambek calculus: new representation and completeness theorems.
• Grzegorz Malinowski, Zaklad Logiki, Uniwersytet Lodzki: Referential and Inferential Many-Valuedness.
• Andrzej Szalas, Instytut Informatyki, Uniwersytet Warszawski: Quantifier Elimination for Second-Order Predicate Logic.
• John Cantwell, Department of Philosophy, Uppsala University, Szwecja: Resolving conflicting information - a qualitative approach.

SPOTKANIA WSPOLORGANIZOWANE
LUB POD AUSPICJAMI
PTLiFN

Odchodzac od kolejnosci chronologicznej, umieszczamy na pierwszym miejscu Warsztaty z grudnia 1997 w Bialymstoku ze wzgledu na ich specjalny okolicznosciowy charakter, mianowicie setna rocznice urodzenia Emila Posta obchodzona blisko miejsca jego urodzenia, ktorym byl Augustow na Bialostoczczyznie (stąd Post jest określany jako logik amerykanski polskiego pochodzenia).

Wzajemne oddzialywanie informatyki i logiki -- I Warsztaty Informatyki, Logiki i Filozofii Nauki -- W Stulecie Urodzin Emila Posta. 13-15 grudnia 1997, Bialystok

Program Warsztatów

• Roman Murawski, Wklad Posta w logike matematyczna.
• Grzegorz Malinowski, Logiki wielowartosciowe Posta.
• Witold Marciszewski, Pol wieku projektu inteligentnej maszyny i mechanizacji rozumowan.
• Piotr Wojtylak, Aksjomatyzowalnosc matryc logicznych.
• Marcin Mostowski, 'Computational Semantics' dla kwantyfikatorow monadycznych.
• Andrzej Trybulec, Permisywnosc, typy i pewnik wyboru.
• Ewa Orlowska, Polskie badania w problematyce logik Posta.
• Jaroslaw Stepaniuk, Przetwarzanie informacji metoda zbiorow przyblizonych.
• Zenon Sadowski, O rozwinieciu idei Posta w strukturalnej zlozonosci obliczeniowej.
• Czeslaw Bylinski, Formalizacja teorii kategorii.
• Wiktor Danko, Jolanta Koszlew, Twierdzenie o odpowiedniosci Posta jako metoda dowodzenia nierozstrzygalnosci w logikach probabilistycznych.
• Jolanta Koszelew, Algorytmy probabilistyczne a lancuchy Markowa.
• Slavian Radev, Semantyka argumentacyjna w logikach Posta i Lukasiewicza.

Zob. też Sprawozdanie Organizatorów.

---

Zastosowania logiki w filozofii i w podstawach matematyki.
24-27 kwietnia 1997, Karpacz.

Odbyly sie trzy cykle referatow o charakterze szkoleniowym:

• Mieczyslaw Omyla, Idee semantyki Suszkowskiej.
• Jerzy Perzanowski, Semantyka kombinacyjna dla logik intensjonalnych.
• Tomasz Skura, Reguly odrzucania w logikach zdaniowych.

oraz wygloszonych zostalo kilkanascie referatow konferencyjnych.

---

Seminarium , 12 czerwca 1997, wspolnie z Polskim Tow Matematycznym.
Referat wyglosil John Addison, Dept. of Mathematics, University of California at Berkeley, USA. Tytul: Selfdual quantifiers: A unifying theme in mathematics and logic.

---

III Polskie Warsztaty Logiczno-Filozoficzne, Gorzno, 2-6 wrzesnia 1997, organizowane tradycyjnie przez srodowisko torunskie. Udzial wzielo ponad 40 osob.

---

WYKLADY

12 czerwca 1997 prof. Mark Brown (Syracuse University, USA) wyglosil w Poznaniu (Wydzial Matematyki i Informatyki) wyklad Modal Logic as Experimental Philosophy.

Srodowisko torunskie prowadzi konwersatorium pt.
Logika, jej podstawy i zastosowania.

W roku 1997 wygloszone zostaly nastepujace wyklady:

• Jerzy Perzanowski, Urabiacze i ich udzial w urabianiu sematnyki kombinacyjnej (8.I.1997).
• Hirakira Ono, An Algebraic Approach to Logic Without Contraction (22.IV. 1997).
• Andrzej Indrzejczak, Sekwentowe i zalozeniowe formalizacje zdaniowych logik modalnych (15.V. 1997).
• Kathe Trettin, From Monads to Tropes (21.V. 1997).
• Mark Brown, Modal Logic as Exploratory Philosophy (13 VI. 1997).
• Jan Srzednicki, Logika i jezyk.
  

  INNE   INFORMACJE

  Do prof. Wesley Salmona, prezydenta International Union of History and Philosophy of Science skierowane zostalo wystapienie o przyjecie Towarzystwa w poczet czlonkow Unii. Czekamy na odpowiedz.

  Do Multiple-Valued Logic Technical Committee of the IEEE Computer Society skierowana zostala propozycja zorganizowania w Polsce, w Lodzi, w 2001 roku 31st International Symposium on Multiple-Valued Logic.

  Profesorowi Lotfi Zadeh Towarzytwo przeslalo gratulacje z okazji nadania mu honorowego doktoratu przez Politechnike Slaska.

  Profesorowi Boguslawowi Wolniewiczowi Towarzystwo przeslalo gratulacje i zyczenia z okazji siedemdziesiatej rocznicy urodzin.

  Do rektora State University of Campinas Towarzystwo wystosowalo list, udzielajacy poparcia tamtejszemu zespolowi logiki UNICAMP Logic Group (szef Walter Carnielli), ktoremu grozila likwidacja.

  Przybylo nam okolo 70 nowych czlonkow.