Aspectos da eliminabilidade dos operadores nominais

Detalhes bibliográficos
Autor(a) principal: Sanchez Botero, Clara Helena
Data de Publicação: 1988
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1574756
Resumo: Orientador: Newton C. A. da Costa
id UNICAMP-30_63f6962edc8c7b3691f82596e2205c08
oai_identifier_str oai::17974
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Aspectos da eliminabilidade dos operadores nominais160FilosofiaOrientador: Newton C. A. da CostaTese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: 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üísticaAbstract: Not informed.DoutoradoDoutor em Lógica e Filosofia da Ciência[s.n.]Costa, Newton Carneiro Affonso da, 1929-Costa, Newton C. A. daUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSanchez Botero, Clara Helena1988info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf65f. ; 32 cm.https://hdl.handle.net/20.500.12733/1574756SANCHEZ 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: https://hdl.handle.net/20.500.12733/1574756. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/17974porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-11-11T12:00:08Zoai::17974Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-11-11T12:00:08Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Aspectos da eliminabilidade dos operadores nominais
title Aspectos da eliminabilidade dos operadores nominais
spellingShingle Aspectos da eliminabilidade dos operadores nominais
Sanchez Botero, Clara Helena
160
Filosofia
title_short Aspectos da eliminabilidade dos operadores nominais
title_full Aspectos da eliminabilidade dos operadores nominais
title_fullStr Aspectos da eliminabilidade dos operadores nominais
title_full_unstemmed Aspectos da eliminabilidade dos operadores nominais
title_sort Aspectos da eliminabilidade dos operadores nominais
author Sanchez Botero, Clara Helena
author_facet Sanchez Botero, Clara Helena
author_role author
dc.contributor.none.fl_str_mv Costa, Newton Carneiro Affonso da, 1929-
Costa, Newton C. A. da
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Sanchez Botero, Clara Helena
dc.subject.por.fl_str_mv 160
Filosofia
topic 160
Filosofia
description Orientador: Newton C. A. da Costa
publishDate 1988
dc.date.none.fl_str_mv 1988
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1574756
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: https://hdl.handle.net/20.500.12733/1574756. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1574756
identifier_str_mv 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: https://hdl.handle.net/20.500.12733/1574756. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/17974
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
65f. ; 32 cm.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188702133420032

Registros relacionados