Przedmiot do wyboru B3: Zastosowania logiki - opis przedmiotu

Informacje ogólne

Nazwa przedmiotu	Przedmiot do wyboru B3: Zastosowania logiki
Kod przedmiotu	08.1--FP-PWZL-S21
Wydział	Wydział Humanistyczny
Kierunek	Filozofia
Profil	ogólnoakademicki
Rodzaj studiów	pierwszego stopnia z tyt. licencjata
Semestr rozpoczęcia	semestr zimowy 2021/2022

Informacje o przedmiocie

Semestr	3
Liczba punktów ECTS do zdobycia	2
Typ przedmiotu	obieralny
Język nauczania	polski
Sylabus opracował	dr Adam Trybus

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
Ćwiczenia	30	2	-	-	Zaliczenie na ocenę

Cel przedmiotu

Zapoznanie studenta z osiągnięciami logiki wykraczającymi poza klasyczną logikę formalną, skupiając się na aspektach praktycznych i zastosowaniach logiki w filozofii, matematyce, prawie i informatyce.

Wymagania wstępne

Podstawowe wiadomości z klasycznej logiki zdań.

Zakres tematyczny

1. Wprowadzenie: logika klasyczna, jej historia i metody

2. Metody dowodzenia twierdzeń

3. Logika pierwszego rzędu jako rozszerzenie sylogistyki

4. Logika nieformalna: teoria argumentacji i analizy wypowiedzi

5. Logiki wielowartościowe: poza prawdę i fałsz

6. Logika modalna i jej zastosowania: logiki deontyczne i temporalne

7. Logiki tolerujące sprzeczność i ich zastosowania

8. Logika w filozofii: intuicjonizm i konstruktywizm

9. Logika a matematyka: paradoksy matematyki i jej niezupełność

10. Logika a informatyka: złożoność obliczeniowa i weryfikacja procesorów

11. Geometria: od wzoru ścisłości do analizy logicznej

12. Elementy programowania w logice: COQ i PROLOG

13. Logika a psychologia

Metody kształcenia

Wykład konwersatoryjny, wykład konwencjonalny, rozmowa nauczająca, rozwiązywanie zadań.

Efekty uczenia się i metody weryfikacji osiągania efektów uczenia się

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

Warunki zaliczenia

Zaliczenie kolokwium.

Literatura podstawowa

1. Szymanek K. et al., Sztuka argumentacji, PWN, Warszawa 2003.

2. Borkowski L., Logika formalna, PWN, Warszawa 1977.

3. Pietryga A., Status zasady sprzeczności w świetle logiki współczesnej, Aureus, Kraków 2005

4. Murawski R. Filozofia matematyki, Wyd. Naukowe UAM, Poznań 2013.

Literatura uzupełniająca

1. Murawski R., Filozofia matematyki. Antologia tekstów klasycznych, Wyd. Naukowe UAM, Poznań 2003.

2. Witold Marciszewski (red.), Mała encyklopedia logiki, Wrocław 1970.

Uwagi

Zmodyfikowane przez dr Dariusz Sagan (ostatnia modyfikacja: 26-04-2021 21:06)