10/06/2018

Curso de Formação em Lógica Proposicional


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.

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 apefp2008@gmail.com ou telefonar 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 de Formação em Lógica Proposicional":

5 Domingos Faria: Curso de Formação em Lógica Proposicional 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 proposicio...
< >