Logika 09-LOG-FŁ-11
Treści kształcenia:
1) kategorie składniowe, spójność syntaktyczna
2) język KRZ i KRP, tautologie, metoda zerojedynkowa wprost i nie wprost, zdania analityczne, kontradyktoryczne i syntetyczne
3) wynikanie logiczne i logiczna równoważność, wnioskowanie, schematy niezawodne, wnioskowanie dedukcyjne i różne rodzaje wnioskowań indukcyjnych, entymemat, poprawność formalna i materialna wnioskowania
4) systemy założeniowe i aksjomatyczne KRZ i KRP, dowodzenie twierdzeń (wprost i niewprost)
5) własności metamatematyczne systemów dedukcyjnych: niesprzeczność, pełność, zupełność, rozstrzygalność, niezależność; twierdzenia o dedukcji
6) 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
Po zakończeniu modułu student:
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
zaliczenie na ocenę na podstawie pisemnego kolokwium
Literatura
B. Stanosz Ćwiczenia z logiki
B. Stanosz Wprowadzenie do logiki formalnej
K. Wieczorek Wprowadzenie do logiki
O. Nawrot - Wprowadzenie do logiki dla prawników
N. Gubareni Logika dla studentó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
J. Słupecki et al. Logika i teoria mnogości
M. Omyła Logika - wybrane zagadnienia
A. Wojciechowska Elementy logiki i teorii mnogości
W. Marek, J. Onyszkiewicz Elementy logiki i teorii mnogości w zadaniach
T. Batóg Podstawy logiki
W. Wolter, M. Lipczyńska Elementy logiki
A. Grzegorczyk Logika popularna
J. Sobiecki W kręgu logiki
R. Wójcicki Wykłady z logiki z elementami teorii wiedzy
J. Przybyłowski Logika z ogólną metodologią nauk
E. Żarnecka-Biały Mała logika
Mała encyklopedia logiki
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: