WS: Metalogika WF-FI-12-KOMM
Spis tematów:
1. Logika, metalogika. Teoria dowodu, teoria modeli
2. Mapa własności metalogicznych: niesprzeczność, rozstrzygalność, pełność, zupełność, zwartość.
3. Elementy teorii dowodu klasycznej logiki zdaniowej. System założeniowy i system aksjomatyczny.
4. Inferencja, konsekwencja - relacyjna i algebraiczna charakterystyka logiki.
5. Ogólna teoria konsekwencji
6. Konsekwencja klasycznej logiki zdaniowej
7-8. Twierdzenie o dedukcji dla klasycznej logiki zdaniowej
9-10. Semantyka relacyjna i algebraiczna klasycznej logiki zdaniowej
11. Adekwatność CLS w algebrze dwóch wartości logicznych
12-13. Pełność CLS w algebrze dwóch wartości logicznych
E-Learning
W cyklu 2020/21_L: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2019/20_L: E-Learning |
Grupa przedmiotów ogólnouczenianych
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Koordynatorzy przedmiotu
W cyklu 2020/21_L: | W cyklu 2019/20_L: |
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.
Efekty kształcenia
Wiedza:
- absolwent zna i rozumie idee i argumenty wybranych klasycznych autorów filozoficznych na podstawie samodzielnej lektury i analizy treści ich pism
- absolwent zna i rozumie metody interpretacji tekstu filozoficznego.
Umiejętności:
- absolwent potrafi poprawnie stosować poznaną terminologię filozoficzną
- absolwent potrafi formułować w mowie i na piśmie problemy filozoficzne, stawiać tezy oraz artykułować własne poglądy w sprawach społecznych i światopoglądowych.
Kompetencje społeczne:
- absolwent jest gotów do rozważenia i analizy nowych idei oraz do
zmiany opinii w świetle dostępnych danych i argumentów.
Kryteria oceniania
Wykład połączony z elementami ćwiczeń.
1. Zajęcia odbywają się przez program MS Teams, w czasie rzeczywistym. Udział w zajęciach jest obowiązkowy.
2. Warunkiem przystąpienia do zaliczenia końcowego jest obecność na min. 12 zajęciach.
3. Zaliczenia końcowe odbywa się we wcześniej ustalonych grupach i jest nagrywane. Termin zaliczenia to ostatnie zajęcia w semestrze.
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
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: