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...
Guardado en:
Autor principal: | |
---|---|
Formato: | article |
Lenguaje: | EN ES PT |
Publicado: |
Universidad Nacional de Colombia
2013
|
Materias: | |
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 |