PAULO VITOR MELO VIAL DOMINGUES

Considerando a disputa entre atualismo e possibilismo em termos modelo-teoréticos, podemos diferenciar dois tipos de quantificadores que, não incontroversamente, respeitam as intuições atualistas e possibilistas: (i) o quantificador atualista cujo escopo quantificacional é o domínio do mundo em que a sentença foi “proferida”; (ii) o escopo do quantificador possibilista é a união dos domínios de todos os mundos. Desse modo, é possível defender que a principal diferença entre atualistas e possibilistas é o diferente uso dos quantificadores: enquanto atualistas só utilizam o quantificador atualista, possibilistas também utilizam o quantificador possibilista. Assim, surge a questão da possibilidade de redução de um tipo de discurso no outro. Se w e u são dois mundos possíveis distintos, e o domínio de w = {a}, u = {b}; utilizando o quantificador possibilista sobre conjuntos podemos dizer que “existe algum conjunto tal que apenas a e b são membros”. No entanto, somente com os recursos atualistas (quantificadores atualistas e operadores modais) não somos capazes de expressar a sentença acima. Assim, nosso objetivo é investigar a possibilidade de redução do discurso possibilista.