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
O conteúdo dos artigos é da exclusiva responsabilidade dos seus autores.