Logic
Code
711031079
Academic unit
Faculdade de Ciências Sociais e Humanas
Department
Filosofia
Credits
6
Teacher in charge
Nuno Carlos Venturinha
Weekly hours
4
Teaching language
Portuguese
Objectives
a) To attain the theoretical tools required for analysis of the logical structure of declarative sentences.
b) To acquire the ability to prove the formal validity of inferences.
Prerequisites
Not applicable
Subject matter
Introduction to Formal Logic
The course begins with an introduction to the logic of unanalyzed propositions. After we have looked at the truth-functional operators of propositional logic and basic notions such as those of validity, consistency and inconsistency, we focus particular attention on the method of truth tables and on the semantic tableaux method. There follows an introduction to first-order predicate logic with application of the semantic tableaux method. After that, the natural deduction calculus for first-order logic is studied. The course ends with an analysis of issues related to the philosophy of logic, namely identity and negation, as well as of themes concerning epistemic logic.
Bibliography
Halbach, V. (2010). The Logic Manual. Oxford: Oxford University Press.
Quine, W. V. O. (1982). Methods of Logic. Cambridge, MA: Harvard University Press.
Sàágua, J. (2001). Lógica para as Humanidades. Lisboa: Colibri.
Smith, P. (2003). An Introduction to Formal Logic. Cambridge: Cambridge University Press.
Wittgenstein, L. (1933). Tractatus Logico-Philosophicus. London: Routledge; (1987). Tratado Lógico-Filosófico. Lisboa: Fundação Calouste Gulbenkian.
Teaching method
The method adopted for the class combines exposition based on course readings with exercises to be completed by the students.
Evaluation method
The evaluation consists of two tests, one in the middle and another at the end of the semester, each with a weight of 50%.