Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Andamios
versão On-line ISSN 2594-1917versão impressa ISSN 1870-0063
Resumo
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-Maio-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?
Palavras-chave : Propositional logic; consistency; completeness; truth tables; Russell.