Fórmulas Barcan de segundo orden y universales trascendentes

Se ha destacado 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 parece implicar la existencia de universales...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: José Tomás Alvarado Marambio
Formato: article
Lenguaje:EN
ES
PT
Publicado: Universidad Nacional de Colombia 2013
Materias:
B
Acceso en línea:https://doaj.org/article/fcf26c1d3b984553952068b11829d3b7
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
id oai:doaj.org-article:fcf26c1d3b984553952068b11829d3b7
record_format dspace
spelling oai:doaj.org-article:fcf26c1d3b984553952068b11829d3b72021-11-11T15:18:36ZFórmulas Barcan de segundo orden y universales trascendentes0120-00622011-3668https://doaj.org/article/fcf26c1d3b984553952068b11829d3b72013-01-01T00:00:00Zhttp://www.redalyc.org/articulo.oa?id=80929837006https://doaj.org/toc/0120-0062https://doaj.org/toc/2011-3668Se ha destacado 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 parece implicar la existencia de universales trascendentes, que no requieren estar instanciados para existir en un mundo posible. Se discute esta argumentación, porque 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í. En una semántica modificada, más neutral, FB y CFB de orden superior ya no son válidas. Además se sostiene que, incluso si FB y CFB de orden superior fuesen válidas, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y teorías de tropos las aceptarían.José Tomás Alvarado MarambioUniversidad Nacional de Colombiaarticlefórmula de barcanconversa de la fórmula de barcanuniversales trascendentesPhilosophy. Psychology. ReligionBPhilosophy (General)B1-5802ENESPTIdeas y Valores, Vol 62, Iss 152, Pp 111-131 (2013)
institution DOAJ
collection DOAJ
language EN
ES
PT
topic fórmula de barcan
conversa de la fórmula de barcan
universales trascendentes
Philosophy. Psychology. Religion
B
Philosophy (General)
B1-5802
spellingShingle fórmula de barcan
conversa de la fórmula de barcan
universales trascendentes
Philosophy. Psychology. Religion
B
Philosophy (General)
B1-5802
José Tomás Alvarado Marambio
Fórmulas Barcan de segundo orden y universales trascendentes
description Se ha destacado 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 parece implicar la existencia de universales trascendentes, que no requieren estar instanciados para existir en un mundo posible. Se discute esta argumentación, porque 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í. En una semántica modificada, más neutral, FB y CFB de orden superior ya no son válidas. Además se sostiene que, incluso si FB y CFB de orden superior fuesen válidas, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y teorías de tropos las aceptarían.
format article
author José Tomás Alvarado Marambio
author_facet José Tomás Alvarado Marambio
author_sort José Tomás Alvarado Marambio
title Fórmulas Barcan de segundo orden y universales trascendentes
title_short Fórmulas Barcan de segundo orden y universales trascendentes
title_full Fórmulas Barcan de segundo orden y universales trascendentes
title_fullStr Fórmulas Barcan de segundo orden y universales trascendentes
title_full_unstemmed Fórmulas Barcan de segundo orden y universales trascendentes
title_sort fórmulas barcan de segundo orden y universales trascendentes
publisher Universidad Nacional de Colombia
publishDate 2013
url https://doaj.org/article/fcf26c1d3b984553952068b11829d3b7
work_keys_str_mv AT josetomasalvaradomarambio formulasbarcandesegundoordenyuniversalestrascendentes
_version_ 1718435535624601600