Logic - 2nd semester
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.
General characterization
Code
711031079
Credits
6
Responsible teacher
João Sàágua
Hours
Weekly - 4
Total - Available soon
Teaching language
Portuguese
Prerequisites
Not applicable
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%).
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.