Nos próximos dias 16 e 30 de Junho de 2018, vou leccionar um curso de formação creditada de "Lógica e Filosofia: a lógica proposicional e os seus desafios" em Braga (na Academia de Educação e Formação da APEFP - Rua Padre Armando Lira, Sala A2 – Maximinos) para os professores do Ensino Secundário. Quem estiver interessado poderá fazer a inscrição ao telefonar para 968207267. 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:
Este curso ocorrerá nos dias 16 e 30 de Junho de 2018, entre as 9h e 16h. Para se inscrever pode escrever para [email protected] ou telefonar para 968207267.