Publicado

2013-05-01

Fórmulas Barcan de segundo orden y universales trascendentes

Palabras clave:

Fórmula de Barcan, Conversa de la Fórmula de Barcan, universales trascendentes (es)

Descargas

Autores/as

  • José Tomás Alvarado Marambio Instituto de Filosofía, Pontificia Universidad Católica de Chile
Se ha destacado recientemente que la Fórmula de Barcan (FB) y la Conversa de la Fórmula de Barcan (CFB) para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de (FB) y (CFB) de orden superior parece implicar la existencia de universales trascendentes, esto es, universales que no requieren estar instanciados para existir en un mundo posible. Este trabajo discute esta línea de argumentación. En primer lugar, se sostiene que la semántica en la que los resultados de validez se siguen no requiere que las ‘intensiones’ asignadas a las variables de orden superior estén instanciadas en un mundo posible para que la intensión exista ahí. El defensor de universales inmanentes objetaría esta suposición. En una semántica modificada, más neutral, (FB) y (CFB) de orden superior ya no son válidas. En segundo lugar, se sostiene que, incluso si se concediese la validez de (FB) y (CFB) de orden superior, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y diferentes teorías de tropos no tendrían dificultades en aceptar (FB) y (CFB) de orden superior.

Referencias

Alvarado, J. T. "La función de los universales en metafísica modal", Teorema 29/3 (2010): 77-101.

Armstrong, D. Universals and Scientific Realism. Nominalism and Realism. Vol. 1. Cambridge: Cambridge University Press, 1978a.

Armstrong, D. Universals and Scientific Realism. Vol. 2. A Theory of Universals. Cambridge: Cambridge University Press, 1978b.

Armstrong, D. Universals. An Opinionated Introduction. Boulder: Westview, 1989.

Armstrong, D. A World of States of Affairs. Cambridge: Cambridge University Press, 1997.

Bealer, G. Quality and Concept. Oxford: Clarendon Press, 1982.

Bealer, G. "Universals", The Journal of Philosophy 90/1 (1993): 5-32.

Boolos, G. "To Be is to Be the Value of a Variable (or to Be Some Values of Some Variables)", The Journal of Philosophy 81/8 (1984): 430-450.

Carmichael, C. "Universals", Philosophical Studies 150/3 (2010): 373-389.

Chierchia, G. & Turner, R. "Semantics and Property Theory", Linguistics and Philosophy 11/3 (1988): 261-302.

Garson, J. Modal Logic for Philosophers. Cambridge: Cambridge University Press, 2006.

Inwagen, P., van. "A Theory of Properties". Oxford Studies in Metaphysics. Vol. 1., Zimmerman, D. W. (ed.). Oxford: Clarendon Press, 2004. 107-138.

Henkin, L. "Completeness in the Theory of Types", The Journal of Symbolic Logic 15/2 (1950): 81-91.

Hughes, G. E. & Cresswell, M. J. A New Introduction to Modal Logic. London: Routledge, 1996.

Jubien, M. "On Properties and Property Theory". Properties, Types and Meaning. Foundational Issues. Vol. 1., Chierchia, G., Partee, B. H. & Turner, R. (eds.). Dordrecht: Kluwer, 1989. 159-175.

Kripke, S. "Semantical Considerations on Modal Logic". Reference and Modality, Linsky, L. (ed.). Oxford: Oxford University Press, 1971. 63-71.

Lewis, D. "Counterpart Theory and Quantified Modal Logic". Philosophical Papers. Vol. 1. Oxford: Oxford University Press, 1983. 26-46.

Lewis, D. On the Plurality of Worlds. Oxford: Blackwell, 1986.

Lewis, D. "New Work for a Theory of Universals". Papers in Metaphysics and Epistemology. Cambridge: Cambridge University Press, 1999. 8-55.

Linsky, B. & Zalta, E. N. "In Defense of the Simplest Quantified Modal Logic", Philosophical Perspectives 8 (1994): 431-458.

Linsky, B. & Zalta, E. N. "In Defense of the Contingently Nonconcrete", Philosophical Studies 84/2-3 (1996): 283-294.

Parsons, T. Nonexistent Objects. New Haven: Yale University Press, 1980.

Plantinga, A. The nature of Necessity. Oxford: Clarendon Press; 1974.

Rodriguez-Pereyra, G. Resemblance Nominalism. A Solution to the Problem of Universals. Oxford: Clarendon Press, 2002.

Tooley, M. Causation. A Realist Approach. Oxford: Clarendon Press, 1987.

Williamson, T. "Necessary Identity and Necessary Existence". Wittgenstein. Towards and Re-Evaluation, Haller, R. & Brandl, J. (eds.). Wien: Hölder-Pichler-Tempsky Verlag, 1990. 168-175.

Williamson, T. "Bare Possibilia", Erkenntnis 48/2-3 (1998): 257-273.

Williamson, T. "The Necessary Framework of Objects", Topoi 19/2 (2000a): 201-208.

Williamson, T. "Existence and Contingency", Proceedings of the Aristotelian Society 100/1 (2000b): 321-343.

Williamson, T. "Necessary Existents". Logic, Thought, and Language, O'Hear, A. (ed.). Cambridge: Cambridge University Press, 2002. 233-251.

Williamson, T. "Everything", Philosophical Perspectives 17/1 (2003): 415-465.

Williamson, T. "Absolute Identity and Absolute Generality". Absolute Generality, Rayo, A. & Uzquiano, G. (eds.). Oxford: Clarendon Press, 2006. 369-389.

Williamson, T. "Necessitism, Contingentism, and Plural Quantification", Mind 119/475 (2010a): 657-748.

Williamson, T. "Barcan Formulas in Second-Order Modal Logic". Themes from Barcan Marcus, Frauchiger, M. & Essler, W. K. (eds.). Frankfurt: Ontos Verlag, 2010b. Obteined from http://www.philosophy.ox.ac.uk/__data/assets/pdf_file/0011/9479/Bernepaper.pdf.

Visitas a la página del resumen del artículo

296

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

Alvarado Marambio, José Tomás. «Fórmulas Barcan De Segundo Orden Y Universales Trascendentes». Ideas Y Valores, vol. 62, n.º 152, mayo de 2013, pp. 111-3, https://revistas.unal.edu.co/index.php/idval/article/view/26870.

Licencia

Derechos de autor 2016 Universidad Nacional de Colombia

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.

De acuerdo con la Licencia Creative Commons Atribución-No Comercial-SinDerivar 4.0 Internacional. Se autoriza copiar, redistribuir el material en cualquier medio o formato, siempre y cuando se conceda el crédito a los autores de los textos y a Ideas y Valores como fuente de publicación original. No se permite el uso comercial de copia o distribución de contenidos, así como tampoco la adaptación, derivación o transformación alguna de estos sin la autorización previa de los autores y de la dirección de Ideas y Valores. Para mayor información sobre los términos de esta licencia puede consultar: http://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.