Notes on intensional theories

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...

Full description

Autores:
Tipo de recurso:
Fecha de publicación:
2010
Institución:
Universidad de Caldas
Repositorio:
Repositorio Institucional U. 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:
Sintaxis de primer orden -FOS
intensional
leyes
modelos
no-intensional
ley psicofísica
functor de Ramsey
First Order Syntax-FOS
intensional
laws
models
non-intensional
psycho-physical law
Ramsey functor
-
Rights
openAccess
License
Discusiones Filosóficas - 2011
id REPOUCALDA_4bd2f1d69b583b4406ac46c2f1a923ac
oai_identifier_str oai:repositorio.ucaldas.edu.co:ucaldas/15018
network_acronym_str REPOUCALDA
network_name_str Repositorio Institucional U. Caldas
repository_id_str
dc.title.none.fl_str_mv Notes on intensional theories
Notas sobre teorías intensionales
title Notes on intensional theories
spellingShingle Notes on intensional theories
Sintaxis de primer orden -FOS
intensional
leyes
modelos
no-intensional
ley psicofísica
functor de Ramsey
First Order Syntax-FOS
intensional
laws
models
non-intensional
psycho-physical law
Ramsey functor
-
title_short Notes on intensional theories
title_full Notes on intensional theories
title_fullStr Notes on intensional theories
title_full_unstemmed Notes on intensional theories
title_sort Notes on intensional theories
dc.subject.none.fl_str_mv Sintaxis de primer orden -FOS
intensional
leyes
modelos
no-intensional
ley psicofísica
functor de Ramsey
First Order Syntax-FOS
intensional
laws
models
non-intensional
psycho-physical law
Ramsey functor
-
topic Sintaxis de primer orden -FOS
intensional
leyes
modelos
no-intensional
ley psicofísica
functor de Ramsey
First Order Syntax-FOS
intensional
laws
models
non-intensional
psycho-physical law
Ramsey functor
-
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 2010
dc.date.none.fl_str_mv 2010-01-01
2011-01-01T00:00:00Z
2011-01-01T00:00:00Z
dc.type.none.fl_str_mv Artículo de revista
http://purl.org/coar/resource_type/c_6501
Text
info:eu-repo/semantics/article
Journal article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
status_str publishedVersion
dc.identifier.none.fl_str_mv 0124-6127
2462-9596
https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705
identifier_str_mv 0124-6127
2462-9596
url https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 49
18
13
12
Discusiones Filosóficas
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.
Núm. 18 , Año 2011 : Enero - Junio
https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/download/705/628
dc.rights.none.fl_str_mv Discusiones Filosóficas - 2011
https://creativecommons.org/licenses/by-nc-sa/4.0/
info:eu-repo/semantics/openAccess
http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv Discusiones Filosóficas - 2011
https://creativecommons.org/licenses/by-nc-sa/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Caldas
publisher.none.fl_str_mv Universidad de Caldas
dc.source.none.fl_str_mv https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705
institution Universidad de Caldas
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1855532525393281024
spelling Notes on intensional theoriesNotas sobre teorías intensionalesSintaxis de primer orden -FOSintensionalleyesmodelosno-intensionalley psicofísicafunctor de RamseyFirst Order Syntax-FOSintensionallawsmodelsnon-intensionalpsycho-physical lawRamsey functor-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].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].Universidad de Caldas2011-01-01T00:00:00Z2011-01-01T00:00:00Z2010-01-01Artículo de revistahttp://purl.org/coar/resource_type/c_6501Textinfo:eu-repo/semantics/articleJournal articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_2df8fbb1application/pdf0124-61272462-9596https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705https://revistasojs.ucaldas.edu.co/index.php/discusionesfilosoficas/article/view/705eng49181312Discusiones 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/628Discusiones Filosóficas - 2011https://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Sneed, Josephoai:repositorio.ucaldas.edu.co:ucaldas/150182025-10-08T21:20:24Z

Publicaciones similares