Lógica

O curso consiste em introduzir material básico da moderna lógica formal clássica, com destaque para material mais relevante para a graduação em Filosofia

São em especial introduzidos conceitos, técnicas e problemas elementares dos seguintes segmentos mais básicos da lógica formal moderna:

– Lógica Proposicional
– Teoria da Quantificação (ou Lógica de Predicados)
– 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 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

  • JOÃO BRANQUINHO

    Professor Catedrático

  • CURSO

    Licenciatura (1.º ciclo)

  • ÁREA

    Filosofia

O conteúdo dos artigos é da exclusiva responsabilidade dos seus autores.