Lógica Modal Proposicional
Lógica Modal - Introdução
Introduzimos o curso de lógica modal com alguns exemplos de frases verdadeiras de modos diferentes.
Analisando sentenças modais
Analisaremos algumas sentenças modais no contexto das lógicas para metafísica, epistemologia e deontologia.
História moderna da necessidade e causalidade
Falaremos dos desenvolvimentos do século XX das lógicas modais. Com os trabalhos de Lewis sobre implicação estrita (1912, 1914), tivemos um primeiro grande impulso para o estudo dos sistemas modais. Mais tarde, com os trabalhos de Carnap e Kripke (entre outros), entramos em uma nova era de desenvolvimento semântico desses sistemas.
Semântica de mundos possíveis
Introduzimos a semântica de mundos possíveis desenvolvida por Saul Kripke. Mostraremos algumas intuições básicas, do que são compostos os mundos possíveis e faremos alguns exemplos.
Lista de Exercícios:

Validade de fórmulas modais
Continuamos explorando a semântica de mundos possíveis com a análise de validade de fórmulas modais. Em seguida, mostramos como encontrar contraexemplos para algumas fórmulas simples.
Lista de Exercícios:

Contraexemplos para fórmulas modais
Motraramos como encontrar contraexemplos para algumas fórmulas modais. Em seguida, introduziremos o conceito de posto de uma fórmula.
Lista de Exercícios:

Referencias
Blackburn, P., De Rijke, M., & Venema, Y. (2001). Modal logic: graph. Darst (Vol. 53). Cambridge University Press.
Garson, J. W. (2013). Modal logic for philosophers. Cambridge University Press.
Mortari, C. A. (2001). Introdução à lógica. Unesp.