| Revista: | Andamios |
| Base de datos: | CLASE |
| Número de sistema: | 000497195 |
| ISSN: | 1870-0063 |
| Autores: | Aranda Utrero, Víctor1 |
| Instituciones: | 1Universidad Autónoma de Madrid, Madrid. España |
| Año: | 2019 |
| Periodo: | Sep-Dic |
| Volumen: | 16 |
| Número: | 41 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, teórico |
| Resumen en español | 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? |
| Resumen en inglés | 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? |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Filosofía de la ciencia, Lógica proposicional, Consistencia, Completitud, Tablas de verdad, Russell, Bertrand, Whitehead, Alfred North |
| Keyword: | Logic, Philosophy of science, Propositional logic, Consistency, Completeness, Truth tables, Russell, Bertrand, Whitehead, Alfred North |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
