VI Konferencja Zastosowania Logiki w Filozofii i Podstawach

VI Konferencja
Zastosowania Logiki w Filozofii i Podstawach Matematyki
Karpacz, 25 – 29 kwietnia 2001
Uprzejmie informujemy, że w dniach 25-29 kwietnia 2001 r. odbędzie się już po
raz szósty konferencja pt. Zastosowania Logiki w Filozofii i Podstawach Matematyki. Organizatorami spotkania będą tradycyjnie Katedra Logiki i Metodologii Nauk
Uniwersytetu Wrocławskiego, oraz Instytuty Matematyki Uniwersytetów Śląskiego
i Opolskiego.
Rok 2001 jest dla różnych środowisk logicznych, filozoficznych i matematycznych
w kraju i za granicą rokiem Alfreda Tarskiego; setna rocznica urodzin Uczonego
stanowi dobrą okazję do przypominania monumentalnych osiągnięć A. Tarskiego i
uświadamiania sobie wpływu, jaki jego dzieło wywarło na logikę, filozofię i podstawy
matematyki w XX w. Chcielibyśmy, aby także nasza konferencja włączyła się w nurt
obchodów tej rocznicy.
Wzorem lat ubiegłych, program konferencji podzielony został na dwie grupy. W
pierwszej zamieszczamy odczyty i wystąpienia o charakterze ogólnym oraz historycznokrytycznym, nawiązujące do twórczości Tarskiego. W drugiej znajdują się wszystkie
inne referaty z zakresu logiki, filozofii logicznej, podstaw matematyki.
Konferencja (zakwaterowanie i sesje naukowe) odbywać się będzie u stóp Śnieżki w Ośrodku Szkoleniowo–Wypoczynkowym Uniwersytetu Wrocławskiego Krokusy,
Karpacz, ul. Parkowa 7 (dojście od ulicy Leśnej lub Grzybowej), tel. (075) 761-9454.
Przewidywane pory posiłków: 8.00, 13.00, 19.00. W środę 25 kwietnia obiado-kolacja
o 18.00. Uroczysta kolacja w sobotę 28 kwietnia.
W załaczeniu przesyłamy wstępną wersję programu konferencji. Wszelkie uwagi
i dotatkowe życzenia prosimy kierować pod adresem:
Piotr Wojtylak, Instytut Matematyki,
Uniwersytet Śląski, ul.Bankowa 14, 40-007 Katowice
e-mail: [email protected]
Koszt uczestnictwa w konferencji wynosi 400 zł. Pieniądze prosimy przesyłać na
konto Uniwersytetu Wrocławskiego:
BZ IV O/Wrocław 11201779-26-131-1010
z dopiskiem Konferencja z logiki. Prosimy o zachowanie dowodu wpłaty.
Do zobaczenia w Karpaczu.
Janusz Czelakowski
Piotr Wojtylak
Jan Zygmunt
Lista uczestników
1. Lidia Badura (UŚl)
2. Teresa Biegańska (WSP Częstochowa)
3. Piotr Borowik (WSP Częstochowa)
4. Bożena Czarnecka (KUL)
5. Janusz Czelakowski (UO)
6. Wojciech Dzik (UŚl)
7. Arkadiusz Drukier (UWr)
8. Alfred Gawroński (PAT)
9. Anna Gomolińska (UwB)
10. Cezary Gorzka (UMK)
11. Tomasz Furmanowski (UWr)
12. Adam Grabowski (UwB)
13. Joanna Grygiel (WSP Częstochowa)
14. Katarzyna Hałkowska (UO)
15. Anna Janeczek (LUL)
16. Tomasz Jarmuzek (UMK)
17. Elżbieta Kałuszyńska (PAN)
18. Stanisław Krajewski (UW)
19. Mirosław Kurkowski (WSP Częstochowa)
20. Robert Lisek (UWr)
21. Marek Magdziak (UWr)
22. Ryszard Mirek (WSP Częstochowa)
23. Józef Misiek (UJ)
24. Krystyna Mruczek (UO)
25. Justyna Myślińska (UwB)
26. Maciej Nowicki (UMK)
27. Barbara Piekart (AP Siedlce)
28. Jerzy Pogonowski (UAM)
29. Tomasz Połacik (UŚl)
30. Agnieszka Prusińska (AP Siedlce)
31. Marcin Selinger (UWr)
32. Ireneusz Sierocki (PWr)
33. Robert Sochacki (UO)
34. Tomasz Skura (UWr)
35. Grażyna Solecka (Uwr)
36. Lesław Szczerba (AP Siedlce)
37. Irena Trzcieniecka-Schneider (WSP Kraków)
38. Roman Tuziak (UWr)
39. Alina Wojtunik (UO)
40.
41.
42.
43.
44.
45.
46.
47.
48.
Piotr Wojtylak (UŚl)
Jan Woleński (UJ)
Andrzej Wójcik (UŚl)
Ryszard Wójcicki (PAN)
Andrzej Wroński (UJ)
Urszula Wybraniec-Skardowska (UO)
Andrzej Zbrzezny (WSP Częstochowa)
Jan Zygmunt (UWr)
Ewa Żarnecka-Biały (UJ)
PROGRAM KONFERENCJI
Zastosowania Logiki w Filozofii i Podstawach Matematyki VI
Karpacz, 25 – 29 kwietnia 2001
Środa (25 kwietnia 2001)
1300 − Rejestracja uczestników
Czwartek (26 kwietnia 2001)
855
Otwarcie konferencji
Sesja dopołudniowa
900 Jerzy Pogonowski - „Okres poznański” (1946–1953) w twórczosci Romana
Suszki.
945 Ewa Żarnecka-Biały - Przyczynek do tradycyjnej teorii logicznych opozycji.
1030
Przerwa
1100
Andrzej Wójcik - Formalizacja procesu negocjacji.
1145
Ryszard Mirek -Semantyka logik wolnych.
Sesja popołudniowa
1500
Anna Gomolińska -Kompleksy reguł; Podstawy teoretyczne.
1545
Grzegorz Trela - Analiza formalna w aksjologii.
1630
Przerwa
1700
Piotr Borowik - Automatyzacja dowodzenia tez w skończenie wielowartościowym rachunku predykatw Łukasiewicza.
1730
Agnieszka Prusińska - Geometria Euklidesa jako teoria pewnych grup.
1800
Józef Misiek - Antynomia Berry’ego i Richarda.
Piątek (27 kwietnia 2001)
Sesja dopołudniowa
900
Janusz Czelakowski - Twierdzenia o punkcie stałym dla relacji.
945
Ireneusz Sierocki - Algebraiczna analiza indukcyjnej inferencji zachowań
regularnych.
1030
Przerwa
1100
Wojciech Dzik - O translacji Tarskiego-McKinsey’a dla reguł.
1145
Irena Trzcieniecka-Schneider - Prawda a błąd.
Sobota (28 kwietnia 2001)
Sesja popołudniowa – Uniwersyteckie nauczanie logiki
1500
Ryszard Wójcicki - Teoriopoznawcze aspekty współczesnej logiki (uwagi
do planowanego podręcznika).
1600
Elżbieta Kałuszyńska -
1700
Dyskusja
Niedziela (29 kwietnia 2001)
Sesja dopołudniowa
900
Tomasz Połacik - Własność maksimum dla kwantyfikatorów zdaniowych.
930 Adam Grabowski - O pewnej strukturze wyznaczonej przez podstawienia.
1000
Barbara Piekart - Pierwsza prba aksjomatyzacji geometrii kuli.
1030
Przerwa
1100 Tomasz Furmanowski - Elementarna charakteryzacja relacji pokrywania
kratowego porządku w skończonych wolnie generowanych kratach dystrybutywnych.
1145 Andrzej Wroński - O równoważności w logice Łukasiewicza
1230
Zamknięcie Konferencji
SESJA TARSKIEGO — W SETNĄ ROCZNICĘ URODZIN
Piątek (27 kwietnia 2001)
Sesja popołudniowa
1500 Jan Zygmunt - Ogólna prezentacja fragmentw twórczości Alfreda Tarskiego:
Teoria mnogości i zagadnienia rozstrzygalności.
1545 Stanisław Krajewski - Gödel o Tarskim.
1630
Przerwa
1700 Urszula Wybraniec-Skardowska - Aksjomatyzacja teorii konsekwencji.
1745 Marek Magdziak - Koło kłamców: uwagi pragmatyczne o pewnej wersji
antynomii.
Sobota (28 kwietnia 2001)
Sesja przedpołudniowa
900
Lesław Szczerba - Geometria elementarna.
945
Jan Woleński - Języki formalne a prawda.
1030
Przerwa
1100
Aleksander Gawroński - Teoria prawdy: od metajęzyka do metatekstu.
1145 Jan Zygmunt - Ogólna prezentacja fragmentw twórczości Alfreda Tarskiego:
Algebraizacja Logiki.