Logic - 2nd semester
Code
711031079
Academic unit
Faculdade de Ciências Sociais e Humanas
Department
Filosofia
Credits
6
Teacher in charge
Paulo Melo
Weekly hours
4
Teaching language
Portuguese
Objectives
a) To attain the theoretical tools required for analysis of the logical structure of sentences.
b) To acquire the ability to investigate the formal validity of inferences.
Prerequisites
Not applicable
Subject matter
Testing for consistency and validity, we will focus on: the analysis and formalization of arguments expressed in natural language; truth-value analysis (decision method for propositional logic); sentence tableaux for firs-order logic with identity.
Bibliography
* Copi, I. M., Introduction to Logic, Collier Macmillan Publ., London, 1982
* Howson, Colin, Logic with Trees, Routledge, London and New York, 1997
* Jeffrey, Richard, Formal Logic / Its Scope and Limits, Hackett Publishing Company, Inc., Indianapolis/Cambridge, 2006
* Newton-Smith, W. H., Logic, Routledge, London, 1991 (corrected edition)
* Quine, W.V., Methods of Logic, Routledge & Kegan Paul, London, 1974
Teaching method
Theoretical-practical.
In class teaching
Evaluation method
Written test (50%) and final written examination (50%).