Resumen de Prolegómenos para una teoría formal de estructuras (después de N. Da Costa)
- español
Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.
- English
Abstract The present article has for objective to present an alternative reconstruction of Concept of Structure, motivated by the articles (1) and (3), as an abstract generalization of what is a mathematical object. First, its construction is presented, that is related to the Type Theory and Order in Logic. Which give us a context for properties and several interesting examples. Secondly, we will proceed towards a concrete semantic for analysing structures and letting us operate in them. Thus we are able to know "what itXB is true in it". Results of order and individuals reduction are presented through our construction. In the end, we formalized the discussions referred completely in our Type Theory.
