La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas
- 1 Universidad Autónoma de Madrid, España.
ISSN: 1870-0063, 2594-1917
Año de publicación: 2019
Título del ejemplar: septiembre-diciembre
Número: 41
Páginas: 43-61
Tipo: Artículo
Otras publicaciones en: Andamios: revista de investigación social
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?