A semântica de Kripke para a lógica modal quantificada. Actualismo vs. possibilismo.
6 Maio 2021, 18:30 • Ricardo Santos
A semântica de Kripke para a lógica modal quantificada: cada mundo possível tem o seu próprio domínio de objectos. Nesta semântica, o necessitismo é falso e as fórmulas de Barcan são inválidas. Mas surge um conflito com o actualismo, quer dizer, com o princípio de que só existe aquilo que é actual. A controvérsia entre actualistas e possibilistas. A distinção entre semântica pura e semântica aplicada. Tomada como semântica aplicada, a semântica de Kripke parece implicar que (i) existem outros mundos possíveis, diferentes do mundo actual, e que (ii) existem outros objectos possíveis, diferentes dos que existem no mundo actual.