Necessidade e possibilidade

6 Outubro 2016, 10:00 • Ricardo Santos

As noções modais de necessidade e possibilidade; sua representação simbólica por meio de operadores frásicos unários. Os operadores modais não são verofuncionais (e, por isso, a sua semântica não é representável em tabelas de verdade). Interdefinibilidade dos dois operadores. A incerteza quanto às leis fundamentais da lógica modal. A abordagem axiomática de C. I. Lewis (5 sistemas, de S1 a S5). Qual é o sistema mais correcto? Kripke e a semântica dos mundos possíveis. Avaliação de cada frase atómica (ou letra esquemática) em cada mundo. A necessidade como verdade em todos os mundos, e a possibilidade como verdade nalgum mundo. A avaliação de frases modalizadas num mundo. Relações entre mundos.