Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 18:57, 2 lis 2008 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Aktualna wersja (09:11, 5 wrz 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
(115 intermediate revisions not shown.) | |||
Linia 12: | Linia 12: | ||
---- | ---- | ||
- | =Metalogika (2009, Uniwersytet Opolski)= | + | =Metalogika (Uniwersytet Opolski)= |
- | + | ||
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu | Dzięki uprzejmości Instytutu Filozofii Uniwersytetu | ||
- | Opolskiego Jerzy Pogonowski ma możliwość wygłosić (w | + | Opolskiego Jerzy Pogonowski wygłosił dla |
- | semestrze letnim roku akademickiego 2008-2009) dla | + | doktorantów tego Instytutu w semestrze zimowym roku akademickiego 2009-2010 cykl wykładów '''Metalogika'''. |
- | doktorantów tego Instytutu cykl wykładów dotyczących | + | |
- | '''matematycznych podstaw metalogiki'''. | + | |
- | + | ||
- | Wykłady zostaną podzielone na trzy części: | + | |
- | + | ||
- | * '''A. Metalogika - ujęcie algebraiczne.''' | + | |
- | + | ||
- | * '''B. Metalogika - ujęcie semantyczne.''' | + | |
- | + | ||
- | * '''C. Metody dowodzenia twierdzeń metalogicznych.''' | + | |
- | + | ||
- | W części A. omówione zostaną własności ogólnych operacji | + | |
- | konsekwencji. Jest to problematyka, w której najważniejsze | + | |
- | wyniki uzyskali logicy polscy (m.in.: Alfred Tarski, Jerzy | + | |
- | Łoś i Roman Suszko, Helena Rasiowa i Roman Sikorski, | + | |
- | Ryszard Wójcicki, Janusz Czelakowski, Witold A. Pogorzelski | + | |
- | i Piotr Wojtylak, Stanisław Surma, Andrzej Wroński, Jan | + | |
- | Zygmunt, Marek Tokarz, Wojciech Dzik, Grzegorz Malinowski, | + | |
- | Wiesław Dziobiak). | + | |
- | + | ||
- | Część B. dotyczyła będzie tego, co nazywano kiedyś ''soft model theory'' (lub ''abstract logics''). Za pierwszą pracę w tej | + | |
- | dziedzinie uznać należy chyba artykuł Andrzeja Mostowskiego | + | |
- | o uogólnionych kwantyfikatorach (1957). Problematyka ta | + | |
- | rozwijana była później przez Pera Lindstroma, Jona | + | |
- | Barwise'a, Daga Westerstahla i wielu innych. Do tego | + | |
- | nurtu należą prace dotyczące nie tylko uogólnionych | + | |
- | kwantyfikatorów, lecz także np. logik infinitarnych. | + | |
- | + | ||
- | W części C. przedstawione zostaną dowody wybranych | + | |
- | twierdzeń metalogicznych (dla klasycznej logiki pierwszego | + | |
- | rzędu). Zwrócimy szczególną uwagę na to, jakie pojęcia i | + | |
- | metody matematyczne wykorzystywane są w tych dowodach. To z | + | |
- | kolei pozwoli na pokazanie, jakie metalogika ma możliwości, | + | |
- | a jakie ograniczenia. W tej części będziemy również starali | + | |
- | się pokazać, jak tworzono poszczególne pojęcia metalogiczne | + | |
- | (jak np.: pełność, zupełność, kategoryczność w mocy, | + | |
- | rozstrzygalność). | + | |
- | Wszystkie pojęcia matematyczne wykorzystywane w wykładach | + | ==Tematy== |
- | zostaną objaśnione w ''Preliminariach''. Zakłada się, że | + | |
- | słuchacze będą mieli za sobą elementarny kurs logiki, | + | |
- | obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny | + | |
- | Rachunek Predykatów (KRP), w szczególności, że znane im | + | |
- | będą: semantyka KRZ i KRP, metoda aksjomatyczna w KRZ i | + | |
- | KRP, metoda założeniowa w KRZ i KRP. | + | |
- | Prezentacje do wszystkich wykładów będą zamieszczane na tej | + | * '''Metalogika 0.''' Wstęp (historyczny). 13X2009, 10:00-11:30. |
- | stronie, począwszy od lutego 2009 roku. | + | * '''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.''' Teoria modeli: wybrane podstawowe konstrukcje. 19I2010, 10:00-11:30. | ||
+ | * '''Metalogika 13.''' Teoria modeli: typy elementów, nasycenie, itp. Twierdzenie Morleya. 19I2010, 14:15-15:45. | ||
+ | * '''Metalogika 14.''' Metalogika a teoria mnogości. 2II2010, 10:00-11:30. | ||
- | Ten cykl wykładów ma stanowić punkt wyjścia do drugiego | + | [[Category:Dydaktyka]] |
- | cyklu, dotyczącego '''filozoficznych założeń metalogiki'''. | + | |
- | Zamierzamy, za przyzwoleniem Losu, wygłosić go również w | + | |
- | Instytucie Filozofii Uniwersytetu Opolskiego. | + |
Aktualna wersja
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
[edytuj] Metalogika (Uniwersytet Opolski)
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski wygłosił dla doktorantów tego Instytutu w semestrze zimowym roku akademickiego 2009-2010 cykl wykładów Metalogika.
[edytuj] Tematy
- 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. Teoria modeli: wybrane podstawowe konstrukcje. 19I2010, 10:00-11:30.
- Metalogika 13. Teoria modeli: typy elementów, nasycenie, itp. Twierdzenie Morleya. 19I2010, 14:15-15:45.
- Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.