Semantica, Metafísica das Modalidades e Propriedades Essenciais.

O presente trabalho tem como objetivo geral a defesa da lógica modal quantificacional e do seu compromisso essencialista, ou seja, defende-se que se pode tirar conclusões metafísicas a partir da semântica lógica. E, neste âmbito, procura-se esclarecer o papel das propriedades essenciais da identidade dos objetos nos mundos possíveis; estabelecer a importância da tese da acessibilidade entre os mundos como garantia da possibilidade de quantificação sobre enunciados modais; indicar a insuficiência do anti-essencialismo quineano no esclarecimento do significado das noções de """"necessidade"""" e """"possibilidade"""" e, finalmente, quer-se deixar claro o resgate das categorias da metafísica aristotélico-tomista na análise ontológica da semântica da lógica modal.