La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas

Víctor Aranda Utrero

Resumen


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?


Palabras clave


Lógica proposicional; consistencia; completud; tablas de verdad; Russell;

Texto completo:

PDF


DOI: http://dx.doi.org/10.29092/uacm.v16i41.714

Enlaces refback

  • No hay ningún enlace refback.


 ISSN versión electrónica: 2594-1917 ISSN versión impresa: 1870-0063

Contacto principal Oscar Rosas Castro, correo electrónico: andamios@uacm.edu.mx