Make your own free website on Tripod.com

Sobre una consecuencia del teorema de Lindström en teoría de conjuntos.
Franklin Galindo


RESUMEN
El método de forcing usado para probar la independencia de la hipótesis del continuo respecto de la axiomática de Zermelo-Fraenkel en los textos Set Theory (An Introduction to Independence Proofs), de Kunen, y Set Theory, de Jech, tiene entre sus fundamentos lógicos principales las propiedades de completitud y de Löwenheim-Skolem (hacia abajo). Por otro lado, se sabe por Lindström que no hay una lógica de mayor capacidad expresiva que la lógica de primer orden, que satisfaga simultáneamente ambas propiedades. Esto sugiere que no existe una lógica de mayor capacidad expresiva que la lógica de primer orden con la cual se pueda aplicar tal método. En este artículo se pretende argumentar a favor de tal sugerencia.


Palabras clave: Lógica, expresabilidad, completitud, independencia, Löwenheim-Skolem, Lindström, forcing.

 

ABSTRACT
The method of forcing used to prove the independence of the continuum hypothesis from the Zermelo-Fraenkel axiomatic system, in Kunen's book Set Theory (An Introduction to Independence Proofs) and in Jech's Set Theory, is logically founded on the properties of completeness and Löwenheim-Skolem (downwards). On the other hand, Lindström has proved that there is no logic of greater expressive capability than the first order logic that is able to satisfy simultaneously both properties. This suggests that there is no logic of greater expressive capability than the first order logic with which this method can be used. To provide a ground for this assertion is the purport of this paper.


Key words: Logic, expressibility, completeness, independence, Löwenheim-Skolem, Lindström, forcing.

 

 


Epistemología - Etica y Filosofía Política - Estética- Filosofía de la Ciencia

- Filosofía de la mente - Filosofía del lenguaje - Historia de la filosofía
Lógica - Metafísica - Ontología - Racionalidad