Logika 09-LOG-22

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

Nabycie przez studentów elementarnej wiedzy z logiki i metalogiki, a w szczególności z zakresu KRZ (klasycznego rachunku zdań), KRP (klasycznego rachunku predykatów) i RZiR (rachunku zbiorów i relacji). Nabycie umiejętności zastosowania odpowiedniej formalnej aparatury logicznej w analizie zdań i wnioskowań.

Kierunek studiów

filologia – etnolingwistyka

Poziom przedmiotu

I stopień

Rodzaj przedmiotu

obowiązkowe

Rok studiów (jeśli obowiązuje)

I rok

Efekty kształcenia

Po zakończeniu przedmiotu i potwierdzeniu osiągnięcia efektów kształcenia student:

1) zna podstawowe pojęcia logiki formalnej
2) potrafi przy użyciu kategorii składniowych określać strukturę logiczną wyrażeń językowych oraz badać ich spójność syntaktyczną
3) 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
4) zna i rozumie najważniejsze prawa logiki oraz potrafi sprawdzać, czy dane formuły logiczne są prawami logiki
5) rozróżnia podstawowe typy wnioskowań, potrafi ocenić niezawodność i poprawność danych wnioskowań czy też wskazać ewentualne w nich błędy
6) potrafi analizować i budować dowody twierdzeń w ramach systemów założeniowych oraz aksjomatycznych
7) zna podstawowe pojęcia i twierdzenia metalogiczne oraz potrafi scharakteryzować w tych kategoriach własności poznanych systemów dedukcyjnych
8) 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

W semestrze zimowym: zaliczenie na ocenę na podstawie wejściówek i pisemnego kolokwium;
W semestrze letnim: zaliczenie na ocenę na podstawie wejściówek oraz egzamin pisemny obejmujący materiał z obu semestrów;
(ocena dostateczna od ponad 50%)

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:

Strona przedmiotu 09-LOG-22 w USOSweb