{"id":12439,"date":"2023-11-23T16:16:15","date_gmt":"2023-11-23T16:16:15","guid":{"rendered":"https:\/\/blogs.uned.es\/metis\/?page_id=12439"},"modified":"2023-11-23T16:27:43","modified_gmt":"2023-11-23T16:27:43","slug":"david-rey","status":"publish","type":"page","link":"https:\/\/blogs.uned.es\/metis\/other_events\/david-rey\/","title":{"rendered":"David Rey"},"content":{"rendered":"\n

David Rey: La noci\u00f3n de poder expresivo y la eliminaci\u00f3n de las variables<\/strong><\/p>\n\n\n\n

Lunes, 18 de diciembre de 2023 @1700 (CEST)
Online<\/a><\/p>\n\n\n\n

Resumen<\/em><\/p>\n\n\n\n

En una serie de art\u00edculos publicados entre 1960 y 1981, W. V. Quine explor\u00f3 la idea de que las variables de un lenguaje de l\u00f3gica de primer orden son ‘eliminables’, en el sentido de que es posible formular algoritmos para traducir cada f\u00f3rmula de dicho lenguaje a una f\u00f3rmula de un lenguaje formal dotado de unos pocos operadores, pero carente de variables (v\u00e9ase Quine 1960, 1971a, 1971b, 1981). Sin embargo, en sus discusiones sobre el tema, Quine no proporcion\u00f3 una definici\u00f3n expl\u00edcita de la noci\u00f3n central que subyace al concepto de traducibilidad entre lenguajes formales, a saber, la noci\u00f3n de poder expresivo. De hecho, y contrario a lo que cabr\u00eda esperar, en la literatura dedicada a las comparaciones de poder expresivo entre distintos tipos de lenguajes formales, es infrecuente encontrar caracterizaciones expl\u00edcitas de la noci\u00f3n mencionada. En esta charla llevar\u00e9 a cabo tres tareas. En primer lugar, dado un lenguaje de primer orden L<\/em>, caracterizar\u00e9 la sintaxis y la sem\u00e1ntica de su lenguaje quineano asociado Q<\/em>, el cual emplea algunos de los operadores que Quine introdujo en sus art\u00edculos y no posee variables. En segundo lugar, apoy\u00e1ndome en la escasa literatura acerca de la definici\u00f3n del poder expresivo (v\u00e9ase, en particular, Garc\u00eda-Matos y V\u00e4\u00e4n\u00e4nen 2005, Peters, Stanley, y Westerst\u00e5hl 2006, Fernandes Pinheiro 2017), propondr\u00e9 una definici\u00f3n modelista de la noci\u00f3n de poder expresivo que le d\u00e9 un contenido claro a la afirmaci\u00f3n de que un lenguaje quineano Q<\/em> es tan expresivo como su correspondiente lenguaje de primer orden L<\/em>. En tercer lugar, esbozar\u00e9 algunos de los pasos principales de una demostraci\u00f3n de que, efectivamente, el lenguaje quineano Q<\/em> es tan expresivo como el lenguaje de primer orden L.<\/em><\/p>\n\n\n\n

Referencias<\/strong>
Fernandes Pinheiro, Diego (2017). \u201cLogical Systems. On the Concept, Expressive Power and Expressiveness Characterizations\u201d. Tesis doctoral. Universidad de Salamanca.<\/p>\n\n\n\n

Garc\u00eda-Matos, Marta and Jouko V\u00e4\u00e4n\u00e4nen (2005). \u201cAbstract model theory as a framework for universal logic\u201d. En: Logica Universalis. Basel: Birkh\u00e4user, pp. 19-33.<\/p>\n\n\n\n

Peters, Stanley, and Dag Westerst\u00e5hl (2006). Quantifiers in Language and Logic<\/em>. Oxford: Clarendon Press.<\/p>\n\n\n\n

Quine, W. V. (1960). \u201cVariables Explained Away\u201d. En: Proceedings of the American Philosophical Society<\/em> 104.3, pp. 343-347.<\/p>\n\n\n\n

Quine, W. V. (1971a). \u201cAlgebraic Logic and Predicate Functors\u201d. En: Logic & Art. Essays in Honor of Nelson Goodman<\/em>. Editado por Richard Rudner y Israel Scheffer. Indianapolis: Bobbs-Merrill, pp. 214-238.<\/p>\n\n\n\n

Quine, W. V. (1971b)  \u201cPredicate-Functor Logic\u201d. En: Proceedings of the Second Scandinavian Logic Symposium<\/em>. Editado por J. E. Fenstad. Vol. 57. Studies in Linguistics and Philosophy. Amsterdam: North-Holland Publishing Company, pp. 309-315. Este art\u00edculo es una versi\u00f3n abreviada de [Quine 1971a]<\/p>\n\n\n\n

Quine, W. V. (1980)  \u201cPredicate Functors Revisited\u201d. En: The Journal of Symbolic Logic<\/em> 46.3, pp. 649-652.<\/p>\n\n\n\n

 <\/p>\n\n\n\n

Bio<\/em>
David Rey<\/a> es profesor ayudante en la Universidad del Valle (Colombia)<\/p>\n","protected":false},"excerpt":{"rendered":"

David Rey: La noci\u00f3n de poder expresivo y la eliminaci\u00f3n de las variables Lunes, 18 de diciembre de 2023 @1700 (CEST)Online Resumen En una serie de art\u00edculos publicados entre 1960 y 1981, W. V. Quine explor\u00f3 la idea de que las variables de un lenguaje de l\u00f3gica de primer orden son ‘eliminables’, en el sentido de que […]<\/p>\n","protected":false},"author":291,"featured_media":0,"parent":12391,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12439","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12439","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/users\/291"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/comments?post=12439"}],"version-history":[{"count":3,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12439\/revisions"}],"predecessor-version":[{"id":12455,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12439\/revisions\/12455"}],"up":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12391"}],"wp:attachment":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/media?parent=12439"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}