Orientador: Newton C. A. da Costa

Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: Na presente tese apresenta-se uma descrição do sistema formal Lww(Ql, ee), sendo Lww a lógica de primeira ordem, Ql o quantificador generalizado de KEISLER e e o símbolo de HILBERT. Demonstra-se que o sistema é correto e completo e preserva a maioria das propriedades de teoria da prova e...

Resumo: Na presente tese apresenta-se uma descrição do sistema formal Lww(Ql, ee), sendo Lww a lógica de primeira ordem, Ql o quantificador generalizado de KEISLER e e o símbolo de HILBERT. Demonstra-se que o sistema é correto e completo e preserva a maioria das propriedades de teoria da prova e teoria de modelos da lógica de primeira ordem. Demonstra-se igualmente que o símbolo e é eliminável em Lww(e) em certos tipos de fórmulas a que chamaremos de e-invariantes e que, para este mesmo tipo de fórmulas, o símbolo e não é eliminável em Lww (Ql ,e ). Demonstra-se assim, o poder expressivo de e quando se acrescenta à lógica de primeira ordem, além do e, o quantificador generalizado Ql. Esses resultados podem ser estendidos tanto a outros operadores nominais (vbto's) quanto a outros quantificadores generalizados. Além disso, inclui-se neste trabalho, um resumo histórico dos operadores nominais, que procura mostrar a relevância da teoria geral de tais operadores e, em particular, dos teoremas de eliminação, para a lógica, a filosofia, a matemática e a lingüística

Abstract: Not informed.