Logic

Timetable

Module aim (aims)

1 presentation of the historical and contemporary role of logic in the process of acquiring knowledge
2 description of the basic systems of ancient logic
3 presentation of contemporary classical systems of logic and their relations to non-classical logic systems
4 demonstrating the possibility of applying logic and formal rules of reasoning in the process of acquiring knowledge

Pre-requisites in terms of knowledge, skills and social competences (where relevant)

Syllabus

1. Grammar, logic and rhetoric in trivium and Liberal Arts.
2. Logic in ancient Greece.
3. Basic concepts of semiotics.
4. Language as a systems of characters. Terms.
5. Aristotle’s logic.
6. Categorical propositions. The square of oppositions and the syllogistics.
7. Classical propositional calculus, its syntax and semantics.
8. Inference schemata in classical propositional calculus.
9. Fundamentals of classical first-order order logic.
10. Non-classical logics.

Reading list

Obligatory

1. Georgacarakos G.N., Smith R., Elementary Formal Logic, McGraw-Hill Book Company, 1979.
2. Kahane H., Logic and Philosophy: A Modern Introduction. Wadsworth Publishing Company, Belmont, CA, 1982.
3. Michel J.et al., Trivium: The Classical Liberal Arts of Grammar, Logic, & Rhetoric, Bloomsbury Publishing plc, 2016.