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. La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas. 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.
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?
Palavras-chave : Lógica proposicional; consistencia; completud; tablas de verdad; Russell.