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.00 | Rejestracja uczestników (Hotel "Sana", ul. Górska 2) |
Czwartek (25 kwietnia 2002)
8.55 | Otwarcie konferencji |
Sesja dopołudniowa | |
9.00 | Janusz Czelakowski (UO) Abstrakcyjna logika algebraiczna (AAL) - przegląd problematyki (I). |
9.45 | Wojciech Dzik (UŚ) Unifikacja dla krat rozdzielnych i pewnych ich rozszerzeń. |
10.30 | Przerwa |
11.00 | Marek Tokarz (UŚ) Teoria perswazji - przegląd problematyki. |
Sesja popołudniowa | |
15.00 | Andrzej Wójcik (UŚ) Jak kłamać mówiąc prawdę. |
15.45 | Sł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.00 | Tomasz Puczyłowski (UW) Zasada ekstensjonalnosci i implikatura. |
9.30 | Roman Tuziak (UWr) Maksymalne logiki parakonsystentne. |
10.00 | Ryszard 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.40 | Tomasz Połacik (UŚ) Kwantyfikatory zdaniowe i problem rozstrzygalnosci. |
12.20 | Tomasz Skura (UWr) Formalizacja i rozstrzygalnosć |
Popołudnie wolne |
Uwagi:
- Zapraszamy chętnych na basen kryty przy hotelu.
- Marek Tokarz zaprasza do udziału w turnieju tenisa. Proszę zabrać do Polanicy rakiety do tenisa.
Sobota (27 kwietnia 2002)
Sesja dopołudniowa | |
9.00 | Ireneusz Sierocki (PWr) Metodologia modelowania i programowania logicznego. |
9.50 | Janusz Czelakowski (UO) Abstrakcyjna logika algebraiczna (AAL) - przegląd problematyki (III). |
10.30 | Przerwa |
11.00 | Bożena i Bogdan Staruchowie (UW-M) Zastosowania algebr częsciowychw logice. |
11.50 | Marek Nowak (UŁ) Dwie logiki analitycznej implikacji klasycznej. |
Sesja popołudniowa | |
15.00 | Jerzy Pogonowski (UAM) O tzw. paradoksie Skolema. |
15.45 | Jacek Hawranek (UWr) Roman Suszko o paradoksie L.-S. |
16.30 | Przerwa |
17.00 | Alfred Gawroński (UJ) Równoważnosć T w tekstach Tarskiego a teoria zdań złożonych we współczesnym językoznawstwie formalnym. |
17.45 | Józef Misiek (UJ) Antynomia Richarda. |
Niedziela (28 kwietnia 2002)
9.00 | Edward Bryniarski (UO) O logicznych podstawach determinizmu. |
9.50 | Marek Magdziak (UWr) Prawda, sytuacje i paradoks kłamcy. |
10.30 | Przerwa |
11.00 | Ewa Żarnecka-Biały (UJ) Sokratejska "muzycznosć" logiki. |
11.30 | Irena Trzcieniecka-Schneider (AP) Logika wobec "logicznego myslenia". |
12.10 | Grzegorz Trela (UŚ) Metalogika i metafizyka Romana Suszko. |