Repositorio de producción científica de la Universidad de Sevilla

Sistemas de cálculo como formas de Logicismo

 dc.creator Nepomuceno Fernández, Ángel es dc.date.accessioned 2018-05-08T09:43:50Z dc.date.available 2018-05-08T09:43:50Z dc.date.issued 1993 dc.identifier.citation Nepomuceno Fernández, Á. (1993). Sistemas de cálculo como formas de Logicismo. Crítica: Revista Hispanoamericana de Filosofía, 25 (73), 15-35. dc.identifier.issn 0011-1503 (impreso) es dc.identifier.issn 1870-4905 (electrónico) es dc.identifier.uri https://hdl.handle.net/11441/74262 dc.description.abstract The logicism may be regarded like a fossil stone that has not utility nowadays. In this sense, logicism took care of the research about the foundations of mathematics but apparently its task arrived at its end many years ago because of some results that were established during the century. However it is not wholly right. Understanding logicism as an attempt to reduce classical mathematics to logic means we can distinguish: 1) the idea according to which mathematic is logic in some way, and 2) a metaphysical program of research to: a) define mathematical notions as logical notions, and b) show that the mathematical theorems are logical theorems. The failure (if so) concerned to 2), since 1) was assumed by many logicians. Recovering logicism is not easy and there may be several ways. One of them is the one followed by N.B. Cocchiarella whose systems (there are more than one) represent a form of logicism (Frege's or Russell's form). From those systems -though a bit changed from my own point of view- we can define a modal calcule that may have application in computer science, what would not be a stale work. From a common language we take in account two systems in order to show that Cocchiarella's modified system is as powerful deductively as that of Church modified functional second order calcule. We can obtain new systems that represent form of logicism and are more powerful than that of Church enlarging Cochiarella's modified system. These new systems, that becomes modal systems provided that one adds appropiate modal tools (then they may be used in computer science), may be useful to study logicism itself (as historical philosophy of logic and mathematics). es dc.format application/pdf es dc.language.iso spa es dc.publisher Universidad Nacional Autónoma de México es dc.relation.ispartof Crítica: Revista Hispanoamericana de Filosofía, 25 (73), 15-35. dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0/ * dc.title Sistemas de cálculo como formas de Logicismo es dc.type info:eu-repo/semantics/article es dc.type.version info:eu-repo/semantics/publishedVersion es dc.rights.accessrights info:eu-repo/semantics/openAccess es dc.contributor.affiliation Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia es dc.relation.publisherversion http://critica.filosoficas.unam.mx/pg/es/numeros_detalle_articulo_ing.php?id_articulo=359&id_volumen=69 es idus.format.extent 21 p. es dc.journaltitle Crítica: Revista Hispanoamericana de Filosofía es dc.publication.volumen 25 es dc.publication.issue 73 es dc.publication.initialPage 15 es dc.publication.endPage 35 es
Size: 217.5Kb
Format: PDF