ASPECTOS DA ELIMINABILIDADE DOS OPERADORES NOMINAIS.

NA PRESENTE TESE APRESENTA-SE UMA DESCRICAO DO SISTEMA FORMAL, LWW (Q1,E), SENDO LWW A LOGICA DE PRIMEIRA ORDEM Q1 O QUANTIFICADOR GENERALIZADO DE KEISLER E O SIMBOLO DE HILBERT. DEMONSTRA-SE QUE O SISTEMA E CO RRETO E COMPLETO. NAO OBSTANTE ISTO, NOSSO OBJETIVO E DEMONSTRAR QUE O SIMBOLO E E ELIMINAVEL EM LWW (E) EM CERTOS TIPOS DE FORMULAS, A QUE CHAMAREMOS DE E-INVARIANTES E, PARA ESTE MESMO TIPO DE FORMULAS, E NAO E ELIMINAVEL EM LWW (O1,E). DEMONSTRA-SE ASSIM O PODER EXPRESSIVO DO E, QUANDO SE APRESENTA A LOGICA DE PRIMEIRA ORDEM, ALEM DO E, QUANDO SE ACRESCENTA A LOGICA PRIMEIRA ORDEM, ALEM DO E, O QUANTIFICADOR GENER ES NOMINAIS QUE PROCURA MOSTRAR A RELEVANCIA DA TEORIA GERAL DE TAIS OPERADORES E, EM PARTICULAR, DOS TEOREMAS DE ELIMINACAO, PARA A LOGICA, A FILOSOFIA, A MATEMATICA E A LINGUISTICA.