Lógica computacional y economía

EL País de hoy publica el artículo Las rentas salariales en el triple que las empresariales en el peor año de la crisis. En el artículo se comentan distintas paradojas lógicas de la economía.

A raíz de dicho artículo he intentado averiguar el estado actual de la aplicación de la Lógica Computacional a la Economía y, más generalmente, a las Ciencias Sociales. A continuación resumo el resultado de la búsqueda.

Se han realizado distintas formalizaciones en lógica de primer orden de teorías de las organizaciones y se ha estudiado propiedades de dichas teorías con OTTER y MACE. Algunas publicaciones de estos estudios son

• G. Péli y M. Masuch (1993) The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic.
• J. Kamps (1997) Model Generation and Theory Building: a case study of Hage’s axiomatic theory of organizations.
• J. Kamps (1998) Formal Theory Building Using Automated Reasoning Tools.
• J. Kamps (1999) On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences.
• I. Vermeulen y J. Bruggeman (2000) The Logic of Organizational Markets: Thinking Through Resource Partitioning Theory.

En TPTP se encuentra la teoría MGT (Management Organisation Theory) que es una formalización de los trabajos anteriores.

Las teorías de organizaciones también se ha formalizado en Alloy:

• A. Schaad A Framework for Organisational Control Principles.

Un teorema de las ciencias sociales que se ha formalizado es el teorema de Arrow. Las formalizaciones realizadas son:

1. en Mizar
   1. F. Wiedijk (2009) Formalizing Arrow’s theorem.
2. en Isabelle:
   1. T. Nipkow (2009) Social Choice Theory in HOL: Arrow and Gibbard-Satterthwaite.
3. en lógica de primer orden:
   1. U. Grandi y U. Endriss (2009) First-Order Logic Formalisation of Arrow’s Theorem.

Esto sólo es una primera aproximación y lo que echo en falta es un estudio sistemático de las aplicaciones de la lógica computacional en ciencias sociales. La realización de dicho estudio se ve dificultada por la ausencia de una organización de los trabajos de formalización del conocimiento en los distintos sistemas de razonamiento.