Lógica

• Autor(es): Santos, Ricardo
• Data: 2012
• Identificador Persistente: http://hdl.handle.net/10174/8331
• Origem: Repositório Científico da Universidade de Évora
• Assunto(s): formal logic; propositional logic; predicate logic; identity; soundness; completeness; modal logic
• Tipo de Documento: Parte ou capítulo de livro
• Idioma: Português
• Editor(es): Galvão, Pedro

Descrição

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.