Sistemas de cálculo como formas de Logicismo
Fernández, Ángel Nepomuceno
Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM
dor_id: 4115356
506.#.#.a: Público
590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única
510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory
561.#.#.u: https://www.filosoficas.unam.mx/
650.#.4.x: Artes y Humanidades
336.#.#.b: article
336.#.#.3: Artículo de Investigación
336.#.#.a: Artículo
351.#.#.6: https://critica.filosoficas.unam.mx/index.php/critica
351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía
351.#.#.a: Artículos
harvesting_group: RevistasUNAM
270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx
590.#.#.c: Open Journal Systems (OJS)
270.#.#.d: MX
270.1.#.d: México
590.#.#.b: Concentrador
883.#.#.u: https://revistas.unam.mx/catalogo/
883.#.#.a: Revistas UNAM
590.#.#.a: Coordinación de Difusión Cultural
883.#.#.1: https://www.publicaciones.unam.mx/
883.#.#.q: Dirección General de Publicaciones y Fomento Editorial
850.#.#.a: Universidad Nacional Autónoma de México
856.4.0.u: https://critica.filosoficas.unam.mx/index.php/critica/article/view/876/844
100.1.#.a: Fernández, Ángel Nepomuceno
524.#.#.a: Fernández, Ángel Nepomuceno (1993). Sistemas de cálculo como formas de Logicismo. Crítica. Revista Hispanoamericana de Filosofía; Vol. 25 Núm. 73, 1993; 15-35. Recuperado de https://repositorio.unam.mx/contenidos/4115356
245.1.0.a: Sistemas de cálculo como formas de Logicismo
502.#.#.c: Universidad Nacional Autónoma de México
561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM
264.#.0.c: 1993
264.#.1.c: 2019-01-07
506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx
884.#.#.k: https://critica.filosoficas.unam.mx/index.php/critica/article/view/876
001.#.#.#: 034.oai:ojs2.132.248.184.97:article/876
041.#.7.h: spa
520.3.#.a: 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 sorne results that were eetablished 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 sorne 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).
773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 25 Núm. 73 (1993); 15-35
773.1.#.o: https://critica.filosoficas.unam.mx/index.php/critica
022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503
310.#.#.a: Cuatrimestral
300.#.#.a: Páginas: 15-35
264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM
doi: https://doi.org/10.22201/iifs.18704905e.1993.876
handle: 2da022d8b1521f82
harvesting_date: 2023-08-23 17:00:00.0
856.#.0.q: application/pdf
file_creation_date: 2010-10-23 00:33:27.0
file_modification_date: 2010-10-27 00:09:46.0
file_creator: Claudia Chavez
file_name: c1df8a50ba2ffeb16e77a2058b7fda4d38cf7524dcd4c42b51a4f0631261e8d7.pdf
file_pages_number: 21
file_format_version: application/pdf; version=1.5
file_size: 222579
245.1.0.b: Sistemas de cálculo como formas de Logicismo
last_modified: 2023-08-23 17:00:00
license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es
license_type: by-nc-nd
Fernández, Ángel Nepomuceno
Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM
Fernández, Ángel Nepomuceno (1993). Sistemas de cálculo como formas de Logicismo. Crítica. Revista Hispanoamericana de Filosofía; Vol. 25 Núm. 73, 1993; 15-35. Recuperado de https://repositorio.unam.mx/contenidos/4115356