Logika - studia niestacjonarne 09-LOGZ-KZZI-12
Treści kształcenia:
- kategorie składniowe, spójność syntaktyczna
- język KRZ i KRP, tautologie, metoda zerojedynkowa wprost i nie wprost, zdania analityczne, kontradyktoryczne i syntetyczne
- wynikanie logiczne i logiczna równoważność, wnioskowanie, schematy niezawodne, wnioskowanie dedukcyjne i różne rodzaje wnioskowań indukcyjnych, entymemat, poprawność formalna i materialna wnioskowania
- systemy założeniowe i aksjomatyczne KRZ i KRP, dowodzenie twierdzeń (wprost i niewprost)
- własności metamatematyczne systemów dedukcyjnych: niesprzeczność, pełność, zupełność, rozstrzygalność, niezależność; twierdzenia o dedukcji
- równość, inkluzja, rozłączność i krzyżowanie się zbiorów (i relacji); dopełnienie, suma, iloczyn, różnica, różnica symetryczna zbiorów (i relacji); podział zbioru; prawa rachunku zbiorów, badanie sylogizmów metodą diagramów Venna; iloczyn kartezjański, relacje binarne, konwers i złożenie relacji; własności relacji, relacje równoważności
Cele kształcenia
Kierunek studiów
Poziom przedmiotu
Rodzaj przedmiotu
Rok studiów (jeśli obowiązuje)
Efekty kształcenia
- zna podstawowe pojęcia logiki formalnej
- potrafi przy użyciu kategorii składniowych określać strukturę logiczną wyrażeń językowych oraz badać ich spójność syntaktyczną
- zna języki logiki formalnej (KRZ, KRP, RZiR) i potrafi interpretować odpowiednie formuły logiczne, jak również tworzyć stosowne formuły reprezentujące dane wyrażenia językowe
- zna i rozumie najważniejsze prawa logiki oraz potrafi sprawdzać, czy dane formuły logiczne są prawami logiki
- rozróżnia podstawowe typy wnioskowań, potrafi ocenić niezawodność i poprawność danych wnioskowań czy też wskazać ewentualne w nich błędy
- potrafi analizować i budować dowody twierdzeń w ramach systemów założeniowych oraz aksjomatycznych
- zna podstawowe pojęcia i twierdzenia metalogiczne oraz potrafi scharakteryzować w tych kategoriach własności poznanych systemów dedukcyjnych
- potrafi określać zależności między zbiorami czy relacjami oraz własności relacji, a także wykonywać na nich różnorodne operacje
Kryteria oceniania
Warunkiem zaliczenia z oceną przedmiotu w I semestrze jest zaliczenie pisemnego kolokwium (na ponad 50%).
Literatura
Podstawowa:
B. Stanosz Ćwiczenia z logiki
B. Stanosz Wprowadzenie do logiki formalnej
N. Gubareni Logika dla studentów
J. Słupecki et al. Logika i teoria mnogości
Dodatkowa:
K. Wieczorek Wprowadzenie do logiki
O. Nawrot Wprowadzenie do logiki dla prawników
K. Paprzycka Logika nie gryzie. Samouczek logiki zdań
M. Sieruga Logika dla prawników i nie tylko
W. Patryas Elementy logiki dla prawników
S. Lewandowski et al. Logika dla prawników
L. Borkowski Elementy logiki formalnej
T. Batóg Podstawy logiki
R. Wójcicki Wykłady z logiki z elementami teorii wiedzy
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: