文章基本信息

标题：Fórmulas Barcan de segundo orden y universales trascendentes
本地全文：下载
作者：José Tomás Alvarado Marambio
期刊名称：Ideas y valores : Revista Colombiana de Filosofía
印刷版ISSN：0120-0062
出版年度：2013
卷号：62
期号：152
页码：111-131
语种：Spanish
出版社：Universidad Nacional de Colombia
摘要：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.
关键词：Fórmula de Barcan;Conversa de la Fórmula de Barcan;universales trascendentes