Husserl, Carnap y los conceptos de completud en l�gica

En lógica, la completud indica tanto maximalidad como suficiencia. Por un lado, es la propiedad de las teorías tan fuertes que prueban o refutan cualquier sentencia de su lenguaje. Por otro lado, la completud es una propiedad de las lógicas cuya relación de deducibilidad coincide con la de consecuencia lógica. A principios de la década de 1930, estas propiedades fueron claramente delimitadas por Gödel y Tarski. Sin embargo, hasta unos pocos años antes, el significado del término "completud...