Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 17:03, 30 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładów 4-5) ← Poprzednia edycja |
Wersja z dnia 18:07, 30 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 8-9) Następna edycja → |
||
Linia 264: | Linia 264: | ||
* [[Media: olszewskitctg.pdf | Adam Olszewski: Teza Churcha a Twierdzenie Gödla.]] | * [[Media: olszewskitctg.pdf | Adam Olszewski: Teza Churcha a Twierdzenie Gödla.]] | ||
+ | |||
+ | * [[Media: semlogdod04.pdf | Jerzy Pogonowski: Dowodliwość a prawdziwość. Minijęzyk Smullyana.]] | ||
+ | |||
+ | * [[Media: drzakop2007.pdf | Jerzy Pogonowski: Ptak Gödla.]] | ||
+ | |||
+ | * [[Media: karpacz2007.pdf | Jerzy Pogonowski: Szczęściarze epistemiczni.]] | ||
+ | |||
+ | * [[Media: 21maja2007.pdf | Jerzy Pogonowski: Po co Humanistce logika Gödla-Löba?]] | ||
* [[Media: ringnergit.pdf | Bengt Ringner: Gödel's incompleteness theorem.]] | * [[Media: ringnergit.pdf | Bengt Ringner: Gödel's incompleteness theorem.]] |
Wersja z dnia 18:07, 30 lis 2009
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metalogika (Uniwersytet Opolski)
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski wygłosi dla doktorantów oraz studentów tego Instytutu cykl wykładów Metalogika. Wykłady będą odbywały się we wtorki (co dwa tygodnie), w sali 327 Collegium Civitas, Opole, ul. Katowicka 89.
Prezentacje
- Metalogika 0. Wstęp (historyczny). 13X2009, 10:00-11:30.
- Metalogika 1. Preliminaria algebraiczne. 13X2009, 14:15-15:45.
- Metalogika 2. Powtórka z Elementarza. 27X2009, 10:00-11:30.
- Metalogika 3. Ogólne operacje konsekwencji. 27X2009, 14:15-15:45.
- Metalogika 4. Logiki abstrakcyjne. Przykłady. 10XI2009, 10:00-11:30.
- Metalogika 5. Twierdzenia Lindströma. 10XI2009, 14:15-15:45.
- Metalogika 6. Funkcje rekurencyjne. 24XI2009, 10:00-11:30.
- Metalogika 7. Reprezentowalność w PA. Arytmetyzacja składni. 24XI2009, 14:15-15:45.
- Metalogika 8. Twierdzenia: Gödla, Rossera, Löba, Tarskiego. 8XII2009, 10:00-11:30.
- Metalogika 9. Teorie rozstrzygalne i nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
- Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
- Metalogika 11. Formalizm Gentzena. 5I2010, 14:15-15:45.
- Metalogika 12. Klasyczna teoria modeli. 19I2010, 10:00-11:30.
- Metalogika 13. Współczesna teoria modeli. 19I2010, 14:15-15:45.
- Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.
Dodatki
Do wykładów 0-3
Do wykładów 4-5
Do wykładów 6-7
Do wykładów 8-9
Informacje pomocnicze
Wszystkie pojęcia matematyczne wykorzystywane w wykładach będą objaśniane na bieżąco. Zakłada się, że słuchacze mają za sobą elementarny kurs logiki, obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny Rachunek Predykatów (KRP). Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:
Znakomitym wstępem algebraicznym jest monografia:
Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników: