Quantificadores modulados e o método da semântica de sociedades

Abstract

As Semânticas de Sociedades, introduzidas por Carnielli e Lima-Marques (1999), estabelecem uma interpretação mais intuitiva para as inconsistências presentes em alguns sistemas formais. As sociedades foram formalizadas, originalmente, em duas classes principais, pois segundo o critério adotado para a aceitação de uma fórmula arbitrária , poderíamos ter sociedades abertas ou fechadas. Por exemplo, na sociedade fechada S, formada por um conjunto não vazio de agentes,  é aceita por S somente no caso em que todos os agentes aceitam . Neste trabalho, propomos investigar o método da semântica de sociedades com relação aos quantificadores modulados, e mostrarmos as consequências de, mediante um arcabouço modelo-teorético, introduzir um quantificador modulado em uma semântica de sociedades.