PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).

Detalhes bibliográficos
Autor(a) principal: Navarro Mena, Vidal Humberto
Data de Publicação: 2015
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641921
Resumo: The present article has for objective to present an alternativereconstruction of Concept of Structure, motivated by the articles[1] and [3], as an abstract generalization of what is a mathematicalobject. First, its construction is presented, that is related to the TypeTheory and Order in Logic. Which give us a context for properties andseveral interesting examples. Secondly, we will proceed towards a concretesemantic for analysing structures and letting us operate in them.Thus we are able to know what itXB is true in it. Results of orderand individuals reduction are presented through our construction. Inthe end, we formalized the discussions referred completely in our TypeTheory.
id UNICAMP-17_b98f3217fcbb48493ffe2e141d3db50e
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8641921
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).Structure. ModelsStructure Semantics. High-Order Logic. Newton Da Costa.The present article has for objective to present an alternativereconstruction of Concept of Structure, motivated by the articles[1] and [3], as an abstract generalization of what is a mathematicalobject. First, its construction is presented, that is related to the TypeTheory and Order in Logic. Which give us a context for properties andseveral interesting examples. Secondly, we will proceed towards a concretesemantic for analysing structures and letting us operate in them.Thus we are able to know what itXB is true in it. Results of orderand individuals reduction are presented through our construction. Inthe end, we formalized the discussions referred completely in our TypeTheory.Universidade Estadual de Campinas2015-11-25info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641921Manuscrito: Revista Internacional de Filosofia; v. 38 n. 2 (2015): Jul./Dec.; 89-154Manuscrito: International Journal of Philosophy; Vol. 38 No. 2 (2015): Jul./Dec.; 89-154Manuscrito: Revista Internacional de Filosofía; Vol. 38 Núm. 2 (2015): Jul./Dec.; 89-1542317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641921/9419Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessNavarro Mena, Vidal Humberto2015-12-11T14:15:19Zoai:ojs.periodicos.sbu.unicamp.br:article/8641921Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-12-11T14:15:19Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
title PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
spellingShingle PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
Navarro Mena, Vidal Humberto
Structure. Models
Structure Semantics. High-Order Logic. Newton Da Costa.
title_short PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
title_full PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
title_fullStr PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
title_full_unstemmed PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
title_sort PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA ).
author Navarro Mena, Vidal Humberto
author_facet Navarro Mena, Vidal Humberto
author_role author
dc.contributor.author.fl_str_mv Navarro Mena, Vidal Humberto
dc.subject.por.fl_str_mv Structure. Models
Structure Semantics. High-Order Logic. Newton Da Costa.
topic Structure. Models
Structure Semantics. High-Order Logic. Newton Da Costa.
description The present article has for objective to present an alternativereconstruction of Concept of Structure, motivated by the articles[1] and [3], as an abstract generalization of what is a mathematicalobject. First, its construction is presented, that is related to the TypeTheory and Order in Logic. Which give us a context for properties andseveral interesting examples. Secondly, we will proceed towards a concretesemantic for analysing structures and letting us operate in them.Thus we are able to know what itXB is true in it. Results of orderand individuals reduction are presented through our construction. Inthe end, we formalized the discussions referred completely in our TypeTheory.
publishDate 2015
dc.date.none.fl_str_mv 2015-11-25
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641921
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641921
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641921/9419
dc.rights.driver.fl_str_mv Copyright (c) 2015 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 38 n. 2 (2015): Jul./Dec.; 89-154
Manuscrito: International Journal of Philosophy; Vol. 38 No. 2 (2015): Jul./Dec.; 89-154
Manuscrito: Revista Internacional de Filosofía; Vol. 38 Núm. 2 (2015): Jul./Dec.; 89-154
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216565211201536

Registros relacionados