Mostrar el registro sencillo del ítem
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 |
Ficheros | Tamaño | Formato | Ver |
---|---|---|---|
No hay ficheros asociados a este ítem. |