Teoría de conjuntos y ontología

Abstract

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 conjuntos

Keywords

• teoría de conjuntos
• ontología formal
• semántica formal
• decisión ontológica