From Zakład Logiki Stosowanej

Wersja z dnia 17:22, 13 sty 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Metalogika (2009, Uniwersytet Opolski)) ← Poprzednia edycja		Wersja z dnia 10:23, 21 lut 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Metalogika (2009, Uniwersytet Opolski)) Następna edycja →
Linia 12:		Linia 12:
	----		----
-	=Metalogika (2009, Uniwersytet Opolski)=	+	=Metalogika (Uniwersytet Opolski)=
	Dzięki uprzejmości Instytutu Filozofii Uniwersytetu		Dzięki uprzejmości Instytutu Filozofii Uniwersytetu
-	Opolskiego Jerzy Pogonowski ma możliwość wygłoszenia (w 2009 roku) dla	+	Opolskiego Jerzy Pogonowski ma możliwość wygłoszenia dla
	doktorantów tego Instytutu cyklu wykładów dotyczących		doktorantów tego Instytutu cyklu wykładów dotyczących
	'''matematycznych podstaw metalogiki'''.		'''matematycznych podstaw metalogiki'''.
		+
		+	* [Media: metalogikatresc.pdf | Spis treści wykładów.]
		+
		+	* [Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki.]
	Wykłady zostaną podzielone na trzy części:		Wykłady zostaną podzielone na trzy części:
Linia 61:		Linia 65:
	Rachunek Predykatów (KRP), w szczególności, że znane im		Rachunek Predykatów (KRP), w szczególności, że znane im
	będą: semantyka KRZ i KRP, metoda aksjomatyczna w KRZ i		będą: semantyka KRZ i KRP, metoda aksjomatyczna w KRZ i
-	KRP, metoda założeniowa w KRZ i KRP.	+	KRP, metoda założeniowa w KRZ i KRP. Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:
		+
		+	*
		+
		+	*
		+
		+	*
		+
		+	Znakomitym wstępem algebraicznym jest monografia:
		+
		+	* [Media: universalalgebra.pdf | St. Burris, H.P. Sankappanavar: ''A Course in Universal Algebra'']
-	Prezentacje do wszystkich wykładów będą zamieszczane na tej
-	stronie.
	Ten cykl wykładów ma stanowić punkt wyjścia do drugiego		Ten cykl wykładów ma stanowić punkt wyjścia do drugiego

---

Wersja z dnia 10:23, 21 lut 2009

Spis treści 1 Metalogika (Uniwersytet Opolski)

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line

---

Metalogika (Uniwersytet Opolski)

Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski ma możliwość wygłoszenia dla doktorantów tego Instytutu cyklu wykładów dotyczących matematycznych podstaw metalogiki.

• [Media: metalogikatresc.pdf | Spis treści wykładów.]

• [Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki.]

Wykłady zostaną podzielone na trzy części:

• A. Metalogika - ujęcie algebraiczne.

• B. Metalogika - ujęcie semantyczne.

• C. Metody dowodzenia twierdzeń metalogicznych.

W części A. omówione zostaną własności ogólnych operacji konsekwencji. Jest to problematyka, w której najważniejsze wyniki uzyskali logicy polscy (m.in.: Alfred Tarski, Jerzy Łoś i Roman Suszko, Helena Rasiowa i Roman Sikorski, Ryszard Wójcicki, Janusz Czelakowski, Witold A. Pogorzelski i Piotr Wojtylak, Stanisław Surma, Andrzej Wroński, Jan Zygmunt, Marek Tokarz, Wojciech Dzik, Grzegorz Malinowski, Jerzy Perzanowski, Jacek Hawranek, Wiesław Dziobiak).

Część B. dotyczyła będzie tego, co nazywano kiedyś soft model theory (lub abstract logics). Za pierwszą pracę w tej dziedzinie uznać należy chyba artykuł Andrzeja Mostowskiego o uogólnionych kwantyfikatorach (1957). Problematyka ta rozwijana była później przez Pera Lindstroma, Jona Barwise'a, Daga Westerstahla i wielu innych. Do tego nurtu należą prace dotyczące nie tylko uogólnionych kwantyfikatorów, lecz także np. logik infinitarnych.

W części C. przedstawione zostaną dowody wybranych twierdzeń metalogicznych (dla klasycznej logiki pierwszego rzędu). Zwrócimy szczególną uwagę na to, jakie pojęcia i metody matematyczne wykorzystywane są w tych dowodach. To z kolei pozwoli na pokazanie, jakie metalogika ma możliwości, a jakie ograniczenia. W tej części będziemy również starali się pokazać, jak tworzono poszczególne pojęcia metalogiczne (jak np.: pełność, zupełność, kategoryczność w mocy, rozstrzygalność).

Wszystkie pojęcia matematyczne wykorzystywane w wykładach zostaną objaśnione w Preliminariach. Zakłada się, że słuchacze będą mieli za sobą elementarny kurs logiki, obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny Rachunek Predykatów (KRP), w szczególności, że znane im będą: semantyka KRZ i KRP, metoda aksjomatyczna w KRZ i KRP, metoda założeniowa w KRZ i KRP. Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:

Znakomitym wstępem algebraicznym jest monografia:

• [Media: universalalgebra.pdf | St. Burris, H.P. Sankappanavar: A Course in Universal Algebra]

Ten cykl wykładów ma stanowić punkt wyjścia do drugiego cyklu, dotyczącego filozoficznych założeń metalogiki. Zamierzamy, za przyzwoleniem Losu, wygłosić go również w Instytucie Filozofii Uniwersytetu Opolskiego.