Lógica

• Author(s): Santos, Ricardo
• Date: 2012
• Persistent ID: http://hdl.handle.net/10174/8331
• Origin: Repositório Científico da Universidade de Évora
• Subject(s): formal logic; propositional logic; predicate logic; identity; soundness; completeness; modal logic
• Document Type: Part of book or chapter of book
• Language: Portuguese
• Editor(s): Galvão, Pedro

Description

In this chapter, the author presents an overview of the main contents to be covered by a Formal Logic course for Philosophy undergraduates. It includes the following sections: (1) Logic: what follows from what? (2) Logic for philosophers; (3) Propositional logic; (4) Predicate logic; (5) The theory of identity; (6) Soundness and completeness; (7) Propositional modal logic; (8) Bibliography.