Resumen

ARANDA UTRERO, Víctor. Logical truth in the propositional fragment of the Principia and its metalogical implications. Andamios [online]. 2019, vol.16, n.41, pp.43-61.  Epub 20-Mayo-2020. ISSN 2594-1917.  https://doi.org/10.29092/uacm.v16i41.714.

The theory of types in Principia Mathematica contains a very special subtheory which constitutes a sound and complete logic and whose set of truths is, in addition, decidable: it is propositional logic. The aim of this article is to explain what a tautology is for Whitehead and Russell and to analyse why they were not worried about the consistency of their axioms nor about the completeness of their calculus. Is there any relation between their conception of logical truths and the lack of metalogical developments?

Palabras llave : Propositional logic; consistency; completeness; truth tables; Russell.