Espera-se que os estudantes sejam capazes de adquirir e aplicar competentemente um conjunto de conceitos, princípios e técnicas elementares que são centrais aos seguintes segmentos da lógica formal moderna: lógica proposicional, teoria da quantificação e teoria da identidade. Consideram-se os seguintes aspectos dessas teorias lógicas: (a) a semântica das constantes lógicas envolvidas - operadores frásicos verofuncionais, quantificadores e o predicado de identidade - e uma noção semântica de validade para as inferências associadas; (b) as regras de dedução natural - introdução e eliminação - para essas constantes lógicas e uma noção sintáctica de validade para as inferências associadas. O conjunto em questão de conceitos, princípios e técnicas constitui o núcleo do treino lógico que qualquer licenciado em Filosofia deve ter.
- Professor: Joao Miguel Biscaia Valadas Branquinho