Logika klasyczna - opis przedmiotu

Informacje ogólne

Nazwa przedmiotu	Logika klasyczna
Kod przedmiotu	08.1-WH-FP-LK-S16
Wydział	Wydział Humanistyczny
Kierunek	Filozofia
Profil	ogólnoakademicki
Rodzaj studiów	pierwszego stopnia z tyt. licencjata
Semestr rozpoczęcia	semestr zimowy 2017/2018

Informacje o przedmiocie

Semestr	2
Liczba punktów ECTS do zdobycia	4
Typ przedmiotu	obowiązkowy
Język nauczania	polski
Sylabus opracował	prof. dr hab. Tomasz Skura

Formy zajęć

Forma zajęć	Liczba godzin w semestrze (stacjonarne)	Liczba godzin w tygodniu (stacjonarne)	Liczba godzin w semestrze (niestacjonarne)	Liczba godzin w tygodniu (niestacjonarne)	Forma zaliczenia
Wykład	30	2	-	-	Zaliczenie
Ćwiczenia	30	2	-	-	Zaliczenie na ocenę

Cel przedmiotu

Poznanie i praktyczne opanowanie metod logiki klasycznej

Brak

Klasyczna logika zdań (metoda 0-1, dedukcja naturalna, reguły analityczne).

Klasyczna logika predykatów (język predykatów, kwantyfikatory, modele języka predykatów, reguły analityczne).

Wykład tradycyjny, dyskusja, rozwiązywanie problemów.

Opis efektu	Symbole efektów	Metody weryfikacji	Forma zajęć

Udział w zajęciach, test.

1. L. Borkowski, Elementy logiki formalnej.

2. W. Marciszewski, Logika formalna.

B. Stanosz, Ćwiczenia z logiki.

1. R. M. Smullyan, First-order logic.

Zmodyfikowane przez dr Dariusz Sagan (ostatnia modyfikacja: 03-07-2017 14:36)