WMSF: Logika teorii dedukcyjnych (Metalogika) WF-FI-123-WMSFET-S21
W ramach metalogiki charakteryzujemy różne własności systemów dedukcyjnych, które uważa się za podstawowe także z punktu widzenia ich wartości wiedzotwórczych. Metalogika dzieli się na dwie poddyscypliny: teorię dowodu i teorię modeli. Do teorii dowodu należą m. in. takie zagadnienia jak: niesprzeczność, maksymalna niesprzeczność, aksjomatyzowalność, skończona aksjomatyzowalność, rozstrzygalność. Teoria modeli umożliwia zbudowanie formalnej semantyki dla systemów dedukcyjnych, w jej ramach definiujemy pojęcie modelu, interpretacji, prawdziwości. Kluczowymi twierdzeniami, które umożliwiają sprzęgnięcie odpowiednich pojęć teoriodowodowych i tych z zakresu teorii modeli są twierdzenia o adekwatności i zupełności. Wymienione pojęcia i twierdzenia o nich będą przedmiotem wykładu. Omawiane własności systemów dedukcyjnych będziemy odnosić do klasycznej logiki zdaniowej i klasycznej logiki kwantyfikatorów I rzędu.
E-Learning
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Wymagania wstępne
Koordynatorzy przedmiotu
Efekty kształcenia
Student zna ogólne zależności między pojęciami: język, system dedukcyjny, model teorii sformalizowanej; poprawnie stosuje poznaną terminologię z zakresu metalogiki; jest otwarty na nowe idee i gotów do zmiany opinii w świetle dostępnych dowodzonych twierdzeń metateoretycznych.
Wyliczenie punktów ECTS: 1 - obecnośc na zajęciach 30h, 1 ects - praca własna i przygotowanie do zaliczenia 30h.
Kryteria oceniania
Stosuje się dwa kryteria oceny końcowej:
1. obecność na wykładach (maksymalna dozwolona liczba nieobecności: 2);
2. zaliczenie egzaminu na ocenę w sesji egzaminacyjnej (egzamin jest ustny).
Uwaga: przekroczenie maksymalnej liczby nieobecności skutkuje tym, że Student nie jest dopuszczony do egzaminu.
Praktyki zawodowe
nie dotyczy
Literatura
Literatura obowiązkowa:
(fragmenty)
Hunter G., Metalogika. Wstęp do metateorii standardowej logiki pierwszego rzędu, 1982, Wydawnictwo Naukowe PWN
Grzegorczyk A., Zarys logiki matematycznej, 1969, Wydawnictwo Naukowe PWN
Uwagi
|
W cyklu 2021/22_L:
Wykład przeznaczony jest dla osób, które ukończyły podstawowy kurs logiki realizowany dla I roku (lub jego ekwiwalent) - tj. znają klasyczną logikę zdaniową, klasyczną logikę predykatów, rachunek zbiorów. |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: