University of Wroclaw

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

You are here: Home > Archiwum > VII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

VII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

VII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
Polanica Zdrój
24 - 28 kwietnia 2002 r.

Komitet Organizacyjny:

  • Janusz Czelakowski, Uniwersytet Opolski
  • Piotr Wojtylak, Uniwersytet Śląski
  • Jan Zygmunt, Uniwersytet Wrocławski



Program Konferencji:

Środa (24 kwietnia 2002)

16.00Rejestracja uczestników  (Hotel "Sana", ul. Górska 2)

Czwartek (25 kwietnia 2002)

 8.55Otwarcie konferencji
 Sesja dopołudniowa
 9.00Janusz Czelakowski (UO)  Abstrakcyjna logika algebraiczna (AAL) - przegląd problematyki (I).
 9.45 Wojciech Dzik (UŚ)  Unifikacja dla krat rozdzielnych i pewnych ich rozszerzeń.
10.30Przerwa
11.00 Marek Tokarz (UŚ)  Teoria perswazji - przegląd problematyki.
 Sesja popołudniowa
15.00Andrzej Wójcik (UŚ)  Jak kłamać mówiąc prawdę.
15.45Sławomir Sikora (UAM)  Modyfikacja teorii działań komunikacyjnych Jürgena Habermasa.
16.30 Przerwa
17.00 Piotr Borowik, jun. (WSP w Częstochowie)  Jan Sleszyński o "Podstawach teorii mnogosci"  Stanisława Lesniewskiego.
17.30 Piotr Borowik, sen. (WSP w Częstochowie)  Twierdzenia o dedukcji dla trójsekwencyjnego rachunku Jana Łukasiewicza.

Piątek (26 kwietnia 2002)

 Sesja popołudniowa
 9.00Tomasz Puczyłowski (UW)  Zasada ekstensjonalnosci i implikatura.
 9.30 Roman Tuziak (UWr)  Maksymalne logiki parakonsystentne.
10.00Ryszard Mirek (WSP w Częstochowie)  Czy logika wolna musi obowiązywać w dziedzinie pustej?
10.30 Przerwa
11.00 Janusz Czelakowski (UO)  Abstrakcyjna logika algebraiczna (AAL) - przegląd problematyki (II).
11.40Tomasz Połacik (UŚ)  Kwantyfikatory zdaniowe i problem rozstrzygalnosci.
12.20 Tomasz Skura (UWr)  Formalizacja i rozstrzygalnosć
 Popołudnie wolne
Uwagi:
    1. Zapraszamy chętnych na basen kryty przy hotelu.
    2. Marek Tokarz zaprasza do udziału w turnieju tenisa. Proszę zabrać do Polanicy rakiety do tenisa.


Sobota (27 kwietnia 2002)

 Sesja dopołudniowa
 9.00Ireneusz Sierocki (PWr)  Metodologia modelowania i programowania logicznego.
 9.50Janusz Czelakowski (UO)  Abstrakcyjna logika algebraiczna (AAL) - przegląd problematyki (III).
10.30Przerwa
11.00Bożena i Bogdan Staruchowie (UW-M)  Zastosowania algebr częsciowychw logice.
11.50Marek Nowak (UŁ)  Dwie logiki analitycznej implikacji klasycznej.
 Sesja popołudniowa
15.00Jerzy Pogonowski (UAM)  O tzw. paradoksie Skolema.
15.45Jacek Hawranek (UWr)  Roman Suszko o paradoksie L.-S.
16.30Przerwa
17.00Alfred Gawroński (UJ)  Równoważnosć T w tekstach Tarskiego a teoria zdań złożonych we współczesnym językoznawstwie formalnym.
17.45Józef Misiek (UJ)  Antynomia Richarda.

Niedziela (28 kwietnia 2002)

 9.00Edward Bryniarski (UO)  O logicznych podstawach determinizmu.
 9.50Marek Magdziak (UWr)  Prawda, sytuacje i paradoks kłamcy.
10.30Przerwa
11.00Ewa Żarnecka-Biały (UJ)  Sokratejska "muzycznosć" logiki.
11.30Irena Trzcieniecka-Schneider (AP)  Logika wobec "logicznego myslenia".
12.10Grzegorz Trela (UŚ)  Metalogika i metafizyka Romana Suszko.