Superveniencia, propiedades maximales y teoría de modelos
- Donato Rodríguez, Xavier de
- Polanski, Marek
ISSN: 0495-4548
Ano de publicación: 2006
Volume: 21
Número: 57
Páxinas: 257-276
Tipo: Artigo
Outras publicacións en: Theoria: an international journal for theory, history and foundations of science
Resumo
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
Referencias bibliográficas
- Ebinghaus, H.-D. yJ.Flum (1995). Finite Model Theory. Berlin: Springer.
- Glanzberg, M. (2001). "Supervenience and Infinitary Logic", Nous 35, 419-439.
- Gregory, J. (1974). "Beth Definability and Infinitary Logic", Journal of Symbolic Logic 39, 22-26.
- Hellman, G., y F.W. Thompson (1975). "Physicalism: Ontology, Determination, and Reduction", Journal of Philosophy 72, 551-64.
- Kim, J. (1993). Supervenience and Mind. Cambridge (Mass.): Cambridge University Press.
- Polanski, M. (2005). "Stalnaker on Strong and Global Supervenience", manuscrito no publicado.
- Sider, T. (1999). "Global Supervenience and Identity across Times and Worlds", Philosophy and Phenomenological Research 59, 913-937.