Second-Order Necessitism

• Published in: Eidos (Barranquilla, Colombia) Colombia), 2017-01 (26), p.268-301
• Main Author: Alvarado Marambio, José Tomás
• Format: Article
• Language: English
• Subjects: contingentismo; Filosofía de la Lógica; lógica de segundo orden; Lógica Modal Cuantificaciones de Orden Superior; Metafísica; Metafísica de Propiedades; modalidad; necesitismo; propiedades
• ISSN: 1692-8857; 2011-7477; 2011-7477
• DOI: 10.14482/eidos.26.8218

In a series of writings Timothy Williamson has argued for necessitism (cf. Wi­lliamson, 1978/9, 1990, 1998, 2000a, 2000b, 2002, 2010, 2013, forthcoming “Barcan Formulas in Second-Order Modal Logic”), i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are exa­mined. (i) the necessary character of being a property, (ii) the occurrence of properties in propositions, and (iii) the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. En una serie de escritos Timothy Williamson ha argumentado a favor del necesi­tismo (cf. Williamson, 1978/9, 1990, 1998, 2000a, 2000b, 2002, 2010, 2013 y trabajo en prensa “Barcan Formulas in Second-Order Modal Logic”), esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista nece­sariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: (i) el carácter necesario de ser una propiedad, (ii) la aparición de las propiedades en proposiciones, y (iii) los compro­misos ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.