Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 17:22, 13 sty 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Metalogika (2009, Uniwersytet Opolski)) ← Poprzednia edycja |
Aktualna wersja (09:11, 5 wrz 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
| (111 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łoszenia (w 2009 roku) dla | + | Opolskiego Jerzy Pogonowski wygłosił dla |
| - | doktorantów tego Instytutu cyklu wykładów dotyczących | + | doktorantów tego Instytutu w semestrze zimowym roku akademickiego 2009-2010 cykl wykładów '''Metalogika'''. |
| - | '''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, Jerzy Perzanowski, | + | |
| - | Jacek Hawranek, 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 | + | |
| - | 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 | + | ==Tematy== |
| - | stronie. | + | |
| - | Ten cykl wykładów ma stanowić punkt wyjścia do drugiego | + | * '''Metalogika 0.''' Wstęp (historyczny). 13X2009, 10:00-11:30. |
| - | cyklu, dotyczącego '''filozoficznych założeń metalogiki'''. | + | * '''Metalogika 1.''' Preliminaria algebraiczne. 13X2009, 14:15-15:45. |
| - | Zamierzamy, za przyzwoleniem Losu, wygłosić go również w | + | * '''Metalogika 2.''' Przypomnienie: dedukcja naturalna. 27X2009, 10:00-11:30. |
| - | Instytucie Filozofii Uniwersytetu Opolskiego. | + | * '''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. | ||
| - | [[Category:Pracownicy]] | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
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.
