College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Arts
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Marked States
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Cuadernos de lógica, Epistemología y Lenguaje


Back

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

Víctor Aranda, with a prolog by Paolo Mancosu

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” era bastante más ambiguo.

Fraenkel y Carnap intentaron resolver esta ambigüedad y distinguieron tres nociones de completud: categoricidad, no bifurcabilidad y decidibilidad. En este sentido, Carnap afirmaba haber demostrado la equivalencia de estas tres nociones. Su estudio es esencial para entender la historia del concepto (o los conceptos) de completud. Recientemente, basándose en ensayos de Hill y Majer, Da Silva, Hartimo y Centrone defienden el papel de la Doppelvortrag de Husserl en el desarrollo de esta historia. Ellos argumentan que las nociones de “teoría relativamente definida” y “teoría absolutamente definida”, que se introducen para solucionar los problemas asociados a la ampliación de nuestros sistemas numéricos, pueden interpretarse como “teoría completa” (Da Silva) o “teoría categórica” (Hartimo).

La tesis de este libro es que las intuiciones que subyacen a las ideas de categoricidad, no bifurcabilidad y decidibilidad también están detrás del concepto de “teoría absolutamente definida” de Husserl. Es decir, una teoría absolutamente definida tiene un único modelo, no admite proposiciones independientes y decide la verdad o falsedad de cualquier proposición que se formule en su lenguaje. Para apoyar dicha tesis, se ofrece evidencia textual de la Doppelvortrag, comparándose este texto con los trabajos de Huntington y de Veblen (parecidos a las investigaciones de Husserl, sus artículos fueron publicados a principios del siglo XX) y se muestra que Fraenkel y Carnap citaban a Husserl cuando explican el concepto de decidibilidad.

21 September 2022

978-1-84890-380-7

Buy from Amazon: UK   US   






© 2005–2024 College Publications / VFH webmaster