{"id":268,"date":"2010-02-23T08:01:15","date_gmt":"2010-02-23T08:01:15","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/logica-computacional-y-economia\/"},"modified":"2013-03-08T05:53:44","modified_gmt":"2013-03-08T05:53:44","slug":"logica-computacional-y-economia","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/logica-computacional-y-economia\/","title":{"rendered":"L\u00f3gica computacional y econom\u00eda"},"content":{"rendered":"<p>EL Pa\u00eds de hoy publica el art\u00edculo <a href=\"http:\/\/www.elpais.com\/articulo\/economia\/rentas\/salariales\/caen\/triple\/empresariales\/peor\/ano\/crisis\/elpepieco\/20100222elpepieco_2\/Tes\">Las rentas salariales en el triple que las empresariales en el peor a\u00f1o de la crisis<\/a>. En el art\u00edculo se comentan distintas paradojas l\u00f3gicas de la econom\u00eda.<\/p>\n<p>A ra\u00edz de dicho art\u00edculo he intentado averiguar el estado actual de la aplicaci\u00f3n de la L\u00f3gica Computacional a la Econom\u00eda y, m\u00e1s generalmente, a las Ciencias Sociales. A continuaci\u00f3n resumo el resultado de la b\u00fasqueda.<\/p>\n<p>Se han realizado distintas formalizaciones en l\u00f3gica de primer orden de teor\u00edas de las organizaciones y se ha estudiado propiedades de dichas teor\u00edas con OTTER y MACE. Algunas publicaciones de estos estudios son<br \/>\n<!--more--><\/p>\n<ul>\n<li> G. P\u00e9li y M. Masuch (1993) <a href=\"http:\/\/dare.uva.nl\/document\/34641\">The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic<\/a>.<\/li>\n<li> J. Kamps (1997) <a href=\"http:\/\/www.uni-koblenz-landau.de\/koblenz\/fb4\/publications\/fachberichte\/fb1997\/report-RR-17-97\/hage-amg.ps\">Model Generation and Theory Building: a case study of Hage&#8217;s axiomatic theory of organizations<\/a>.<\/li>\n<li> J. Kamps (1998) <a href=\"http:\/\/turing.science.uva.nl\/~kamps\/publications\/1998\/kamp:form98.pdf\">Formal Theory Building Using Automated Reasoning Tools<\/a>.<\/li>\n<li> J. Kamps (1999) <a href=\"http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download;jsessionid=F6A53B10B193E8F49232BDC4313AA6FF?doi=10.1.1.37.300&amp;rep=rep1&amp;type=pdf\">On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences<\/a>.<\/li>\n<li> I. Vermeulen y J. Bruggeman (2000) <a href=\"http:\/\/som.eldoc.ub.rug.nl\/FILES\/reports\/themeB\/2000\/00B17\/00B17.pdf\">The Logic of Organizational Markets: Thinking Through Resource Partitioning Theory<\/a>.<\/li>\n<\/ul>\n<p>En TPTP se encuentra la teor\u00eda <a href=\"http:\/\/www.cs.miami.edu\/~tptp\/cgi-bin\/SeeTPTP?Category=Problems&amp;Domain=MGT\">MGT (Management Organisation Theory)<\/a> que es una formalizaci\u00f3n de los trabajos anteriores.<\/p>\n<p>Las teor\u00edas de organizaciones tambi\u00e9n se ha formalizado en Alloy:<\/p>\n<ul>\n<li> A. Schaad <a href=\"http:\/\/alloy.mit.edu\/papers\/focp.pdf\">A Framework for Organisational Control Principles<\/a>.<\/li>\n<\/ul>\n<p>Un teorema de las ciencias sociales que se ha formalizado es el <a href=\"http:\/\/es.wikipedia.org\/wiki\/Paradoja_de_Arrow\">teorema de Arrow<\/a>. Las formalizaciones realizadas son:<\/p>\n<ol>\n<li>en Mizar\n<ol>\n<li><a href=\"http:\/\/es.wikipedia.org\/wiki\/Paradoja_de_Arrow\"> F. Wiedijk (2009) <\/a><a href=\"http:\/\/www.ias.ac.in\/sadhana\/Pdf2009Feb\/193.pdf\">Formalizing Arrow&#8217;s theorem<\/a>.<\/li>\n<\/ol>\n<\/li>\n<li> en Isabelle:\n<ol>\n<li> T. Nipkow (2009) <a href=\"http:\/\/www4.informatik.tu-muenchen.de\/~nipkow\/pubs\/arrow.pdf\">Social Choice Theory in HOL: Arrow and Gibbard-Satterthwaite<\/a>.<\/li>\n<\/ol>\n<\/li>\n<li> en l\u00f3gica de primer orden:\n<ol>\n<li> U. Grandi y U. Endriss (2009) <a href=\"http:\/\/dare.uva.nl\/document\/144749\">First-Order Logic Formalisation of Arrow&#8217;s Theorem<\/a>.<\/li>\n<\/ol>\n<\/li>\n<\/ol>\n<p>Esto s\u00f3lo es una primera aproximaci\u00f3n y lo que echo en falta es un estudio sistem\u00e1tico de las aplicaciones de la l\u00f3gica computacional en ciencias sociales. La realizaci\u00f3n de dicho estudio se ve dificultada por la ausencia de una organizaci\u00f3n de los trabajos de formalizaci\u00f3n del conocimiento en los distintos sistemas de razonamiento.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>EL Pa\u00eds de hoy publica el art\u00edculo Las rentas salariales en el triple que las empresariales en el peor a\u00f1o de la crisis. En el art\u00edculo se comentan distintas paradojas l\u00f3gicas de la econom\u00eda. A ra\u00edz de dicho art\u00edculo he intentado averiguar el estado actual de la aplicaci\u00f3n de la L\u00f3gica Computacional a la Econom\u00eda&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[66,67],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/268"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=268"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/268\/revisions"}],"predecessor-version":[{"id":3056,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/268\/revisions\/3056"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=268"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=268"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=268"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}