Logic

Code	15555
Year	1
Semester	S1
ECTS Credits	6
Workload	OT(15H)/TP(45H)
Scientific area	Philosophy
Entry requirements	None
Learning outcomes	This course aims to give the student theoretical knowledge of Logic and practical ability to handle logical instruments. At the end of the course, the student should have developed skills and competences: a) Basic - Identify and define elementary notions of logic. b) Operational - Knowing how to use logical instruments (of syllogistics and propositional calculus) for formal and semi-formal analysis of the consistency of arguments and to translate them into deductions and logical calculus. c) Transversal - Develop critical attention to the rigour of argument expression both in the interpretation of the philosophical text and in its writing, and also as an intellectual attitude to be incorporated.
Syllabus	1. What is logic and its basics notions 2. Elements of Aristotelian logic 3. Elements of propositional logic 4. Elements of predicate logic 5. Informal logic
Main Bibliography	Forbes, Graeme. 1994. Modern Logic: a text in elementary sybolic logic, Nova Iorque: OUP. Copi, Irving. 1978. Introdução à lógica. São Paulo: Mestre Jou. Branquinho, João; Murcho, Desidério. 2001. Enciclopédia de Termos Lógico-Filosóficos. Lisboa: Gradiva. Worksheets Detlefsen, M., McCarthy, D.C., Bacon, J.B. 2004. Glossário de Lógica. Lisboa: Edições 70. Murcho, D. 2019. Lógica Elementar. Lisboa: Edições 70. Newton-Smith, W. H., 1998. Lógica: Um curso introdutório. Lisboa: Gradiva. Sàágua, J. 2001. Lógica para as Humanidades. Lisboa: Colibri. Thiry, Ph. 2010. Noções de Lógica. Lisboa: Edições 70. Walton, D. 2008. Informal Logic. A pragmatic approach (2nd ed.). Cambridge: Cambridge University Press. Zilhão, A. 2001. 40 Lições de Lógica Elementar. Lisboa: Colibri.
Language	Portuguese. Tutorial support is available in English.