SylabUZ
| Course name | Classical Logic |
| Course ID | 08.1-WH-UZ-F-CL-1 |
| Faculty | Faculty of Humanities |
| Field of study | WH - oferta ERASMUS / Philosophy |
| Education profile | - |
| Level of studies | First-cycle Erasmus programme |
| Beginning semester | winter term 2018/2019 |
| Semester | 2 |
| ECTS credits to win | 5 |
| Course type | obligatory |
| Teaching language | english |
| 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 | 30 | 2 | - | - | Exam |
| Class | 30 | 2 | - | - | Credit with grade |
Mastering basic methods of Classical Logic
None
Classical Propositional Logic (Boolean valuations, tableau rules, natural deduction, axiomatic system).
Classical Predicate Logic (models, tableau rules, axiomatic system).
Lecture; discussion, solving specific problems, presentation.
| Outcome description | Outcome symbols | Methods of verification | The class form |
Participation in the classes, passing the test.
R. M. Smullyan, First-Order Logic.
W. Hodges, Elementary Predicate Logic, [in] Handbook of Philosophical Logic, 2nd Edition, Volume 1.
Modified by prof. dr hab. Tomasz Skura (last modification: 23-05-2018 09:47)
