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