Notas sobre teorías intensionales
La cuestión de si los lenguajes intensionales son más expresivos que los lenguajes nointensionales surge en  el marco de una perspectiva semántica de las teorías. Desde esta perspectiva, la cuestión es esta. ¿Hay clases modelo que se pueden caracterizar mediante teorías que usan concept...
- Autores:
-
Sneed, Joseph
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2011
- Institución:
- Universidad de Caldas
- Repositorio:
- Repositorio U. de Caldas
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.ucaldas.edu.co:ucaldas/15018
- Acceso en línea:
- https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705
- Palabra clave:
- First Order Syntax-FOS
intensional
laws
models
non-intensional
psycho-physical law
Ramsey functor
Sintaxis de primer orden -FOS
intensional
leyes
modelos
no-intensional
ley psicofísica
functor de Ramsey
- Rights
- openAccess
- License
- Derechos de autor 2011 Discusiones Filosóficas
id |
UCALDAS2_4bd2f1d69b583b4406ac46c2f1a923ac |
---|---|
oai_identifier_str |
oai:repositorio.ucaldas.edu.co:ucaldas/15018 |
network_acronym_str |
UCALDAS2 |
network_name_str |
Repositorio U. de Caldas |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Notas sobre teorías intensionales |
dc.title.translated.eng.fl_str_mv |
Notes on intensional theories |
title |
Notas sobre teorías intensionales |
spellingShingle |
Notas sobre teorías intensionales First Order Syntax-FOS intensional laws models non-intensional psycho-physical law Ramsey functor Sintaxis de primer orden -FOS intensional leyes modelos no-intensional ley psicofísica functor de Ramsey |
title_short |
Notas sobre teorías intensionales |
title_full |
Notas sobre teorías intensionales |
title_fullStr |
Notas sobre teorías intensionales |
title_full_unstemmed |
Notas sobre teorías intensionales |
title_sort |
Notas sobre teorías intensionales |
dc.creator.fl_str_mv |
Sneed, Joseph |
dc.contributor.author.spa.fl_str_mv |
Sneed, Joseph |
dc.subject.eng.fl_str_mv |
First Order Syntax-FOS intensional laws models non-intensional psycho-physical law Ramsey functor |
topic |
First Order Syntax-FOS intensional laws models non-intensional psycho-physical law Ramsey functor Sintaxis de primer orden -FOS intensional leyes modelos no-intensional ley psicofísica functor de Ramsey |
dc.subject.spa.fl_str_mv |
Sintaxis de primer orden -FOS intensional leyes modelos no-intensional ley psicofísica functor de Ramsey |
description |
La cuestión de si los lenguajes intensionales son más expresivos que los lenguajes nointensionales surge en  el marco de una perspectiva semántica de las teorías. Desde esta perspectiva, la cuestión es esta. ¿Hay clases modelo que se pueden caracterizar mediante teorías que usan conceptos intensionales que no se pueden  caracterizar mediante teorías que no usan conceptos intensionales? Se sugiere una formulación precisa de  esta cuestión, pero no se ofrece una respuesta. Para aproximarse a esta cuestión, se resume la teoría de  modelos de primer orden [II] y se revisa el enfoque semántico de las teorías que emplea incrementos  teóricos, no intensionales, de primer orden [III]. Los incrementos teóricos de primer orden se bosquejan  pero no se definen rigurosamente [IV]. Este lenguaje intensional proporciona el aparato para atribuir uso del  lenguaje y actitudes intensionales a individuos cuyo comportamiento es el objeto de investigación. También  proporciona el aparato para hablar sobre traducción del lenguaje atribuido al lenguaje del investigador. La  cuestión inicial se convierte entonces en si hay clases modelo que se puedan caracterizar mediante  incrementos intencionales de lógica de primer orden que no pueden ser capturados por incrementos  teóricos no-intensionales [V]. |
publishDate |
2011 |
dc.date.accessioned.none.fl_str_mv |
2011-06-24 00:00:00 |
dc.date.available.none.fl_str_mv |
2011-06-24 00:00:00 |
dc.date.issued.none.fl_str_mv |
2011-06-24 |
dc.type.spa.fl_str_mv |
Artículo de revista Sección Artículos |
dc.type.eng.fl_str_mv |
Journal Article |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.coar.eng.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
dc.type.content.eng.fl_str_mv |
Text |
dc.type.driver.eng.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.version.eng.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.coarversion.eng.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
format |
http://purl.org/coar/resource_type/c_6501 |
status_str |
publishedVersion |
dc.identifier.issn.none.fl_str_mv |
0124-6127 |
dc.identifier.uri.none.fl_str_mv |
https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705 |
dc.identifier.eissn.none.fl_str_mv |
2462-9596 |
identifier_str_mv |
0124-6127 2462-9596 |
url |
https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705 |
dc.language.iso.eng.fl_str_mv |
eng |
language |
eng |
dc.relation.citationendpage.none.fl_str_mv |
49 |
dc.relation.citationissue.spa.fl_str_mv |
18 |
dc.relation.citationstartpage.none.fl_str_mv |
13 |
dc.relation.citationvolume.spa.fl_str_mv |
12 |
dc.relation.ispartofjournal.spa.fl_str_mv |
Discusiones Filosóficas |
dc.relation.references.eng.fl_str_mv |
Balzer, W., Moulines, C. U. and Sneed, J. An Architectonic for Science: The Structuralist Program. D. Reidel, Dordrecht, 1987. Print. Davidson, D. Essays on Actions and Events. Oxford: Clarendon Press, 1980. Print. - - -. Inquiries into Truth and Meaning. Oxford: Clarendon Press, 1984. Print. Jeffrey, R. The Logic of Decision. New York: McGraw-Hill, 1965. Print. Quine, Willard V. O. Word and Object. New York: Wiley, 1960. Print. Ramsey, Frank P. “Theories”. The Foundations of Mathematics. New Jersey: Littlefield, Adams & Co. Patterson, 1960. Print. |
dc.relation.citationedition.spa.fl_str_mv |
Núm. 18 , Año 2011 : Enero - Junio |
dc.relation.bitstream.none.fl_str_mv |
https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/download/705/628 |
dc.rights.eng.fl_str_mv |
Derechos de autor 2011 Discusiones Filosóficas |
dc.rights.uri.eng.fl_str_mv |
https://creativecommons.org/licenses/by/4.0/ |
dc.rights.accessrights.eng.fl_str_mv |
info:eu-repo/semantics/openAccess |
dc.rights.coar.eng.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
rights_invalid_str_mv |
Derechos de autor 2011 Discusiones Filosóficas https://creativecommons.org/licenses/by/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.mimetype.eng.fl_str_mv |
application/pdf |
dc.publisher.spa.fl_str_mv |
Universidad de Caldas |
dc.source.eng.fl_str_mv |
https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705 |
institution |
Universidad de Caldas |
bitstream.url.fl_str_mv |
https://repositorio.ucaldas.edu.co/bitstream/ucaldas/15018/1/ORE.xml |
bitstream.checksum.fl_str_mv |
e9ffd960021abd612baef4e605e9a603 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
repository.name.fl_str_mv |
Repositorio Digital de la Universidad de Caldas |
repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
_version_ |
1800543188158513152 |
spelling |
Sneed, Josephcb792547459f4a211daa262d72cac9962011-06-24 00:00:002011-06-24 00:00:002011-06-240124-6127https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/7052462-9596La cuestión de si los lenguajes intensionales son más expresivos que los lenguajes nointensionales surge en  el marco de una perspectiva semántica de las teorías. Desde esta perspectiva, la cuestión es esta. ¿Hay clases modelo que se pueden caracterizar mediante teorías que usan conceptos intensionales que no se pueden  caracterizar mediante teorías que no usan conceptos intensionales? Se sugiere una formulación precisa de  esta cuestión, pero no se ofrece una respuesta. Para aproximarse a esta cuestión, se resume la teoría de  modelos de primer orden [II] y se revisa el enfoque semántico de las teorías que emplea incrementos  teóricos, no intensionales, de primer orden [III]. Los incrementos teóricos de primer orden se bosquejan  pero no se definen rigurosamente [IV]. Este lenguaje intensional proporciona el aparato para atribuir uso del  lenguaje y actitudes intensionales a individuos cuyo comportamiento es el objeto de investigación. También  proporciona el aparato para hablar sobre traducción del lenguaje atribuido al lenguaje del investigador. La  cuestión inicial se convierte entonces en si hay clases modelo que se puedan caracterizar mediante  incrementos intencionales de lógica de primer orden que no pueden ser capturados por incrementos  teóricos no-intensionales [V].The question of whether intensional languages are more expressive than nonintensional languages is raised  within the framework of a semantic view of theories. From this perspective, the question is this. Are there  model classes that can be characterized by theories using intensional concepts that cannot be characterized  by theories that do not use intensional concepts? A precise formulation of this question is suggested, but no  answer is given. To approach this question, model theory of first order theories is summarized [II] and the  semantic approach to theories using non-intensional, theoretical augmentations of first order theories is  reviewed [III]. Intensional augmentations of first order theories are sketched [IV] but not rigorously defined.  This intensional language provides the apparatus for attributing language use and intensional attitudes to  individuals whose behavior is the object investigation. It also provides apparatus for talking about translation  from the attributed language to the investigator’s language. The initial question then becomes  whether there are model classes that can be characterized by intensional augmentations of first order logic  that cannot be captured by non-intensional theoretical augmentations [V].application/pdfengUniversidad de CaldasDerechos de autor 2011 Discusiones Filosóficashttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705First Order Syntax-FOSintensionallawsmodelsnon-intensionalpsycho-physical lawRamsey functorSintaxis de primer orden -FOSintensionalleyesmodelosno-intensionalley psicofísicafunctor de RamseyNotas sobre teorías intensionalesNotes on intensional theoriesArtículo de revistaSección ArtículosJournal Articlehttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Textinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a8549181312Discusiones FilosóficasBalzer, W., Moulines, C. U. and Sneed, J. An Architectonic for Science: The Structuralist Program. D. Reidel, Dordrecht, 1987. Print.Davidson, D. Essays on Actions and Events. Oxford: Clarendon Press, 1980. Print.- - -. Inquiries into Truth and Meaning. Oxford: Clarendon Press, 1984. Print.Jeffrey, R. The Logic of Decision. New York: McGraw-Hill, 1965. Print.Quine, Willard V. O. Word and Object. New York: Wiley, 1960. Print.Ramsey, Frank P. “Theories”. The Foundations of Mathematics. New Jersey: Littlefield, Adams & Co. Patterson, 1960. Print.Núm. 18 , Año 2011 : Enero - Juniohttps://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/download/705/628OREORE.xmltext/xml2563https://repositorio.ucaldas.edu.co/bitstream/ucaldas/15018/1/ORE.xmle9ffd960021abd612baef4e605e9a603MD51ucaldas/15018oai:repositorio.ucaldas.edu.co:ucaldas/150182021-06-27 10:06:48.665Repositorio Digital de la Universidad de Caldasbdigital@metabiblioteca.com |