Logika WS-PO-BW-Log
Metody oceny: Kolokwium końcowe. Obowiązuje materiał przedstawiony na zajęciach.
Treści programowe:
1. Zagadnienia wstępne: historia logiki, jej przedmiot i cel nauczania.
2. Syntaktyczne kategorie wyrażeń
3. Klasyczny Rachunek Zdań: budowa języka.
4. Klasyczny Rachunek Zdań: tautologie logiczne, metoda zerojedynkowa.
5. Metoda zerojedynkowa (cd.).
6. Pojęcie wynikania logicznego.
7. Klasyfikacja rozumowań.
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Efekty kształcenia
Wiedza:
EK 1 - student posiada wiedzę ogólną na temat logiki formalnej
EK 2 - student posiada znajomość specyfiki logiki na tle innych nauk (zna jej przedmiot i metodę)i
Umiejętności:
EK 3 - student potrafi posługiwać się narzędziami z zakresu semiotyki logicznej i logiki formalnej
EK 4 - student poprawnie przeprowadza analizę rozumowań
Kryteria oceniania
Forma zaliczenia: pisemne kolokwium na zakończenie zajęć.
Literatura
J. Wajszczyk, Wstęp do logiki, Olsztyn 2001.
Z. Ziembiński, Logika praktyczna, Warszawa 1992.
A. Malinowski, Przewodnik do ćwiczeń z logiki dla prawników, Warszawa 2008.
P. Smith, An introduction to formal logic, Cambridge 2009.
P. Tomassi, Logic, London and New York,2002.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: