Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
| Wersja z dnia 09:36, 30 wrz 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Prezentacje) ← Poprzednia edycja |
Wersja z dnia 19:38, 18 paź 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Prezentacje) Następna edycja → |
||
| Linia 20: | Linia 20: | ||
| * [[Media: metalogikaplan.pdf | '''Plan wykładów.''']] | * [[Media: metalogikaplan.pdf | '''Plan wykładów.''']] | ||
| - | ==Prezentacje== | + | ==Prezentacje i dodatki== |
| - | * [[Media: metalogikaopole00.pdf | Metalogika. 0. Wstęp (historyczny).]] 13X2009, 10:00-11:30. | + | * [[Media: metalogikaopole00.pdf | '''Metalogika. 0.''' Wstęp (historyczny).]] 13X2009, 10:00-11:30. |
| - | * [[Media: metalogikaopole01.pdf | Metalogika. 1. Preliminaria algebraiczne.]] 13X2009, 14:15-15:45. | + | * [[Media: metalogikaopole01.pdf | '''Metalogika. 1.''' Preliminaria algebraiczne.]] 13X2009, 14:15-15:45. |
| + | * [[Media: metalogikaopole02.pdf | '''Metalogika. 2.''' Powtórka z Elementarza.]] 27X2009, 10:00-11:30. | ||
| + | * [[Media: metalogikaopole03.pdf | '''Metalogika. 3.''' Ogólne operacje konsekwencji.]] 27X2009, 14:15-15:45. | ||
| - | * [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.]] | + | * [[Media: dwaparadygmaty.pdf | '''Dodatek 1.''' Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.]] |
| + | * [[Media: opoledodatek02.pdf | '''Dodatek 2.''' Dowody niektórych twierdzeń o operacjach konsekwencji.]] | ||
| + | * [[Media: budzynska.pdf | '''Dodatek 3.''' Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?]] | ||
| + | * [[Media: indrzejczak.pdf | '''Dodatek 4.''' Andrzej Indrzejczak: Rozumowanie, ardumentacja, dowód.]] | ||
| + | * [[Media: modalhist.pdf | '''Dodatek 5.''' Robert Goldblatt: Mathematical modallogic: a view of its evolution.]] | ||
| + | * [[Media: modalnerachunkizdan.pdf | '''Dodatek 6.''' Andrzej Wiśniewski: Wybrane modalne rachunki zdań.]] | ||
| + | * [[Media: modelekripkego.pdf | '''Dodatek 7.''' Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.]] | ||
| + | * [[Media: lustrzanalogika.pdf | '''Dodatek 8.''' Raymond Smullyan: Lustrzana logika.]] | ||
| ==Informacje pomocnicze== | ==Informacje pomocnicze== | ||
Wersja z dnia 19:38, 18 paź 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 106 Collegium Civitas, Opole, ul. Katowicka 89.
Prezentacje i dodatki
- 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.
- Dodatek 1. Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.
- Dodatek 2. Dowody niektórych twierdzeń o operacjach konsekwencji.
- Dodatek 3. Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?
- Dodatek 4. Andrzej Indrzejczak: Rozumowanie, ardumentacja, dowód.
- Dodatek 5. Robert Goldblatt: Mathematical modallogic: a view of its evolution.
- Dodatek 6. Andrzej Wiśniewski: Wybrane modalne rachunki zdań.
- Dodatek 7. Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.
- Dodatek 8. Raymond Smullyan: Lustrzana logika.
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:
