Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 12:12, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładów 12-13) ← Poprzednia edycja |
Wersja z dnia 12:27, 27 gru 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Dodatki) Następna edycja → |
||
Linia 432: | Linia 432: | ||
* [[Media: volkerweispfenning.pdf | Volker Weispfenning: Algebraische Modelltheorie.]] | * [[Media: volkerweispfenning.pdf | Volker Weispfenning: Algebraische Modelltheorie.]] | ||
+ | |||
+ | ===Do wykładu 14=== | ||
+ | |||
+ | * [[Media: apterhamkins.pdf | Arthur W. Apter, Joel David Hamkins: Exactly Controlling the Non-Supercompact Strongly Compact Cardinals.]] | ||
+ | |||
+ | * [[Media: markvanatten.pdf | Mark van Atten: Monads and sets. On Godel, Leibniz and the reflection principle.]] | ||
+ | |||
+ | * [[Media: vanattenkennedy.pdf | Mark van Atten, Juliette Kennedy: ''Godel's Modernism: on Set-Theoretic Incompleteness'' revisited.]] | ||
+ | |||
+ | * [[Media: awodeyoutlineast.pdf | Steve Awodey: An Outline of Algebraic Set Theory.]] | ||
+ | |||
+ | * [[Media: unifiedast.pdf | Benno van den Berg, Ieke Moerdijk: A Unified Approach to Algebraic Set Theory.]] | ||
+ | |||
+ | * [[Media: andreybovykin.pdf | Andrey Bovykin: Order-types of models of arithmetic and a connection with arithmetic saturation.]] | ||
+ | |||
+ | * [[Media: chowforcing.pdf | Timothy Y. Chow: A beginner's guide to forcing.]] | ||
+ | |||
+ | * [[Media: doetssettheory.pdf | H.C. Doets: Zermelo-Fraenkel Set Theory.]] | ||
+ | |||
+ | * [[Media: easwaranforcing.pdf | Kenny Easwaran: A Cheerful Introduction to Forcing and the Continuum Hypothesis.]] | ||
+ | |||
+ | * [[Media: alienayat.pdf | Ali Enayat: In praise of nonstandard models.]] | ||
+ | |||
+ | * [[Media: foremanch.pdf | Matt Foreman: Has the Continuum Hypothesis been settled?]] | ||
+ | |||
+ | * [[Media: stefangeschke.pdf | Stefan Geschke: Modelle der Mengenlehre.]] | ||
+ | |||
+ | * [[Media: peterkoellner.pdf | Peter Koellner: On Reflection Principles.]] | ||
+ | |||
+ | * [[Media: davidmarkerdst.pdf | David Marker: Descriptive Set Theory.]] | ||
+ | |||
+ | * [[Media: rathjenintuitionistic.pdf | Michael Rathjen: Metamathematical Properties of Intuitionistic Set Theories with Choice Principles.]] | ||
+ | |||
+ | * [[Media: rathjenreflection.pdf | Michael Rathjen: Proof Theory of Reflection.]] | ||
+ | |||
+ | * [[Media: sanchezhilbert.pdf | Antonio Leon Sanchez: Hilbert's machine and the axiom of infinity.]] | ||
+ | |||
+ | * [[Media: georgschiemer.pdf | Georg Schiemer: Fraenkel's Axiom of Restriction: Axiom Choice, Intended Models and Categoricity.]] | ||
+ | |||
+ | * [[Media: whatisawoodincardinal.pdf | John R. Steel: What is a Woodin Cardinal?]] | ||
+ | |||
+ | * [[Media: wongkaye.pdf | Tin Lok Wong, Richard Kaye: Generic cuts in models of Peano arithmetic.]] | ||
+ | |||
+ | * [[Media: woodinch1.pdf | W. Hugh Woodin: The Continuum Hypothesis, Part I.]] | ||
+ | |||
+ | * [[Media: woodinch2.pdf | W. Hugh Woodin: The Continuum Hypothesis, Part II.]] | ||
==Informacje pomocnicze== | ==Informacje pomocnicze== |
Wersja z dnia 12:27, 27 gru 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: dedukcja naturalna. 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 teorie nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
- Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
- Metalogika 11. Inne metody dowodowe: formalizm Gentzena, metoda rezolucji. 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
Do wykładów 10-11
Do wykładów 12-13
Do wykładu 14
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: