Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 16:27, 30 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładów 8-9) ← Poprzednia edycja |
Wersja z dnia 16:29, 30 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 8-9) Następna edycja → |
||
Linia 234: | Linia 234: | ||
* [[Media: kirbyparis.pdf | Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.]] | * [[Media: kirbyparis.pdf | Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.]] | ||
- | |||
- | * [[Media: krajewskirozdzial2.pdf | Stanisław Krajewski: Twierdzenie Gödla i jego filozoficzne interpretacje.]] | ||
* [[Media: kulturakolany.pdf | Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.]] | * [[Media: kulturakolany.pdf | Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.]] | ||
* [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]] | * [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]] | ||
+ | |||
+ | * [[Media: krajewskirozdzial2.pdf | Stanisław Krajewski: Twierdzenie Gödla i jego filozoficzne interpretacje.]] | ||
* [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Gödel's incompleteness revisited.]] | * [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Gödel's incompleteness revisited.]] |
Wersja z dnia 16:29, 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: