Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 12:35, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładu 14) ← Poprzednia edycja |
Wersja z dnia 13:12, 27 gru 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 4-5: Logiki abstrakcyjne.) Następna edycja → |
||
| Linia 68: | Linia 68: | ||
| ===Do wykładów 4-5: Logiki abstrakcyjne.=== | ===Do wykładów 4-5: Logiki abstrakcyjne.=== | ||
| + | |||
| + | * [[Media: baldwinaec.pdf | John T. Baldwin: Generalized Quantifiers, Infinitary Logics, and Abstract Elementary Classes.]] | ||
| + | |||
| + | * [[Media: baldwinexpo.pdf | John T. Baldwin: The complex numbers and complex exponentiation. Why Infinitary Logic is necessary!]] | ||
| + | |||
| + | * [[Media: lindstromvanbenthem.pdf | Johan van Benthem: A new modal Lindstrom theorem.]] | ||
| + | |||
| + | * [[Media: leaflanguage.pdf | Hans-Jorg Burtschick, Heribert Vollmer: Lindstrom Quantifiers and Leaf Language Definability.]] | ||
| + | |||
| + | * [[Media: baldertencatemodal.pdf | Balder ten Cate: Abstract model theory for extensions of modal logic.]] | ||
| + | |||
| + | * [[Media: robgoldblattll.pdf | Rob Goldblatt: Lindenbaum's Lemma As An Axiom For Infinitary Logic.]] | ||
| + | |||
| + | * [[Media: udoklein.pdf | Udo Klein: Against generalized quantifiers (and what to replace them with).]] | ||
| * [[Media: kueker1.pdf | David W. Kueker : Lowenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.]] | * [[Media: kueker1.pdf | David W. Kueker : Lowenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.]] | ||
| Linia 73: | Linia 87: | ||
| * [[Media: kueker1.pdf | David W. Kueker : Finite Character and $L_{\infty\omega}$.]] | * [[Media: kueker1.pdf | David W. Kueker : Finite Character and $L_{\infty\omega}$.]] | ||
| - | * [[Media: andrasmate.pdf | Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.]] | + | * [[Media: genquantdefdes.pdf | John MacFarlane: Generalized Quantifiers and Definite Descriptions.]] |
| * [[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 82: | Linia 96: | ||
| * [[Media: markerinfinitary5.pdf | David Marker: A Primer on Infinitary Logic. 5.]] | * [[Media: markerinfinitary5.pdf | David Marker: A Primer on Infinitary Logic. 5.]] | ||
| + | |||
| + | * [[Media: andrasmate.pdf | Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.]] | ||
| * [[Media: montagueptq.pdf | Richard Montague: The Proper Treatment of Quantification in Ordinary English.]] | * [[Media: montagueptq.pdf | Richard Montague: The Proper Treatment of Quantification in Ordinary English.]] | ||
| + | |||
| + | * [[Media: nishiguchi.pdf | Sumiyo Nishiguchi : Polymorphic Quantifier.]] | ||
| + | |||
| + | * [[Media: parteegq.pdf | Barbara H. Partee: Noun Phrases and Generalized Quantifiers.]] | ||
| + | |||
| + | * [[Media: pfeiferkleiter.pdf | Niki Pfeifer, Gernot D. Kleiter: Syllogistic reasoning with intermediate quantifiers.]] | ||
| * [[Media: metalogikaopoledrobinka.pdf | Jerzy Pogonowski: Przypomnienie: drobinka semantyki KRP.]] | * [[Media: metalogikaopoledrobinka.pdf | Jerzy Pogonowski: Przypomnienie: drobinka semantyki KRP.]] | ||
| Linia 90: | Linia 112: | ||
| * [[Media: metalogikaopolegq.pdf | Jerzy Pogonowski, Joanna Smigerska: Uogólnione kwantyfikatory a języki etniczne.]] | * [[Media: metalogikaopolegq.pdf | Jerzy Pogonowski, Joanna Smigerska: Uogólnione kwantyfikatory a języki etniczne.]] | ||
| + | |||
| + | * [[Media: raatikainen.pdf | Panu Raatikainen: The concept of truth in a finite universe.]] | ||
| + | |||
| + | * [[Media: completenessrossberg.pdf | Marcus Rossberg: First-Order Logic, Second-Order Logic, and Completeness.]] | ||
| + | |||
| + | * [[Media: sherbranching.pdf | G.Y. Sher: Partially-ordered (branching) quantifiers:a general definition.]] | ||
| * [[Media: churchtrakhtenbrot.pdf | Stephen Simpson: Theorems of Church and Trakhtenbrot.]] | * [[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.]] | ||
| + | |||
| + | * [[Media: szymanikneuro.pdf | Jakub Szymanik: Obliczeniowy model rozumienia kwantyfikatorów w świetle badań neuropsychologicznych.]] | ||
| * [[Media: vaananen02.pdf | Jouko Väänänen: A Short Course on Finite Model Theory.]] | * [[Media: vaananen02.pdf | Jouko Väänänen: A Short Course on Finite Model Theory.]] | ||
Wersja z dnia 13:12, 27 gru 2009
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. Przypomnienie: 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: Ogólne operacje konsekwencji.
Do wykładów 4-5: Logiki abstrakcyjne.
- Jakub Szymanik: Obliczeniowy model rozumienia kwantyfikatorów w świetle badań neuropsychologicznych.
Do wykładów 6-7: Funkcje rekurencyjne.
Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.
Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.
Do wykładów 12-13: Teoria modeli.
Do wykładu 14: Metalogika a teoria mnogości.
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:
