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 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].... Ver más

Guardado en:

0124-6127

2462-9596

12

2010-01-01

13

49

Discusiones Filosóficas - 2011

info:eu-repo/semantics/openAccess

http://purl.org/coar/access_right/c_abf2