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

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.

Bibliographic Details

Main Author:	NAVARRO MENA,VIDAL HUMBERTO
Format:	Digital revista
Language:	Spanish / Castilian
Published:	UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência 2015
Online Access:	http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000200089
Tags:	Add Tag No Tags, Be the first to tag this record!