SylabUZ
| Course name | Przedmiot do wyboru B3: Zastosowania logiki |
| Course ID | 08.1--FP-PWZL-S21 |
| Faculty | Faculty of Humanities |
| Field of study | Philosophy |
| Education profile | academic |
| Level of studies | First-cycle studies leading to Bachelor's degree |
| Beginning semester | winter term 2021/2022 |
| Semester | 3 |
| ECTS credits to win | 2 |
| Course type | optional |
| Teaching language | polish |
| Author of syllabus |
|
| The class form | Hours per semester (full-time) | Hours per week (full-time) | Hours per semester (part-time) | Hours per week (part-time) | Form of assignment |
| Class | 30 | 2 | - | - | Credit with grade |
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.
Podstawowe wiadomości z klasycznej logiki zdań.
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
Wykład konwersatoryjny, wykład konwencjonalny, rozmowa nauczająca, rozwiązywanie zadań.
| Outcome description | Outcome symbols | Methods of verification | The class form |
Zaliczenie kolokwium.
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.
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.
Modified by dr Dariusz Sagan (last modification: 26-04-2021 21:06)
