PAULO VITOR MELO VIAL DOMINGUES

Curso
Mestrado
Orientador
Rodrigo Bacellar
Fomento
CAPES
Título da pesquisa
NECESSITISMO E CONTINGENTISMO
Resumo da pesquisa

Em Modal Logic as Metaphysics vemos a apresentação sistemática de duas teses auto-excludentes, viz. o necessitismo e o contingentismo. Podemos definir o necessitismo através de um slogan como a tese que defende que tudo necessariamente existe. Analogamente, definimos o contingentismo através de um slogan como a tese que defende que nem tudo necessariamente existe. Podemos pensar em vários argumentos informais a favor ou contra cada uma das duas teses apresentadas acima, no entanto, ganhamos muito em clareza e rigor quando ambas são pensadas através de uma linguagem de lógica modal quantificada interpretada com modelos de Kripke. Nosso objetivo será, assim, apresentar e avaliar as teses citadas acima quando estas são pensadas em termos de uma semântica de mundos possíveis.