La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas

Autores/as

  • Víctor Aranda Utrero Universidad Autónoma de Madrid, España.

DOI:

https://doi.org/10.29092/uacm.v16i41.714

Palabras clave:

Lógica proposicional, consistencia, completud, tablas de verdad, Russell,

Resumen

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?

Descargas

Los datos de descargas todavía no están disponibles.

Biografía del autor/a

Víctor Aranda Utrero, Universidad Autónoma de Madrid, España.

Contratado predoctoralen el Departamento de Lógica y Filosofía de la Ciencia de la Universidad Autónoma de Madrid, España.

Descargas

Publicado

2019-11-05