Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 15:42, 30 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładów 0-3) ← Poprzednia edycja |
Wersja z dnia 15:46, 30 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 4-5) Następna edycja → |
||
Linia 69: | Linia 69: | ||
===Do wykładów 4-5=== | ===Do wykładów 4-5=== | ||
- | * [[Media: metalogikaopoledrobinka.pdf | Przypomnienie: drobinka semantyki KRP.]] | + | * [[Media: kueker1.pdf | David W. Kueker : Lowenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.]] |
- | * [[Media: metalogikaopolegq.pdf | Uogólnione kwantyfikatory a języki etniczne.]] | + | * [[Media: kueker1.pdf | David W. Kueker : Finite Character and $L_{\infty\omega}$.]] |
- | * [[Media: metalogikaopolesyll.pdf | Uogólnione kwantyfikatory a sylogistyka.]] | + | * [[Media: andrasmate.pdf | Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.]] |
- | + | ||
- | * [[Media: churchtrakhtenbrot.pdf | Stephen Simpson: Theorems of Church and Trakhtenbrot.]] | + | |
- | + | ||
- | * [[Media: vaananen02.pdf | Jouko Väänänen: A Short Course on Finite Model Theory.]] | + | |
- | + | ||
- | * [[Media: vaananen01.pdf | Jouko Väänänen: Generalized Quantifiers.]] | + | |
- | + | ||
- | * [[Media: montagueptq.pdf | Richard Montague: The Proper Treatment of Quantification in Ordinary English.]] | + | |
* [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 1-2.]] | * [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 1-2.]] | ||
Linia 91: | Linia 83: | ||
* [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 5.]] | * [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 5.]] | ||
- | * [[Media: kueker1.pdf | David W. Kueker : Lowenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.]] | + | * [[Media: montagueptq.pdf | Richard Montague: The Proper Treatment of Quantification in Ordinary English.]] |
- | * [[Media: kueker1.pdf | David W. Kueker : Finite Character and $L_{\infty\omega}$.]] | + | * [[Media: metalogikaopoledrobinka.pdf | Jerzy Pogonowski: Przypomnienie: drobinka semantyki KRP.]] |
- | * [[Media: andrasmate.pdf | Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.]] | + | * [[Media: metalogikaopolesyll.pdf | Jerzy Pogonowski: Uogólnione kwantyfikatory a sylogistyka.]] |
+ | |||
+ | * [[Media: metalogikaopolegq.pdf | Jerzy Pogonowski, Joanna Smigerska: Uogólnione kwantyfikatory a języki etniczne.]] | ||
+ | |||
+ | * [[Media: churchtrakhtenbrot.pdf | Stephen Simpson: Theorems of Church and Trakhtenbrot.]] | ||
* [[Media: jakubszymanikkwant.pdf | Jakub Szymanik: Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym.]] | * [[Media: jakubszymanikkwant.pdf | Jakub Szymanik: Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym.]] | ||
- | * [http://plato.stanford.edu/entries/generalized-quantifiers/ Dag Westerstahl: Generalized Quantifiers.] | + | * [[Media: vaananen02.pdf | Jouko Väänänen: A Short Course on Finite Model Theory.]] |
+ | |||
+ | * [[Media: vaananen01.pdf | Jouko Väänänen: Generalized Quantifiers.]] | ||
* [http://plato.stanford.edu/entries/logic-infinitary/ John L. Bell: Infinitary Logic.] | * [http://plato.stanford.edu/entries/logic-infinitary/ John L. Bell: Infinitary Logic.] | ||
- | * [http://www.inveling.amu.edu.pl/pdf/pogonowski2_inve14.pdf Projekt logiki infinitarnej Ernsta Zermela.] | + | * [http://www.inveling.amu.edu.pl/pdf/pogonowski2_inve14.pdf Jerzy Pogonowski: Projekt logiki infinitarnej Ernsta Zermela.] |
+ | |||
+ | * [http://plato.stanford.edu/entries/generalized-quantifiers/ Dag Westerstahl: Generalized Quantifiers.] | ||
===Do wykładów 6-7=== | ===Do wykładów 6-7=== |
Wersja z dnia 15:46, 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: