MUNDOS CREBLES, CAPACIDADES Y MECANISMOS

Sinopsis
Este ensayo se pregunta cmo, en la ciencia en general y en economa en particular, los modelos tericos ayudan al entendimiento de los fenmenos del mundo real. Usando modelos especficos de economa y biologa como casos testigos, se consideran tres alternativas: que los modelos sirven de herramientas para aislar las capacidades de factores causales en el mundo real; que la modelacin implica una exploracin conceptual que bsicamente contribuye al desarrollo de genuinas teoras explicativas; y que los modelos son mundos contrafcticos crebles de los que pueden realizarse inferencias inductivas. Este ensayo argumenta que el enfoque de mundos crebles captura aspectos significativos de la prctica cientfica, an si muchos de los modeladores1 consideran a su trabajo como una exploracin conceptual.

1. Introduccin
Los tericos de la economa construyen elaborados y complejos modelos abstractos. No obstante, si son interpretados como representaciones del mundo real, estos modelos resultan absurdamente irreales; con todo, los economistas aseguran encontrarlos tiles para el entendimiento de los fenmenos econmicos reales. Esto conlleva a preguntarnos: realmente estos modelos nos ayudan a comprender el mundo y, si lo hacen, cmo? Esta no es slo una pregunta para los filsofos de la ciencia sino tambin para los tericos de la economa como yo. Tratando de reordenar mis ideas, hace unos aos escrib un ensayo titulado mundos crebles (Sugden, 2000). Usando dos famosos ejercicios de modelacin como ejemplos el modelo del mercado de autos usados de George Akerlof y el modelo de segregacin racial de Thomas Schelling- me detuve a observar qu tenan que decir estos autores sobre la relacin entre los modelos y el mundo. Cada uno de ellos posee numerosas referencias de los fenmenos del mundo real; estas referencias slo tienen sentido si suponemos que los modelos tienen por objetivo explicar estos fenmenos. Sin embargo, los autores tienen una marcada creatividad para encontrar formas de sugerir que los modelos nos hablan acerca del mundo evitando cualquier afirmacin acerca de lo que realmente nos dicen. Trat de encontrar una explicacin a lo que estos modeladores estaban haciendo que fuera consistente con esta crptica imprecisin. Ofrec una explicacin de mundos crebles pero contrafcticos, paralelos al mundo real ms que aspectos aislados de la realidad. He argumentado que la brecha entre el mundo modlico (o mundo del modelo) y el mundo real debe estar atravesada por la inferencia inductiva y que esta ltima depende de juicios subjetivos sobre similitud, prominencia y credibilidad que no pueden ser formulados en lenguaje matemtico y lgico preferido por los tericos de la economa. La imprecisin en el lenguaje que tiene lugar cuando nos movemos de un mundo a
1

En ingls se utiliza la palabra modeller para definir a las personas que construyen modelos.

otro sirve para ocultar la vergenza que implica afirmar la validez de las inferencias inductivas. El presente ensayo ofrece una ms profunda reflexin sobre la tesis de los mundos crebles y responde a varias crticas a este argumento, particularmente al de otros autores de este simposio y la realizada por Emrah Aydinonat. Algunos lectores quizs estn tentados a pensar que la imprecisin con la cual nosotros los economistas hablamos acerca de cmo nuestros modelos tericos se relacionan con el mundo constituye una seal de debilidad a nuestra afirmacin de ser cientficos. De hecho, Nancy Cartwright (2009) ha comparado el trabajo de economistas y fsicos, manifestando que los modelos econmicos difieren de los fsicos al fallar en la provisin de adecuadas bases para la induccin al mundo real. Por lo tanto, es relevante preguntarse si los cientficos de las ciencias naturales son menos reticentes a la hora de saber que puede aprenderse de los modelos abstractos y sobre cmo lo aprendemos. Explicitar entonces que los complejos rasgos de las discusiones econmicas de los modelos aparecen tambin en alguno de los trabajos de tericos de la biologa. En toda la dcada que ha pasado desde que present por primera vez el argumento de los mundos crebles, he debatido mis ideas junto con nmeros metodlogos de la economa y he tenido an muchas ms oportunidades de estudiar qu es lo que hacen los modeladores econmicos. En mi discusin con los metodlogos, he encontrado que en economa se defienden, en gran medida, dos posturas contrastantes del rol que poseen los modelos tericos. La primera es que los modelos son herramientas para aislar tendencias o capacidades para operar en el mundo real pero las cuales, por las complejidades de los entornos reales, son difciles de investigar directamente. La segunda postura es que los modelos no nos dicen anda acerca del mundo real; solo proveen meramente de componentes abstractos que pueden resultar tiles en el desarrollo genuino de teoras explicativas. En este simposio, la mayor parte de las crticas a los mundos crebles se realizan desde alguno de estos dos puntos de vista. Como un observador activo de las prcticas de Economa, mi instinto me indica que la mayor parte de los modeladores tericos pueden ser incluidos entre los defensores de la segunda postura. No obstante, sigo creyendo que el enfoque de los mundos crebles engloba caractersticas significativas de cmo los modelos son utilizados en economa. En este ensayo, comparo la concepcin de los mundos crebles en la modelacin2 con cada uno de sus principales rivales. La idea de que los modelos son herramientas aislantes ser representada por el trabajo de Nancy Cartwright. En representacin de la idea de que los modelos no nos hablan del mundo, involucrar a Thomas Schelling y su discusin de los mecanismos sociales. Nos ayudar a evitar discusiones si rpidamente menciono que, en este ensayo, no estoy directamente preocupado con las cuestiones cerca de la naturaleza del conocimiento cientfico por ejemplo, si la afirmacin3 del conocimiento econmico debera entenderse en trminos de conceptos esquemticos como realismo, instrumentalismo o pragmatismoi. Mi preocupacin se relaciona ms con una pregunta que est cerca de la conciencia de la mayor parte de los economistas en la prctica4: cmo, o si, los modelos tericos nos ayudan a comprender el mundo, cualesquiera sea la acepcin filosfica que implique el concepto de comprensin.

2 3

En ingls modelling entendida como la construccin de modelos En ingls se utiliza la palabra claim que tiene un significado particular: es una afirmacin de que algo es verdadero, an si no ha sido probado como tal. 4 En ingls practising economists se refiere a economistas que se trabajan de esa profesin.

2. Un boceto5 del Terreno

Este ensayo se trata de modelos tericos, principalmente en economa. Dado que no estar interesado con otros tipos de modelos, de aqu en adelante dejar de utilizar el calificativo de terico. Seguramente no es controversial que en la mayor parte de los modelos econmicos, que las entidades (variables?) que se estudian agrupndolas y manipulndolas se rotulen de tal forma que posean una correlacin con el mundo real. Algunas veces, en la rotulacin se utilizan un lenguaje ordinario o, dicho de otro modo, no-tcnico (por ejemplo, los modelos incluyen individuos con preferencias sobre bienes, o firmas las cules buscan un beneficio). En otros casos, son utilizados trminos econmicos y tcnicos (por ejemplo, utilidad, probabilidad subjetiva o seal); pero esto trminos en general se pueden traducir de un modo razonable al lenguaje ordinario. Cuando las entidades (variables?) del modelo son interpretadas de acuerdo a estos rtulos, las interacciones en el modelos tienen al menos un fuerte sentido intuitivo; un sentido tal que los propios modeladores lo aceptan al hablar de la historia incorporada en el modelo. Una metfora relacionada est implcita en la idea familia del mundo real. Lo opuesto al mundo real es el mundo modlico el mundo que el modelo describe. El punto de todo esto es que las propiedades del modelo y las manipulaciones que de estas propiedades realiza el modelador, pueden ser descriptas de dos formas paralelas. Pueden describirse formalmente, en trminos abstractos sin adjuntar ninguna importancia al significado del lenguaje ordinario de la rotulacin; o pueden describirse como proposiciones acerca de un mundo imaginario pero imaginable. Consideremos un modelo completamente detallado por el conjunto de propiedades A = {A1,, An}. Supongamos que si tomamos en cuenta las proposiciones formales correspondientes y aplicamos principios aceptados de matemtica y lgica deductiva, derivamos una proposicin que corresponde a la propiedad R. Una primera manera de describir lo que hemos hecho es decir que A1,, An son supuestos del modelo y que R es el resultado. Podramos decir tambin que hemos investigado al mundo modlico con las propiedades A1,, An, y hemos mostrado que ste tambin posee (de hecho, debe poseer) la propiedad R. O, por otro lado, podramos decir que hemos mostrado que si A1,, An fueran propiedades del mundo real, entonces R sera (necesariamente) una propiedad tambin del mundo real. En muchas ejercitaciones de modelacin, tiene sentido describir la relacin entre A1,, An y R como un mecanismo por el cual A1,, An interaccionan para provocar a R. Por lo tanto, podemos decir que este mecanismo opera en el mundo modlico y que si A1,, An fueran propiedades del mundo real, entonces stas operaran en el mundo real tambin. Una opcin es simplemente detenerse en este punto. Esto nos da un conocimiento sobre la modelacin, desde el cual los modelos no nos dicen nada sustantivo acerca del mundo real; son meras herramientas para lo que Daniel Hausman (992, p. 221) denomina exploracin conceptual. Una segunda opcin se corresponde con mi entendimiento de la idea de que los modelos son herramientas aisladas. Supongamos que A puede ser particionada en tres subconjuntos: L = {L1,,LL}, S = {S1,,SS} y X = {X1,,Xx}. L1,,LL son interpretados como leyes empricas cuya verdad est ms all de cualquier duda razonable: podemos decir que sabemos que L1,,LL son propiedad del mundo real. S1,,SS son interpretadas como hiptesis principal (supuestos sustantivos?), mientras que X1,,Xx son hiptesis auxiliares (explicar lo que quiero decir por esta distincin entre las hiptesis en el prximo prrafo; hasta entonces, omitir las
5

En ingls sketch significa boceto como dibujo rpido y sin detalle de un objeto como tambin significa una descripcin rpida y sin detallar de una idea o un tema. En este caso, elegimos la palabra boceto como traduccin analgica del segundo significado.

implicancias de la misma). Podemos ahora reescribir el ejercicio de esta modelacin omitiendo una referencia explcita a las leyes. Podemos decir que hemos investigado el mundo modlico que incluye las propiedades S1,,SS X1,,Xx y hemos mostrado que tambin incluye la propiedad R (al decir esto, suponemos que tenemos en cuenta que cualquier mundo modlico debera satisfacer lo que Mki (2009) denomina la restriccin de la forma en que el mundo funciona). O podemos decir que hemos que si S1,,SS X1,,Xx fueran propiedades del mundo real, entonces R sera una propiedad del mundo real tambin. Podemos tratar a la relacin entre S1,,SS X1,,Xx y R como el mecanismo exhibido por el modelo. Este mecanismo opera en el mundo modlico. Si S1,,SS X1,,Xx fueran propiedades del mundo real, el mecanismo operara en ese mundo tambin. Observemos que, si seguimos esta estrategia, generamos proposiciones empricas del tipo sientonces...ms que verdades necesarias. Dado que estas proposiciones se han alcanzado por razonamiento deductivo, usando como premisas slo leyes empricas conocidas, las proposiciones estn firmemente fundamentadas. Parece que tenemos la autoridad de decir que sabemos que son verdaderas. Este enfoque puede refinarse usando la distincin entre hiptesis principales y auxiliares. Supongamos que, por cualquier razn, pensamos a las hiptesis principales como componentes esenciales del mecanismo que estamos describiendo, y a las hiptesis auxiliares como simples provisores del medio en el cual ese mecanismo puede funcionar. Investiguemos muchos modelos, todos los cuales usan las mismas hiptesis del tipo S (y tambin L) que antes, pero con diferentes especificaciones de X. Encontramos que, en todos esos modelos, R puede derivarse como un resultado. Una forma de describir este ejercicio es mediante un test de robustez: hemos encontrado ahora que la relacin entre S y R es robusta. Entonces, podramos realizar la inferencia inductiva que, en cualquier modelo con estas propiedades S (y L), es muy probable que se pueda derivar a R. Una inferencia equivalente es la siguiente: si S1,,SS son propiedades del mundo real, entonces (muy probablemente) R tambin lo sea. Esta proposicin del tipo sientonces...especifica lo que Cartwright llamara una capacidad. Basados en esta comprensin de los fenmenos expuestos, existe una analoga significativa entre los modelos y los experimentos. Cuando construimos un modelo con L, S y X como hiptesis (o supuestos), nos estamos preguntando qu sucedera si creamos una situacin del mundo real con las propiedades S y X. Podramos llevar a cabo esta investigacin de forma experimental montando tal situacin y esperando, luego, observar los efectos de cualesquiera sea las leyes empricas que realmente se encuentra operando. Ahora al utilizar en cambio el modelo, asumimos que ya conocemos las leyes relevantes (stas estn contenidas en L1,,LL) y simulamos su accin. De forma similar, los test de robustez en la modelacin simulan test de robustez en la experimentacin. Una capacidad puede ser demostrada ya sea por un resultado robusto de la modelacin o por un descubrimiento robusto en la experimentacin. Este enfoque de aislamiento nos permite entender a la modelacin como una fuente de conocimiento significativo del mundo real firmemente fundamentado. Pero hay un obstculo imprevisto: en el contexto tpico de los ejercicios de modelacin en economa, este enfoque genera muy poco conocimiento. Los modelos econmicos generalmente contienen muchas hiptesis principales, que realizan la mayor parte del trabajo de generar los resultados. Las leyes empricas conocidas contribuyen muy poco en ello. Si esto es as, hay al menos tres repuestas alternativas que podran sostener los economistas. La primera implica admitir que los modelos no nos dicen nada sustantivo acerca del mundo real. Con todo, se debera defender a la modelacin como una actividad til. Esto nos deja slo con la exploracin conceptual. La segunda implica insistir en que la modelacin es til slo hasta el punto en que genera conocimiento firmemente

fundamentado sobre capacidades, y concluir que el valor de la modelacin en economa es bastante bajo. Esto es, de forma ruda, la respuesta de Cartwright. La tercer respuesta implica buscar algo menos que conocimiento firmemente fundamento y argumentar que la modelacin puede respaldar creencias y conjeturas sobre importantes propiedades del mundo real. Esta es la respuesta que intenta dar el enfoque de modelacin de los mundos crebles. Mantengo6 firmemente la idea de que, en su prctica, los tericos de la economa no desean tomar ninguna de las dos primeras posturas, al menos, de una forma contundente. Intuitivamente, creen que sus modelos sostienen conjeturas del mundo real y quieren comunicar estas conjeturas de una manera convincente. Pero las conjeturas que quieren hacer no pueden estar respaldadas por comprobaciones deductivas, an si fueran secundadas la forma circunscripta de inferencia deductiva que sostiene las conclusiones sobre la robustez. Alivian esta tensin evitando explcitamente las explicaciones acerca de cmo sus modelos se relacionan con el mundo real, dejando a sus lectores el trabajo de hacer por ellos mismos las inferencias necesarias. Para aclarar esta opinin7, consideremos nuevamente el cado de un modelo que est completamente detallado por un conjunto de leyes empricas L, un conjunto de hiptesis principales S y un conjunte de hiptesis auxiliares X. Suponemos tambin que sabemos que el mundo real posee la propiedad R, pero no si posee las propiedades S1,,SS. Respalda el modelo la conjetura que S1,,SS son propiedades del mundo real? Pensndolo de otro modo, en nuestra familia de mundos modlicos, hay un mecanismo comn que genera de forma confiable una propiedad que se observa en el mundo real. Esto sostiene la conjetura de que un mecanismo similar est operando en el mundo real? Si nos confinamos solamente al razonamiento deductivo y al anlisis de robustez, la respuesta a estos interrogantes es claramente No. Pero los modeladores a menudo parecen querer asegurar que conjeturas de este tipo estn respaldadas por sus modelos, an si deciden8 no explicitar estas afirmaciones. Implcitamente, parecen estar usando algn tipo de inferencia abductiva? (inferir causas desde los efectos)ii. El enfoque de los mundos crebles es un intento por comprender cmo los modelos pueden sostener conjeturas acerca del mundo real.

3. Un ejemplo desde la economa: el Modelo de Manada de Banerjee

Dado que estoy interesado con lo que los economistas de hecho hacen, es importante trabajar con ejemplos concretos. No volver a explicar mi anlisis precio de los modelos de Akerlof y Schelling, por lo que tomaremos su lectura por hecho. Para evitar la repeticin, tomar un nuevo ejemplo de la economa: el muy citado ensayo en el que Abhijit Banerjee (1992) presenta un modelo de comportamiento de manada. El prrafo de apertura de Banerjee introduce en forma breve un rango de situaciones sociales y econmicas en las que se evidencia una tendencia comportarse como manada o de forma apiada a que las persona elijan sus opciones particulares en base a que otras personas las eligen. Algunos de los ejemplos de Banerjee gente que patrocina a tiendas, restaurantes o escuela porque son populares, acadmicos que eligen ciertos temas
6 7

En ingls se utiliza la palabra contend cuyo significado es argumentar que algo es verdadero. En ingls se utiliza la palabra contention cuyo significado es una fuerte opinin expresada por alguien. En ese caso, Sudgen se remite a la opinin de que los economistas no buscan conocimiento firmemente fundamentado sino que creen y sostienen conjeturas importantes de propiedades del mundo real. 8 En ingls se utiliza el idiom (frase hecha) stop short of que significa decidir no hacer algo.

para la investigacin slo porque otros acadmicos lo hacen- son adquiridos de la experiencia comn de sus lectores. Otros comportamiento de arreo en decisiones sobre activos financieros, acerca de si tener hijos o a quin votar- han sido presentados en la literatura de las ciencias sociales. Luego, Banerjee anuncia su objetivo: la meta de este ensayo es desarrollar un modelo simple que nos permita estudiar las razones que se encuentran detrs de esta forma de tomar decisiones as como tambin de sus implicaciones (p. 798). Observen que al modelo se lo considera como una investigacin de las razones que interpreto que para Banerjee sta significa en realidad una explicacin racional de la decisin- de un tipo de comportamiento cuya existencia en el mundo real est dada por hecho. Banerjee comienza su anlisis con una versin bsica9 de su modelo. Dos restaurantes, A y B, estn ubicados contiguamente. Hay 100 clientes, cada uno de los cuales quiere comer en el mejor de ellos. Un restaurante es de hecho mejor que el otro, pero nadie est seguro de saber cul es mejor y cul es peor. Hay una probabilidad a priori10 de 0,51 que A fuera mejor; esto es conocimiento comn compartido por los consumidores. Adems, cada cliente recibe una seal privada e independiente que le indica con una alta (aunque no perfecta) fiabilidad cul restaurantes es realmente mejor. Los clientes llegan en orden secuencial de tal forma que cuando lo hacen, cada uno de ellos puede ver qu restaurante eligieron los clientes que llegaron antes. Suponga que uno de los consumidores recibe una seal de que el restaurante A es mejor, y que l fue el primero en llegar; todos los dems reciben seales que favorecen a B. Es racional para el primero que llega que elija A. Pero entonces el segundo arribado puede inferir que para el primero que lleg la primer seal recibida favoreci A. Dado que la probabilidad a priori que A es mejor es mayor que 0,50, la probabilidad a posteriori que A sea mejor, condicionada por una sea que favorece A y una que favorece B, es mayor a 0,50 tambin; entonces es ptimo para el que llega en segundo lugar que tambin vaya al restaurante A. El que llega tercero observa que el primero y el segundo han elegido A. Que el primero que llega ha elegido A es evidencia que su seal favoreci A. Que el segundo en llegar, sabiendo esto, escoge A no provee de informacin adicional (dado que habra escogido A cualesquiera fuera su seal la que recibe-). Con todo, esta es suficiente informacin para hacer de A la mejor opcin para el tercer llegado, an si su seal favoreciera B. Y as contina: todos terminan eligiendo A, an si toda la informacin de la que disponen refieren con una certeza virtual que B es mejor. La mayor parte del resto del ensayo est dedicado al anlisis de una variante ms sofisticada del modelo del restaurante. Banerjee extrae un nmero importante de notables resultados sobre el equilibrio Nash-Bayesiano en este modelo. El resultado principal es que, con una probabilidad muy alta, el equilibrio alcanzado es ineficiente. (Como en el caso del restaurante, todos se apian hacia la opcin elegida por el primero que llega). Un resultado subsidiario es que el equilibrio alcanzado es altamente voltil a lo largo de todas las partidas posibles del juego. Hacia el final del ensayo, Banerjee expone posibles extensiones y modificaciones del modelo bsico. stas responden a las potenciales crticas al realismo de sus supuestos (hiptesis) en tanto representaciones de ambientes del mundo real. En algunos aspectos, concede que sus supuestos son irreales, pero muestra que sus resultados son robustos con respecto a ms re-especificaciones realistas del modelo. Por ejemplo, revisando el supuesto de que todos los individuos que eligen la misma opcin reciben el mismo pago, l dice que esto puede ser aproximadamente correcto en el caso del restaurante, pero en muchos otros ejemplos del mundo
9

En ingls se utiliza el adjetivo stripped-down que significa reducido a lo ms esencial. Probabilidad que expresa alguna incertidumbre acerca de la cantidad p (desconocida) antes de tomar en cuenta los datos.
10

real los pagos pueden depender de quin realiza la primera eleccin. Muestra que los resultados cualitativos principales se mantienen vlidos an si los pagos poseen esta propiedad. En otros casos, apela a hechos acerca del mundo real para respaldar la afirmacin de que, a pesar de las apariencias contrarias, los supuestos son adecuadamente realistas. Por ejemplo, considera la crtica de que el modelo debera tener en cuenta a mecanismos de incentivos que podran ser utilizados para contrarrestar el comportamiento de manada. Su rplica es que en muchos de los casos considerados, sistemas de incentivo efectivo no son factibles. Estas extensiones y modificaciones reconfirman que el objetivo de Banerjee es explicar los fenmenos del mundo real. Se observa que el realismo es definido relativamente respecto a un conjunto de casos considerados: la implicacin es que existe conjuntos de fenmenos del mundo real, precisados independientemente del modelo, que el mismo modelo debe explicar. Pero qu inferencias acerca de estos fenmenos debemos hallar? Acerca de esto, Banerjee se queda completamente en silencio. Aparte de estos pasajes que ya he mencionado, pude encontrar slo dos referencias las cuales se refieren a inferencias desde el modelo al mundo real. La primera proviene de la presentacin del resultado que, en el modelo, el equilibrio es voltil. Banerjee dice: Esto puede dar alguna luz a las observaciones de exceso de volatilidad realizadas en el contexto de mucho mercados de activos y de las frecuentes y aparentemente impredecibles cambios en la moda (p. 800). Aqu, hay una afirmacin de que el modelo nos dice (o, por los menos, podra decirnos) algo acerca del mundo real; pero las palabras parecen ser deliberadamente vagas acerca de lo que nos dicen. La segunda referencia se enmarca en una discusin sobre una explicacin rival de arreo, la cual asume que los agentes que arrean [la manada] son premiados por convencer a terceros que sus decisiones son las correctas. Banerjee observa que este supuesto no es aplicable a muchos de los casos que l considera, y concluye: es entonces til establecer que comportamientos de manada ineficientes pueden presentarse an cuando los individuos mismos se hagan de las recompensas de sus decisiones (p. 801). Aqu Banerjee est afirmando que su modelo puede explicar mejor que su rival algunos aspectos significativos del arreo (comportamiento de manada en el mundo real. Pero lo que es ms llamativo de todo esto e s cun poca necesidad siente Banerjee de explicar la relacin entre el modelo y el mundo real. Esta propiedad en la presentacin de Banerjee es enteramente normal en la literatura de la modelacin econmica. Como muestro en mi ensayo de 2000, las explicaciones que presentan Akerloff y Schelling de sus modelos tienen exactamente la misma forma. Parece ser que en el campo de la economa, una discusin explcita de la relacin entre el modelo y sus correspondientes fenmenos en el mundo real no es requerida. En el presente caso, Banerjee describe un fenmeno del mundo real, el comportamiento en manada (arreo?), en trminos generales. Luego, construye un mundo para el modelo detallado correctamente y deriva conclusiones especficas acerca de lo que ocurre en l. Lo que vemos en el mundo modlico es una forma de (arreo?), causado por un mecanismo de informacin y sealamiento. Por medio de la historia del restaurante, l puede establecer una conexin entre los objetos formales del modelo matemtico y cosas en el mundo real con las cuales nosotros (los lectores) estamos familiarizados. Muy informalmente, nos invita a consultar nuestra experiencia sobre los restaurantes y as concluir que lo que est sucediendo en el mundo modlico es, de alguna forma, similar a la experiencia. Y eso es todo: se nos deja para que obtengamos nuestras propias conclusiones. De los objetivos declarador por Banerjee, podemos inferir que se espera de nosotros aprender algo sobre el (arreo?) del mundo real. Que presumiblemente el comportamiento de manada del mundo real es, o al menos puede ser, inducido por un mecanismo de informacin imperfecta y sealamiento similares al exhibido en el

modelo. El modelo mismo provee de una descripcin estilizada del mecanismo que l tiene en mente y muestra cmo ese mecanismo conduce al comportamiento de manada en el mundo modlico. Somos invitados a inferir que el mismo mecanismo estara funcionando en los casos relevantes del mundo real. Dada la naturaleza de la refinacin del modelo, el puede ser es quizs mejor interpretado como una conjetura prudente: Banerjee est tratando de convencernos que deberamos tomar seriamente la posibilidad de que su explicacin sobre el (arreo?) del mundo real es correcta. Ms an, lo que debemos plantearnos fuertemente es una hiptesis sobre la causalidad de eventos actuales. Cmo el modelo de Banerjee puede decirnos algo, aunque sea especulativo, sobre la causalidad en el mundo real? El argumento implcito, sugiero, es abductivo. El efecto del arreo en el mundo modlico es similar al ocurrido en el mundo rel. Por la similitud de los efectos, se nos invita a inferir la probabilidad de causas similares: el modelo nos ofrece cierta base para la confianza en la hiptesis que el arreo en el mundo real es causado por un mecanismo similar al que causa el arreo en el mundo modlico. La estructura esencial de tal argumento es: partiendo de similitudes, infiere otras. De esta forma, podemos tener ms confianza en las inferencias desde el mundo modlico al mundo real, en tanto y cuanto ms similares sean ambos. Dado que el mundo modlico es muy estilizado, ser similar a no puede ser entendido como realsticamente describe. Pero podemos considerar su credibilidad en el sentido que el mundo ficcional del modelo es uno tal que puede ser real. Sugiero que aqu es donde aparece la historia del restaurante. Se espera que nosotros podamos imaginar el mundo de los dos restaurantes y que pensemos en la estructura de la informacin y las motivaciones individuales de ese mundo como si lo experimentramos en la realidad.

4. Un ejemplo de la Biologa: Modelo de Premios en Competiciones Asimtricas de Animales de Maynard Smith y Geoffrey Parker
Mi ejemplo sobre biologa teortica es un ensayo clsico de John Maynard Smith y Geoffrey Parker (1976), La lgica de las competiciones asimtricas, ste fue una de las primeras contribuciones a la literatura iniciada por ellos (1973), que utiliza una forma de teora de los juegos para analizar el comportamiento animal en situaciones de conflictoiii. Los ejemplos tpicos se corresponden con los casos en los cuales dos animales de la misma especie entran en conflicto por sitios de anidado, zonas de alimentacin u oportunidades de apareamiento. El propsito general es entender cmo son estructurados los conflictos y qu determina cul competidor gana y cul pierde. Maynard Smith y Parker (de aqu en adelante MSP) comienzas su ensayo exponiendo su objetivo: este ensayo analiza una pregunta: cmo esperamos que los animales se comporten en situaciones de conflicto?. Su preocupacin particular se refiere a competiciones asimtricas esto es, conflictos en que los competidores ocupan posiciones asimtricas, con la implicacin que, en principio, la resolucin del conflicto puede ser determinada por esa asimetra. MSP distinguen entre tres tipos de asimetras. Hay una asimetra de recompensa si un competidor puede ganar ms que el otro en la victoria o perder menos que en el otro en la derrota. Hay asimetra de posesin potencial de recursos si un competidor posee una mayor habilidad de pelea que el otro y, por lo tanto, es ms probable que resulte ganador. Y hay asimetras de no-correlacin si los competidores difieren en algn aspecto que, mientras puede ser reconocido en s mismo por los propios competidores, no tiene correlacin ni con la recompenso como tampoco con la habilidad de pelear. MSP estn particularmente interesados en este tipo de asimetra.

En principio, un conflicto puede ser resuelto empleando una asimetra de no-correlacin para determinar cul competidor es el ganador. Sin embargo, MSP admiten que no pueden dar ningn ejemplo real de este tipo de resolucin de conflictos. En la naturaleza, sugieren, las simetras que son utilizadas para resolver competiciones estarn siembre correlacionadas con diferencias en las recompensas o en la habilidad de pelea. Pero: Es, sin embargo, importante analizar competiciones que no estn correlacionadas en el sentido arriba expresado, porque si puede demostrarse que las asimetras no-correlacionadas pueden resolver competiciones de forma completa, entonces es irrelevante el argumento de que las diferencias en las recompensas o en la RHP11 (posesin potencial de recursos) son muy poco significativas para explicar las soluciones convencionales. Por consiguiente, no es parte de nuestro argumento que diferencias en las recompensas y en RHP no existen, slo que no es necesaria su presencia para que las competiciones sean resueltas convencionalmente (p. 159). Considero que una competicin es resuelta convencionalmente si lo es sin ningn costo significativo para cualquiera de los competidores, como resultado de que reconocen alguna seal que les dice quin debe aceptar la derrota. Se podra desprender de la cita que MSP tienen la intencin de mostrar que una competicin puede ser resuelta por una convencin (acuerdo) asimtrica. Pero, como emerger ms adelante su modelo es utilizado para respaldar un afirmacin ms fuerte que si, en una competicin dada, la nica asimetra comnmente reconocida es no-correlacionada, entonces esa asimetra ser utilizada para resolver el conflicto. MSP desarrollan su argumento presentando un modelo de conflicto animal extremadamente simple y aparentemente irrealista. Su estrategia de modelacin general es presentar a las competiciones animales como un juego de dos participantes, en el cual las estrategias representan patrones de comportamiento alternativos y las recompensas estn medidas en unidades de aptitudes darwinianas (esto es, como cambios en el nmero esperado de cras contingentes de resultados relevantes, medidos relativamente a un estndar). El ncleo del juego (ahora generalmente conocido como Halcn-Paloma) se basa en dos competidores A y B en conflicto sobre un recurso. Cada competidor tiene dos estrategias puras posibles, intensificar (acto que implica una agresin progresiva hasta que el otro competidos retrocede o hasta que uno de los dos resulta seriamente herido) y retirarse (retrocede a la primera seal de agresin del otro competidor). La matriz de pago del juego se muestra en la Tabla 1. Tabla 1. El juego Halcn-Paloma Estrategia B incrementar Estrategia A
V = Valor del recurso D = Costo de la herida del perdedor D>V>0

retirarse V, 0 V/2, V/2

incrementar retirarse

(V D)/2, (V D)/2 0,V

11

Segn sus siglas en ingls: resource-holding potencial.

El incremento de las aptitudes es medida relativamente al resultado de jugar retirarse contra intensificar (esto es, ganar nada pero no tener que pelear). V es el valor del recurso y D es el costo de la herida del perdedor de la pelea; D > V > 0, implicando que la estrategia incrementar es la mejor respuesta a retroceder y viceversa. La simetra en la matriz de pago representa el supuesto que la asimetra entre A y B es nocorrelacionada con las recompensas o la habilidad de pelear; se asume que si ambos competidores eligen la estrategia incrementar, cualquiera de los dos tiene iguales oportunidades de ganar la pelea, y que si los dos retroceden, cada uno de ellos tiene igual oportunidad de obtener el recurso sin tener que pelear. MSP sugieren la interpretacin que A es el descubridor del recurso disputado y que B es el ltimo llegado. Obsrvese que la especificacin del juego incorpora algunas drsticas simplificaciones con respecto a las competiciones en animales del mundo real. Como he explicado, la simetra en la matriz de pago es un supuesto irrealista, deliberadamente introducido por MSP para aislar el mecanismo que desean investigar. El supuesto de que slo hay dos niveles de agresin simplifica el anlisis al transformar una caracterstica general del mundo real (en cualquier competicin hay un espectro de comportamientos alternativos que difieren en su grado de agresin) en un propiedad concreta del mundo modlico. MSP no ofrecen ninguna defensa a este supuesto, simplemente instruyen al lector: consideren ahora una competicin en la que dos estrategias puras son posibles (p. 161). Est implcito en las especificaciones del juego que ambos jugadores reconocen la asimetra entre A y B. MSP alegan simplemente que asumen informacin perfecta. Las asimetras del mundo real que utilizan como ilustraciones (por ejemplo, descubridor versus ltimo llegado, animal ms grande versus animal ms pequeo) son tales que parece creble suponer que los animales puedan usarlas como seales, pero presumiblemente sera ms realista postular informacin imperfecta sobre esas asimetras. MSP implcitamente reconocen el supuesto de informacin perfecta es irrealista, y lo defienden en base a su utilidad para manejar ms fcilmente los fenmenos econmicos12: competiciones en las cules hay informacin perfecta disponible para ambos competidores son, en general, fciles de analizar Dificultades mayores surgen cuando slo existe informacin parcial (p. 160). Luego, exploran (en el ensayo) algunas formas para relajar este supuesto (pp. 166-171). MSP presentan, entonces, un conjunto de simplificaciones al dirigir su anlisis en trmino del concepto de estrategia evolucionaria estable (EEE), perteneciente a Maynard Smith (1974). En el primer prrafo de su ensayo, MSP resea (e implcitamente respalda) al argumento de Maynard Smith de que la seleccin natural, que acta entre dos individuos, producira tal estrategia (por ejemplo, una EEE) (Maynard Smith and Parker 1976, p. 159). Firmemente, el patrn de conducta en una poblacin de animales de una determinada especie es una EEE si esa poblacin no puede ser invadida exitosamente por cualquier mutante de comportamiento diferente. Sin embargo, como MSP explican, este concepto de invasin es una propiedad de un modelos muy simplificado de seleccin natural (pp. 160-161).Entre los supuestos de este modelo encontramos los siguientes. Primero, cada modo de comportamiento posee un genotipo distinto. (Por ello, la evolucin del comportamiento puede ser explicada ms por seleccin gentica que, por ejemplo, influencias ambientales o de desarrollo en dichos genotipos). Segundo, la determinacin gentica del comportamiento en las competiciones es independiente de la determinacin de los roles A y B. (Por ejemplo, la probabilidad de que un animal siga el rol de descubierto es la misma posea ste el genotipo incrementar o el genotipo retirarse). El tercer supuesto es tan irrealista que MSP son reacios a exponerlo completamente.
12

En ingls se utiliza simplemente el sustantivo tractability que deviene del adjetivo tractable que significa fcil de controlar o de manejar

El concepto de una EEE, interpretado de forma literal, es aplicable slo para especies que se producen asexualmente. Si es el caso de reproduccin asexual, un genotipo de comportamiento que es exitoso en trminos de aptitudes darwinianas ser, por definicin, exitoso en crear copias de s mismo en la generacin siguiente. Pero si la reproduccin es sexual, tiene lugar una recombinacin gentica entre generaciones y, entonces, no es necesariamente cierto que los genotipos ms aptos incrementarn su frecuencia de generacin a generacin. Como simple contraejemplo considrese el caso de un comportamiento que es determinado por dos alelos: A y a, para la misma posicin gentica. Existen tres tipos relevantes de genotipos: AA, Aa y aa. La frecuencia relativa de estos tres genotipos est determinada por solamente un parmetro, la frecuencia relativa de A. En particular, el genotipo Aa slo puede ser generado en un acervo gentico13 que tambin genere los genotipos AA y aa. Entonces, si el comportamiento inducido por Aa maximiza las aptitudes darwinianas, no observaremos una poblacin en la que todos sus individuos se comporten de esta maneraiv. MSP realizan un aproximacin indirecta a este asunto con el siguiente comentario a modo de apertura: algo debe decirse acerca de la herencia de estrategias de comportamiento. Ellos presentan tres formas alternativas de herencia. La primera posibilidad es que cada una de las estrategias, pura o mixta, puede reproducirse a s misma sin recombinarse con las otras. Esta alternativa es presentada para justificar el uso de modelos EEE. La segunda posibilidad es que slo las estrategias puras pueden reproducirse, y que (como antes) la reproduccin se realiza sin recombinacin. Las diferencias entre sta y la primer posibilidad no son particularmente relevantes en relacin al juego de Halcn-Paloma, en el que la EEE que interesa en particular implica estrategias puras. La tercera posibilidad es la realista. Todo lo que MSP tienen que decir al respecto es lo siguiente: I. Herencia bisexual con recombinacin gentica. Nada general puede decirse. Hay casos (por ejemplo, la guerra de desgaste) en los cuales la EEE exige una frecuencia de distribucin que no puede ser sostenida bajo reproduccin sexual con la mayor parte de los tipos de determinacin gentica. En tales casos, la simulacin sugiere que el equilibrio gentico se aproximar tan cerca a la EEE como el sistema gentico lo permita (p. 161).

En efecto, entonces, MSP estn asumiendo reproduccin asexual. Este supuesto es particularmente interesante porque, tomado al pie de la letra, no es ni un caso limitante de una propiedad del mundo real ni una forma de hacer ms concreta una propiedad general del mundo real. En un trabajo posterior, dirigido a un pblico ms general, Maynard Smith (1982) explcitamente admite que los modelos EEE asumen reproduccin asexual, y ofrece la siguiente justificacin: El supuesto bsico de la teora de juego evolutiva que los hijos se parecen a sus padres14- se corresponde con lo que de hecho sabemos sobre herencia en la mayora de los casos. Analizar un modelo gentico ms detallado estara fuera de lugar. Por ejemplo, es relevante para la evolucin de la forma del ala que la figura que genera cierta elevacin para un mnimo de resistencia aerodinmica sea una elptica. Si alguien dijera: tal vez, pero cmo se sabe que un ave con un ala elptica no es un
13

En ingls genetic pool se puede traducir tambin al espaol como pool gentico e indica una coleccin gentica heredada (de ah que tomamos el sustantivo acervo definido en una de sus acepciones como : conjunto de bienes morales o culturales acumulados por tradicin o herencia ). 14 En ingls se usa la expresin like begets like. Beget es un verbo relacionado con la religin que significa causar, procrear, producir, ser padre. Entonces la expresin es una forma de decir que los hijos siempre se parecen a sus padres o que cualquiera ser padre de hijos similares a uno mismo.

heterocigoto gentico que no puede reproducir a otras aves con los mismos rasgos15?, sera correctamente considerado como irracional. En otras palabras, es una prctica general en biologa usar el principio de que los hijos se parecen a sus padres como un supuesto por defecto cuando se explica de forma amplia las propiedades de los productos de la seleccin natural, an cuando se sabe que no es aplicable universalmente. Maynard Smith (1982, pp. 4, 2022) ofrece algunas razones biolgicas para esperar que este supuesto sea razonablemente preciso e implica su creencia que el supuesto ha sido probado de forma suficiente y con gran confianza en numerosos casos previos. Supuestos por default de este tipo son comnmente temas centrales en la modelacin: comprese con el supuesto de maximizacin del beneficio de las firmas, realizado en muchos modelos econmicos. Es hora, ahora de considerar el uso que MSP hacen del modelo del Halcn-Paloma. El resultado terico central es que el juego tiene dos EEE: incrementar si A, retirarse si B y retirarse si A, incrementar si B. La implicacin es, que en el mundo modlico, la seleccin natural conducir a la evolucin de una resolucin convencional del conflicto. An cuando la asimetra es no-correlacionada ni con los pagos ni con la habilidad de pelea, proporcionar la clave para resolver la competicin (pp. 163-164). Habiendo establecido este resultado, MSP consideran los efectos de relajar algunos de sus supuestos. En el contexto de su principal argumento, el ms importante anlisis es el de los efectos de la relajacin sobre el supuesto de que la asimetra es no-correlacionada. Supngase, por ejemplo, que la asimetra est correlacionada con las recompensas, de tal forma que en promedio A (el descubridor) puede obtener un poco ms de la victoria que B (el ltimo llegado). Si la diferencia en las recompensas es relativamente pequea, el resultado previo se mantiene: hay dos EEE. Una de stas (la cual MSP llaman EEE de sentido comn) resuelve la competicin a favor de A; la otra (la EEE paradjica) la resuelve a favor de B. MSP presentan una variante del modelo en el que la asimetra entre A y B est correlacionada con recompensas de esta forma.v En la situacin inicial de este modelo, se asume que los competidores la asimetra entre A y B; tienen lugar estrategias mixtas de EEE por las cuales los competidores en ambos roles algunas veces incrementan y otras veces se retiran. MSP muestran que este equilibrio puede ser invadido por un mutante que reconoce la asimetra y juega la estrategia de sentido comn, mientras que no puede ser invadido por un mutante que juega la estrategia paradjica. Slo tras completar su anlisis de estos modelos, MSP se vuelven al mundo real. La seccin final del ensayo (un cuarto de la extensin del ensayo) se titula Discusin y explora las implicaciones del anlisis precedente en competiciones animales de hecho. Esta seccin comienza: Dos conclusiones generales emergen del anlisis precedente, una relevante para las competiciones simtricas y otro para las asimtricas. *+ En las competiciones asimtricas, las estrategias mixtas sern la excepcin. Usualmente, algn rasgo asimtrico ser tomado como una pista a travs de la cual un competicin puede resolverse de forma convencional. Debemos debatir, en primer lugar, si existe alguna evidencia observacional para estas dos conclusiones (p. 171).

15

En ingls se utiliza la expresin bree true organism que podra ser similar a la expresin pura raza, en el sentido que que un organismo es de este tipo cuando dos organismo con genotipos idnticos procrean a un organismo con los mismos rasgos.

Este pasaje marca la transicin desde el mundo modlico al mundo real. Obsrvese cun rpida es la transicin y qu tan poco se dice para explicarla. Hasta este punto, MSP no han dicho casi absolutamente nada sobre las competiciones reales en animales; slo nos han mostrado que estos ejercicios de modelacin llevan a hiptesis especficas sobre competiciones reales en animales hiptesis en las que puede ser posible encontrar evidencia observacional. Debe puntualizarse que la estrategia metodolgica de MSPdifiere de la de Banerjee (y tambin de la de Akerlof y Schelling) cuando presenta una hiptesis emprica explcita. De todas formas, esta hiptesis slo se afirma en trminos imprecisos: las competiciones asimtricas se resuelven usualmente en forma convencional, an cuando las diferencias en las recompensas y la habilidad de pelear son pequeas. No hay ninguna explicacin de cmo esta hiptesis general se deriva de o est respaldad por el modelo; simplemente emerge. Y, aunque la seccin sobre la Discusin se refiere a un trabajo emprico substancial sobre comportamiento animal, MSP no intentan testear su hiptesis general (de hecho, no est claro si puede ser testeada). En lugar de ello, y como Banerjee, Akerlof y Schelling, MSP apuntan a una variedad de casos del mundo real en los que el comportamiento observado se parece al comportamiento en sus modelos. En relacin a las competiciones asimtricas, la discusin relevante sobre la evidencia en el mundo real

Ahora me arrepiento de algunos pasajes en Sugden (2000, p. 12) en el que afirmo que las estrategias de modelacin Digo ms acerca de la abduccin en Sudgen (2000, pp. 19-20). Siguiendo a Mill (1843/1967, p. 186), interpreto induccin incluyendo cualquier modo de razonar que nos lleva desde proposiciones especficas a unas ms generales. Esto hace de la abduccin una subcategora de induccin. iii Como economista, tengo un inters natural por esta rama particular de la biologa teortica. Sin embargo, sera un error pensar que esta literatura introdujo a la biloga una estrategia de modelacin que pertenece a la economa. Inicialmente, la modelacin terica de los juegos en biologa y en economa se desarrollaron independientemente la una de la otra (ver Maynard Smith 1982, p. 10). En la dcada de 1970, la mayor parte de los economistas interpret a la teora de los juegos como un anlisis de interaccin estratgica entre jugadores perfectamente racionales. La interpretacin evolutiva de la teora de los juegos, ahora novedosa en economa, comenz como una importacin desde la biologa, de la cual se vali el trabajo de Maynard Smith y sus colaboradores (Sudgen 1986) iv Este tema es debatido por Maynard Smith (1982, pp. 4, 20-22). v En el ensayo de MSP, el anlisis est enmarcado en trminos de un modelo diferente de conflicto: la Guerra de Desgaste, pero los argumentos pueden ser aplicados con igual fuerza al juego del Halcn -Paloma.
ii