UM MODELO ALGÉBRICO DO QUANTIFICADOR DA UBIQUIDADE

ESTA PESQUISA ESTÁ INSERIDA NO CONTEXTO FILOSÓFICO DA LÓGICA, COM ÊNFASE NOS ASPECTOS DOS QUANTIFICADORES E NOS SEUS MODELOS OU INTERPRETAÇÕES. O OBJETIVO DESTE TRABALHO É UM APROFUNDAMENTO DAS NOÇÕES DE QUANTIFICAÇÃO DENTRO DO ASPECTO DAS LÓGICAS MODULADAS. PARA TANTO, ABORDA-SE A LÓGICA MODULADA DO PLAUSÍVEL, QUE PROCURA FORMALIZAR O QUANTIFICADOR DA UBIQUIDADE. O TEXTO APRESENTA UMA PROPOSTA, INTRODUZIDA POR PAUL HALMOS, DE INTERPRETAÇÃO DA LÓGICA QUANTIFICACIONAL CLÁSSICA EM MODELOS ALGÉBRICOS E, COMO CONTRIBUIÇÃO ORIGINAL, ESTENDE ESTE MODELO PARA UM MODELO ALGÉBRICO PARA A LÓGICA DO PLAUSÍVEL.