Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279901
Type: TESE
Degree Level: Doutorado
Title: Aspectos da eliminabilidade dos operadores nominais
Author: Sanchez Botero, Clara Helena
Advisor: Costa, Newton Carneiro Affonso da, 1929-
Costa, Newton C. A. da
Abstract: 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.
Subject: Filosofia
Language: Português
Editor: [s.n.]
Citation: SANCHEZ BOTERO, Clara Helena. Aspectos da eliminabilidade dos operadores nominais. 1988. 65f. Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/279901>. Acesso em: 13 jul. 2018.
Date Issue: 1988
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
SanchezBotero_ClaraHelena_D.pdf10.59 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.