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:

lista-video4.pdf

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:


lista-video5.pdf

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:

lista-video6.pdf

Referencias