Rudimentos de semântica modal para fórmulas abertas

Abstract

A proposta do artigo é investigar tão ingenuamente quanto possível o comportamento semântico de fórmulas abertas de linguagens modais. Na hipótese, por exemplo, que certo valor semântico é associado à fórmula ‘x é professor’, quais seriam os valores semânticos associados às fórmulas ‘Não é o caso que x é professor’ e ‘É possível que x seja professor’? Para tanto, são introduzidos dois tipos específicos de atribuições de valores às variáveis: (a) as atribuições absolutas e (b) as atribuições relativas.