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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional de Colombia
2013-01-01
|
| Series: | Ideas y Valores |
| Subjects: | |
| Online Access: | http://www.redalyc.org/articulo.oa?id=80929837006 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1825208329127854080 |
|---|---|
| author | José Tomás Alvarado Marambio |
| author_facet | José Tomás Alvarado Marambio |
| author_sort | José Tomás Alvarado Marambio |
| collection | DOAJ |
| 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 |
| id | doaj-art-fcf26c1d3b984553952068b11829d3b7 |
| institution | Kabale University |
| issn | 0120-0062 2011-3668 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Universidad Nacional de Colombia |
| record_format | Article |
| series | Ideas y Valores |
| spelling | doaj-art-fcf26c1d3b984553952068b11829d3b72025-02-06T22:56:11ZengUniversidad Nacional de ColombiaIdeas y Valores0120-00622011-36682013-01-0162152111131Fórmulas Barcan de segundo orden y universales trascendentesJosé Tomás Alvarado MarambioSe 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.http://www.redalyc.org/articulo.oa?id=80929837006fórmula de barcanconversa de la fórmula de barcanuniversales trascendentes |
| spellingShingle | José Tomás Alvarado Marambio Fórmulas Barcan de segundo orden y universales trascendentes Ideas y Valores fórmula de barcan conversa de la fórmula de barcan universales trascendentes |
| title | 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_short | Fórmulas Barcan de segundo orden y universales trascendentes |
| title_sort | formulas barcan de segundo orden y universales trascendentes |
| topic | fórmula de barcan conversa de la fórmula de barcan universales trascendentes |
| url | http://www.redalyc.org/articulo.oa?id=80929837006 |
| work_keys_str_mv | AT josetomasalvaradomarambio formulasbarcandesegundoordenyuniversalestrascendentes |