Superveniencia, propiedades maximales y teoría de modelos

En el presente artículo, se examinan y discuten dos argumentos con consecuencias reduccionistas debidos a Jaegwon Kim y a Theodore Sider respectivamente. De acuerdo con el argumento de Kim, la superveniencia fuerte implicaría la coexistencia necesaria de propiedades (es decir, tal y como normalmente se interpreta, la reducción). De acuerdo con el de Sider, ocurriría lo mismo con la superveniencia global. Uno y otro hacen un uso esencial de sendas nociones de propiedad maximal, las cuales son discutidas aquí a la luz de una interpretación natural e interesante de la teoría de las propiedades implícita en sus argumentos. Bajo esta nueva interpretación, en términos modelo-teóricos (véase apartado 4), obtenemos diversas posibilidades de relaciones formales entre las tesis de supervivencia y la reducción, según la lógica utilizada. Al menos bajo una interpretación interesante, los argumentos de Kim y Sider no son correctos, quedando demostrado así que dichos argumentos no son válidos en general