SylabUZ
| Course name | Logic |
| Course ID | 08.1-WP-PSChM-Log |
| Faculty | Faculty of Social Sciences |
| Field of study | Psychology |
| Education profile | academic |
| Level of studies | Long-cycle studies leading to MS degree |
| Beginning semester | winter term 2022/2023 |
| Semester | 2 |
| ECTS credits to win | 4 |
| Course type | obligatory |
| 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 |
| Lecture | 15 | 1 | - | - | Exam |
| Class | 30 | 2 | - | - | Credit with grade |
Celem przedmiotu jest zapoznanie studenta z podstawowymi zasadami racjonalnego i precyzyjnego myślenia i rozumowania w oparciu o narzędzia logiki tradycyjnej i formalnej.
brak
W trakcie ćwiczeń poruszane będą następujące wątki tematyczne: 1. Wypowiedź argumentacyjna. Argument 2. Standaryzacja argumentu 3. Diagram argumentu. Podargument 4. Klasyczny rachunek zdań: syntaktyka 5. Klasyczny rachunek zdań: semantyka 6. Zdania kategoryczne 7. Sylogistyka Arystotelesa 8. Nazwy. Stosunki między zakresami nazw. 9. Definicje. Błędy w definiowaniu 10. Syntaktyczna analiza zdań. 11. Podział rozumowań: rozumowania zawodne i niezawodne 12. Psychologia a logika 13. Wykorzystanie komputera w analizie rozumowań (język PROLOG). Wykłady przedstawią podbudowę teoretyczną wymienionego zakresu tematycznego, oraz dodatkowo omawiać następujące wątki: logika a kognitywistyka, logika a racjonalność, historia logiki, współczesne zastosowania logiki.
Wykład konwersatoryjny, wykład konwencjonalny, rozmowa nauczająca, rozwiązywanie zadań. Zajęcia oparte będą częściowo o materiał znajdujący się online.
| Outcome description | Outcome symbols | Methods of verification | The class form |
Zaliczenie ćwiczeń na podstawie wyników kolokwiów. Ocena z wykładów na podstawie egzaminu końcowego.
1. Szymanek K. et al., Sztuka argumentacji, PWN, Warszawa 2003.
2. Stanosz B., Ćwiczenia z logiki, różne wydania.
1. Borkowski L., Logika formalna, PWN, Warszawa 1977.
2. Batóg T., Podstawy logiki, Wydawnictwo UAM, Poznań 2003.
3. R. Smullyan, First-Order Logic, Dover 1995.
Modified by dr inż. Anna Góralewska-Słońska (last modification: 30-04-2022 14:39)
