Nociones de completud en Husserl y Carnap

  1. Aranda Utrero, Víctor
Dirixida por:
  1. Enrique Alonso Director
  2. Huberto Marraud Director

Universidade de defensa: Universidad Autónoma de Madrid

Fecha de defensa: 20 de abril de 2020

Tribunal:
  1. María Manzano Presidenta
  2. Juan Luis Barba Escribá Secretario/a
  3. Manuel Antonio Gonçalves Martins Vogal

Tipo: Tese

Resumo

Este trabajo es un estudio autocontenido de las nociones de completud en lógica desde finales del siglo XIX hasta 1940. En particular, se discuten las aportaciones de Husserl y Carnap al desarrollo de tres conceptos de completud: monomorfía, no-bifurcabilidad y decidibilidad. Estas aportaciones se comparan críticamente con las de Hilbert, Veblen, Fraenkel, Gödel o Tarski. No obstante, este trabajo no es solo un estudio histórico. La solución de Husserl al problema de los números ideales es reinterpretada a la luz del concepto de bifurcabilidad y se defiende un enfoque parcial sobre los términos no-denotativos para la representación formal de sus intuiciones. Además, el concepto de no-bifurcabilidad se conecta con la incompletud de una teoría categórica (la aritmética de Peano) y la incompletud de una lógica (la de segundo orden).