24/05/2017

Curso: a lógica proposicional e os seus desafios


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.

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 apefp2008@gmail.com ou telefone para 968207267.


Gostou deste artigo? Receba outros por e-mail, assine a nossa newsletter. Digite aqui o seu e-mail:

Este artigo, com comentários, encontra-se no seguinte tema: ,

Escreva aqui os seus comentários ao artigo "Curso: a lógica proposicional e os seus desafios":

5 Domingos Faria: Curso: a lógica proposicional e os seus desafios Vou leccionar um curso formação creditada de "Lógica e Filosofia: a lógica proposicional e os seus desafios" na Academia de Educa...
< >