A lógica da implicação estrita e a criação da lógica modal moderna

17 Fevereiro 2020, 16:00 • Ricardo Santos

Razões de insatisfação com a condicional material da lógica clássica. A implicação estrita de C. I. Lewis. Sua caracterização axiomática (uma forma de ‘definição implícita’). Os cinco sistemas de Lewis. Os operadores modais de necessidade e possibilidade (a caixa e o diamante). Sua interdefinibilidade. Possíveis ambiguidades quanto ao âmbito dos operadores modais. Os operadores modais não são verofuncionais. Diferentes sentidos de possibilidade (e de necessidade): análise de exemplos.