Teoría de conjuntos y ontología

Abstract

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.