La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas
DOI:
https://doi.org/10.29092/uacm.v16i41.714Keywords:
Lógica proposicional, consistencia, completud, tablas de verdad, Russell,Abstract
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?
Downloads
Downloads
Published
Issue
Section
License
This Journal is licensed under Creative Commons Mexico 2.5. It is allowed to reproduce and disseminate the contents of the Journal for educational or research purposes, not for profit, as long as they are not mutilated and cite the source (Andamios, Revista de Investigación Social) and the author.
The copyright of the articles published in Andamios, Revista de Investigación Social are transferred by the author(s) to Universidad Autónoma de la Ciudad de México when the originals have been accepted, so that they are published and distributed both in the printed and electronic versions of the Journal. However, as established by law, the author(s) retains their moral rights. The author(s) will receive a form of assignment of copyright that they must to sign when their original has been accepted. In the case of collective articles, the signature of one of the authors will suffice, provided that the latter has obtained the consent of the others.
Authors may use the material of their article in other works or books published by themselves, with the condition of quoting Andamios as the original source of the texts.
The articles contained in this publication are the responsibility of their authors and do not compromise the official position of Andamios, Revista de Investigación Social of the Universidad Autónoma de la Ciudad de México.
