Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe
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.creator | Víctor Aranda Utrero | - |
dc.date | 2019 | - |
dc.date.accessioned | 2022-03-23T17:47:19Z | - |
dc.date.available | 2022-03-23T17:47:19Z | - |
dc.identifier | http://www.redalyc.org/articulo.oa?id=62862890003 | - |
dc.identifier.uri | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/114020 | - |
dc.description | La 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.format | application/pdf | - |
dc.language | es | - |
dc.publisher | Universidad Autónoma de la Ciudad de México | - |
dc.relation | http://www.redalyc.org/revista.oa?id=628 | - |
dc.rights | Andamios | - |
dc.source | Andamios (México) Num.41 Vol.16 | - |
dc.subject | Multidisciplinarias (Ciencias Sociales) | - |
dc.subject | Lógica proposicional | - |
dc.subject | consistencia | - |
dc.subject | completud | - |
dc.subject | tablas de verdad | - |
dc.subject | Russell | - |
dc.title | La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas | - |
dc.type | artí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.