Vou leccionar um Curso formação creditada de "Lógica e Filosofia: a lógica proposicional e os seus desafios" na Academia de Educação e Formação da APEFP (Rua Padre Armando Lira, Sala A2 – Maximinos - BRAGA) para os professores do Ensino Secundário. Para quem estiver interessado, as inscrições estão abertas aqui. Este curso tem como principais objectivos aproximar o formando da discussão da lógica proposicional clássica.
Related Articles
Conteúdos do curso:
1- Introdução à lógica proposicional clássica LPC (5 horas)
1.1- Linguagem e formalização em LPC: variáveis proposicionais, conectivas, âmbito.
1.2- A semântica da LPC: condições de verdade, consequência lógica, verdade lógica.
2- Métodos formais para testar a validade/invalidade em LPC (5 horas)
2.1- Inspetores de circunstâncias.
2.2- Derivações por redução.
2.3- Árvores de refutação e contramodelos.
3- Alguns desafios para a LPC (2 horas)
3.1- Paradoxos e contraexemplos para implicação material.
3.2- Contraexemplos para o “modus ponens”.
3.3- Tentativas de respostas para os desafios à LPC.
Calendário e Inscrições:
A primeira edição deste curso ocorrerá de 12 a 14 de Junho de 2017 entre as 18h e 22h. As inscrições para a primeira edição deste curso estão abertas aqui. Para mais informações escreva para [email protected] ou telefone para 968207267.
