From Zakład Logiki Stosowanej

Wersja z dnia 10:40, 21 lut 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Metalogika (Uniwersytet Opolski)) ← Poprzednia edycja		Wersja z dnia 20:57, 22 wrz 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Metalogika (Uniwersytet Opolski)) Następna edycja →
Linia 13:		Linia 13:
	=Metalogika (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 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 '''Metalogika'''.
-	'''matematycznych podstaw metalogiki'''.	+
	* [[Media: metalogikatresc.pdf | Spis treści wykładów.]]		* [[Media: metalogikatresc.pdf | Spis treści wykładów.]]
		+
		+	==Prezentacje==
	* [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. Wprowadzenie do wykładów 1-7.]]		* [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. Wprowadzenie do wykładów 1-7.]]
-	Wykłady zostaną podzielone na trzy części:	+	* [[Media: metalogikaopole00.pdf | Metalogika - wstęp.]]
-	* '''A. Metalogika - ujęcie algebraiczne.'''	+	==Informacje pomocnicze==
-		+
-	* '''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''; obecnie używa się terminu ''model-theoretic 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		Wszystkie pojęcia matematyczne wykorzystywane w wykładach
Linia 80:		Linia 49:
	* [http://www.logic.amu.edu.pl/index.php/Linki Linki]		* [http://www.logic.amu.edu.pl/index.php/Linki Linki]
-
-	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.
	[[Category:Pracownicy]]		[[Category:Pracownicy]]
	[[Category:Dydaktyka]]		[[Category:Dydaktyka]]

---

Wersja z dnia 20:57, 22 wrz 2009

Spis treści 1 Metalogika (Uniwersytet Opolski) 1.1 Prezentacje 1.2 Informacje pomocnicze

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

• Spis treści wykładów.

Prezentacje

• Dwa paradygmaty metalogiki. Wprowadzenie do wykładów 1-7.

• Metalogika - wstęp.

Informacje pomocnicze

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:

• Jerzy Pogonowski: Logika Matematyczna

• Jerzy Pogonowski: Wstęp do Matematyki

• Jerzy Pogonowski: Funkcje Rekurencyjne

Znakomitym wstępem algebraicznym jest monografia:

• St. Burris, H.P. Sankappanavar: A Course in Universal Algebra

Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników:

• Linki