Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe

logo CLACSO

Por favor, use este identificador para citar o enlazar este ítem: https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/114020
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.creatorVíctor Aranda Utrero-
dc.date2019-
dc.date.accessioned2022-03-23T17:47:19Z-
dc.date.available2022-03-23T17:47:19Z-
dc.identifierhttp://www.redalyc.org/articulo.oa?id=62862890003-
dc.identifier.urihttp://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/114020-
dc.descriptionLa teoría de tipos de los Principia Mathematica contiene una subteoría muy especial que constituye una lógica correcta y completa y cuyo conjunto de verdades es, además, decidible: la lógica proposicional. El propósito de este artículo es explicar qué entendían Whitehead y Russell por una verdad de esta lógica y analizar por qué no se preocuparon por la consistencia de sus axiomas ni por la completud de su cálculo. ¿Hay alguna relación entre su concepción de las verdades lógicas y la falta de desarrollos metalógicos?-
dc.formatapplication/pdf-
dc.languagees-
dc.publisherUniversidad Autónoma de la Ciudad de México-
dc.relationhttp://www.redalyc.org/revista.oa?id=628-
dc.rightsAndamios-
dc.sourceAndamios (México) Num.41 Vol.16-
dc.subjectMultidisciplinarias (Ciencias Sociales)-
dc.subjectLógica proposicional-
dc.subjectconsistencia-
dc.subjectcompletud-
dc.subjecttablas de verdad-
dc.subjectRussell-
dc.titleLa verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas-
dc.typeartículo científico-
Aparece en las colecciones: Universidad Autónoma de la Ciudad de México - UACM - Cosecha

Ficheros en este ítem:
No hay ficheros asociados a este ítem.


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.