Orientador: Newton C. A. da Costa / Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:22:19Z (GMT). No. of bitstreams: 1
SanchezBotero_ClaraHelena_D.pdf: 10846766 bytes, checksum: b8527f7f03ce7c31c311fae84e1dfc9d (MD5)
Previous issue date: 1988 / 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. / Doutorado / Doutor em Lógica e Filosofia da Ciência
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/279901 |
| Date | 13 July 2018 |
| Creators | Sanchez Botero, Clara Helena |
| Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Costa, Newton Carneiro Affonso da, 1929-, Costa, Newton C. A. da |
| Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia e Ciências Humanas |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Format | 65f. ; 32 cm., application/pdf |
| Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0025 seconds