La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas
DOI:
https://doi.org/10.29092/uacm.v16i41.714Palabras clave:
Lógica proposicional, consistencia, completud, tablas de verdad, Russell,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?
Descargas
Descargas
Publicado
Número
Sección
Licencia
Esta revista está bajo una licencia Creative Commons México 2.5. Está permitida la reproducción y difusión de los contenidos de la revista para fines educativos o de investigación, sin ánimo de lucro, siempre y cuando éstos no se mutilen, y se cite la procedencia (Andamios, Revista de Investigación Social) y al autor. Los derechos patrimoniales de los artículos publicados en Andamios, Revista de Investigación Social son cedidos por el(los) autor(es) a la Universidad Autónoma de la Ciudad de México una vez que los originales han sido aceptados para que se publiquen y distribuyan tanto en la versión impresa como electrónica de la revista. Sin embargo, tal y como lo establece la ley, el(los) autor(es) conserva(n) sus derechos morales. El(los) autor(es) recibirá(n) una forma de cesión de derechos patrimoniales que deberá(n) firmar una vez que su original haya sido aceptado. En el caso de trabajos colectivos bastará la firma de uno de los autores, en el entendido de que éste ha obtenido el consentimiento de los demás. Los autores podrán usar el material de su artículo en otros trabajos o libros publicados por ellos mismos, con la condición de citar a Andamios como la fuente original de los textos.
