Teoría de conjuntos y ontología

The question “what kind of entity is a scientific theory” is an ontological one. Its answer has to have ontological categories in order to submit theories. If these categories belong to set theory, then scientific theories are set theoretical entities. In this paper I develop three possible ways to explicate the claim that set theory is the ontology for scientific theories. The first one understands set theory as formal ontology in the sense of Husserl. The second one is based on Tugendhat (2003). Here set theory is interpreted as formal semantics. The third one has no relation to structuralist view of theories, but it shares with it the idea that set theory is ontology. This last way belongs to Badiou. The idea in this paper is to think the reconstruction of theories using set theory from a different way to the ontosemantic thesis.

Preguntarse qué clase de entidad es una teoría científica es plantearse una pregunta ontológica. Su respuesta consistirá de categorías ontológicas que subsumirán a las teorías. Si tales son las de la teoría de conjuntos, esto significa que las teorías científicas son entidades conjuntistas, al menos en parte. En este trabajo construyo tres modos posibles de elucidar la pretensión de la teoría de conjuntos como ontología para las teorías científicas. La primera es una lectura de la teoría de conjuntos como ontología formal en el sentido de Husserl. En la segunda, en base a Tugendhat (2003), el uso de la teoría de conjuntos para la reconstrucción de teorías significa que ésta es una semántica formal. La tercera es la presentación de una lectura ajena al estructuralismo, pero que, sin embargo, considera a la teoría de conjuntos como ontología. Lo que hago aquí es utilizar la propuesta de Badiou para pensar, desde una vía alternativa a la tesis ontosemántica, la actividad de reconstruir teorías utilizando a la teoría de conjunto