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

No entro en nada

No entro en nada 2