TEORA ECONMICA

TEORA ECONMICA
UN ENFOQUE FILOSFICO

ADOLFO GARCA DE LA SIENRA

Profesor de Filosofa y Economa Universidad Veracruzana

UNIVERSIDAD VERACRUZANA Xalapa, Veracruz

Adolfo Garca de la Sienra

CONTENIDO

1. EL MARCO FILOSFICO 1.1. Introduccin . . . . . . . . . . . . . . . . . . . . 1.2. Introduccin losca general . . . . . . . . . 1.2.1. El punto de vista de la economa pura 1.3. Entidades econmicamente cualicadas . . . . 1.4. Abstraccin e idealizacin . . . . . . . . . . . . 1.5. Objetos ideales . . . . . . . . . . . . . . . . . . 1.6. Concepciones epistemolgicas . . . . . . . . . . 1.7. La Concepcin Estructuralista de las teoras . . 1.8. Teora de la medicin . . . . . . . . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

1 1 1 2 5 7 10 12 19 28

I TEORA NEOCLSICA
2. TEORA DE LOS JUEGOS 2.1. Prolegmenos conceptuales de los juegos dinmicos discretos . 2.2. Los conceptos de estrategia . . . . . . . . . . . . . . . . . . . . 2.3. Espacios de probabilidad determinados por las estrategias conductuales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4. El Equilibrio de Nash . . . . . . . . . . . . . . . . . . . . . . . . 2.5. El concepto de juego . . . . . . . . . . . . . . . . . . . . . . . . 2.6. Juegos en forma estratgica . . . . . . . . . . . . . . . . . . . .

35
37 . 37 . 39 . . . . 41 53 54 59

3. ELECCIN Y PREFERENCIA 61 3.1. Estructuras de eleccin . . . . . . . . . . . . . . . . . . . . . . . . 61 3.2. Estructuras de preferencia . . . . . . . . . . . . . . . . . . . . . . 62 3.3. La racionalizacin de las elecciones . . . . . . . . . . . . . . . . . 64
V

VI

CONTENIDO 73 73 78 84 94 94 96 98 100 105 105 106 109 115 117 123 130 135 135 139 140 143 143 144 147 147 154 156 156 163 167 167 167 168 172

4. PREFERENCIA Y UTILIDAD 4.1. Teora de la Utilidad . . . . . . . . . . . . . 4.2. Medicin conjuntiva . . . . . . . . . . . . . 4.3. Teora de la Utilidad Esperada . . . . . . . . 4.4. Preferencias diferenciables . . . . . . . . . . 4.4.1. El signicado de la diferenciabilidad 4.4.2. El marco conceptual . . . . . . . . . 4.4.3. Los axiomas . . . . . . . . . . . . . . 4.4.4. El teorema de representacin . . . . 5. TEORA DEL CONSUMIDOR 5.1. Introduccin . . . . . . . . . . . . . . . . 5.2. La teora de la eleccin del consumidor 5.3. Desarrollo de la teora . . . . . . . . . . 5.4. El problema de la induccin . . . . . . . 5.5. La Teora Clsica de la Demanda . . . . 5.6. El modelo Cobb-Douglas . . . . . . . . . 5.7. Integrabilidad . . . . . . . . . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

6. TEORA DE LA EMPRESA 6.1. Conjuntos y funciones de produccin . . . . . . 6.2. El problema de la empresa . . . . . . . . . . . . 6.3. La funcin de produccin Cobb-Douglas . . . . 6.4. Juegos de mercado . . . . . . . . . . . . . . . . 6.4.1. El monopolio . . . . . . . . . . . . . . . 6.4.2. El oligopolio o competencia de Cournot

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

7. EL EQUILIBRIO COMPETITIVO 7.1. El equilibrio competitivo en economas de intercambio puro 7.2. Resolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.3. El equilibrio competitivo con produccin . . . . . . . . . . . 7.4. Economas privadas con produccin . . . . . . . . . . . . . . 7.5. Los Teoremas del Bienestar . . . . . . . . . . . . . . . . . . . 8. APNDICE MATEMTICO 8.1. El concepto de estructura . . . . . 8.1.1. Estructuras de primer orden 8.1.2. Estructuras de Bourbaki . . 8.2. El Argumento del Arbitraje . . . . .

. . . . .

. . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

CONTENIDO 8.3. 8.4. 8.5. 8.6. Correspondencias y puntos jos El teorema de la dualidad . . . El Teorema de Kuhn-Tucker . . Teora de la Probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

VII

176 179 183 188 189

REFERENCIAS

Captulo 1 EL MARCO FILOSFICO

1.1. Introduccin Este es un libro de economa losca si es que hay alguno, es decir, un libro que busca formular la teora econmica de una manera conciente de su estructura lgica, metodologa, y presupuestos loscos. 1.2. Introduccin losca general La realidad se revela a la experiencia humana ordinaria como teniendo varios aspectos, sectores, niveles o modalidades. Podemos distinguir entre otros un nivel fsico, uno biolgico y uno psquico: observamos, por ejemplo, que hay seres que exhiben propiedades fsicas pero no biolgicas, mientras que otras exhiben propiedades tanto fsicas como biolgicas, y otras ms exhiben los tres tipos de propiedades. Hay tambin un mbito cultural. Hay lenguages, instituciones jurdicas, obras de arte e iglesias, as como escuelas y empresas. Todos los lsofos han reconocido estos aspectos o modalidades al menos prima facie aunque no sea ms que para tratar de demostrar que algunos de ellos no son enteramente reales y han de ser reducidos a otros considerados como bsicos. Bunge (1967: 293), por ejemplo, arma que
una hiptesis ontolgica involucrada en la ciencia moderna y alentada por ella es que la realidad, tal y como nos es conocida hoy, no es un slido bloque homogneo sino que est dividida en varios niveles, o sectores, cada uno caracterizado por un conjunto de propiedades y leyes que le son propias. Los principales niveles reconocidos en la actualidad parecen ser el fsico, el biolgico, el psicolgico, y los socioculturales. Cada uno de stos puede a su vez ser dividido en subniveles. Por ejemplo, los principales subniveles del nivel fsico son los niveles fsico propiamente dicho y qumico, y los principales subniveles del nivel sociocultural son el econmico, el social,

TEORA ECONMICA

y los subniveles culturales. Divisiones ms nas pueden ser introducidas y ninguna es rgida ni est delineada claramente.

Estos niveles o sectores han sido llamados modalidades o aspectos de la experiencia por el lsofo neerlands Herman Dooyeweerd quien incluye, aparte de los mencionados por Bunge, ms abajo los niveles o modalidades aritmtico, espacial y cinemtico; y ms arriba la modalidad lgica y sobre sta, en el nivel cultural, incluye las modalidades histrica o cultural propiamente dicha, la lingual, la social, la econmica, la esttica, la diqutica, la tica y la fdica (Dooyeweerd 1984a: 1). Vase el Cuadro 1.1.
Modalidades o aspectos de la experiencia
Aspectos 1 Aritmtico (numrico) 2 espacial 3 cinemtico 4 fsico 5 bitico 6 sensitivo (squico) 7 lgico 8 histrico 9 lingual 10 social 11 econmico 12 esttico 13 diqutico 14 tico 15 fdico Signicados nucleares cantidad discreta (nmero) extensin movimiento (locomocin) energa vitalidad (vida) sentimiento, percepcin sensorial distincin analtica poder formativo signicado simblico relaciones sociales frugalidad en el manejo de bienes escasos armona retribucin (recompensa) amor en las relaciones temporales fe, rme seguridad

Cuadro 1.1: Las modalidades o aspectos de la experiencia. Una ciencia especial es una disciplina que ve los objetos de la experiencia desde el punto de vista de uno de estos aspectos o niveles. Por ejemplo, la fsica estudia los cuerpos desde el punto de vista de la fuerza y la energa, mientras que la biologa los ve desde el punto de vista de la vida orgnica. Se puede plantear la pregunta: Cul es el punto de vista de una ciencia pura de la economa?

EL MARCO FILOSFICO

1.2.1. El punto de vista de la economa pura Una caracterizacin clsica del punto de vista de la economa es la siguiente:
el modo frugal o ahorrativo de administrar bienes escasos, implicando una eleccin alternativa de su destino con respecto a la satisfaccin de las diferentes necesidades humanas ( Dooyeweerd 1984b: 66.)

Este enunciado intenta capturar la sustancia de lo que signica ser econmico. Pienso que su intuicin es muy profunda, desde luego, y que se halla en completo acuerdo con la concepcin prevaleciente de lo econmico como la desarrollara Lionel Robbins en un inuyente libro escrito en 1932 (Robbins 1984). En primer lugar, Robbins distingue una concepcin clasicatoria de la economa de una analtica. Una concepcin analtica
no intenta sealar ciertos tipos de conducta, sino que enfoca su atencin en un aspecto particular de la conducta, la forma impuesta por la escasez. Se sigue de esto, por lo tanto, que, en tanto que presenta este aspecto, cualquier tipo de comportamiento humano cae bajo el alcance de las generalizaciones econmicas ( Robbins 1984: 16-7) .

No obstante, la concepcin analtica debe ser complementada con una clasicatoria porque algunas conductas especcamente algunas formas de conducta u organizaciones sociales pueden ser vistas como cualicadas por leyes econmicas, lo que signica que son de un tipo econmico, aunque esto no es decir que no exhiban propiedades de otras modalidades. Llamar conducta tpicamente econmica a cualquier conducta cualicada por leyes econmicas. As, hay muchos casos de conducta econmica pero no toda conducta es tpicamente econmica. El anlisis lgico de esta denicin del punto de vista econmico compartida por Dooyeweerd y Robbins exhibe claramente cuatro componentes en el aspecto econmico de cualquier comportamiento econmico: (C1) Las necesidades o nes humanos tienen diferente importancia para el agente. (C2) Los recursos o medios disponibles para satisfacer las necesidades o alcanzar los nes son escasos. (C3) Los medios o recursos son susceptibles de aplicacin alternativa y pueden ser usados para satisfacer cualquiera de las necesidades o alcanzar cualquiera de los nes, pero no todos ellos al mismo tiempo.

TEORA ECONMICA

(C4) Una eleccin frugal o eciente en su aplicacin, buscando satisfacer tantas necesidades y alcanzar tantos nes como sea posible, empezando con aquellos que son considerados como ms importantes por el agente. La presencia de las condiciones (C1)-(C4) hace que algunas acciones humanas tengan un aspecto econmico:
cuando el tiempo y los medios para alcanzar los nes son limitados y susceptibles de aplicacin alternativa, y los nes pueden ser distinguidos en orden de importancia, entonces la conducta asume necesariamente la forma de eleccin. Todo acto que involucre al tiempo y a medios escasos para alcanzar un n involucra la renuncia de su uso para alcanzar otro. Tiene un aspecto econmico ( ibdem: 14) .

Se sigue que un habitante de Jauja no puede exhibir conducta econmica. Ciertamente, tal agente podra tener necesidades y nes, pero no hay escasez y por lo tanto no tiene que economizar, i.e. hacer uso eciente de los recursos disponibles para satisfacer esas necesidades o alcanzar esos nes. Hay muchas situaciones en la vida real en las que hay abundancia de algn factor de modo que el agente no piensa que tenga que hacer un uso eciente del mismo. De un agente que se conduce de acuerdo con (C4) se dice que es racional. La referencia de los trminos necesidad humana o n humano es relativa, en el sentido de que vara de una situacin a otra y tambin de un agente a otro. No obstante, puede considerarse como jo cuando se est analizando una conducta econmica concreta particular. Estas necesidades y nes estn reejados en las preferencias del agente. Por ejemplo, si al preguntarle a un agente dice que preere frijoles a perfumes y ms an pudiendo comprar los segundos de hecho adquiere los primeros, podemos colegir que siente ms necesidad de comer que de oler bien. Ejemplos como ste, los cuales abundan, dejan en claro que el concepto de preferencia es inevitable, natural y til para caracterizar el concepto de necesidad o n humano: todo el tiempo podemos vernos a nosotros mismos o a otros preriendo algunas cosas a otras. Esto no signica, sin embargo, que las preferencias sean necesariamente racionales ( i.e. conectadas y transitivas); solamente que el concepto es ampliamente aplicable y desde luego imprescindible cuando se trata de describir la conducta econmica. El concepto de recursos escasos, por otra parte, es relativo a los nes propuestos o a las necesidades dadas. No hay recursos escasos en s mismos, sino slo con respecto a cierto propsito o necesidad. Y los nes pueden tambin entrar en conicto entre s, en el sentido de que alcanzar un n puede evitar

EL MARCO FILOSFICO

Figura 1.1: Cuadro de Pieter Brueghel de 1567, titulado En Jauja. Recrea Jauja como un paraso culinario sin precedentes, donde unos hombres se toman su siestecita despus de haberse pegado un atracn; se puede ver que los animales vienen autopreparados para comerse: el cerdo con el cuchillo ya clavado, el ganso en un plato listo para comer, los setos son salchichas o las casas tienen tejados de riqusimas tortas.

que se alcance otro. Cuando no son incompatibles, y los recursos disponibles a un agente son sucientes para alcanzar todos sus nes y satisfacer todas sus necesidades, no hay problema de escasez, pero entonces tampoco hay problema econmico. La escasez fuerza al agente a ordenar sus nes y a hacer un uso eciente de recursos, pues de esta forma puede alcanzar la realizacin de ms nes. En otras palabras, el agente es forzado a producir ordenamientos por preferencia de sus nes y a hacer un uso ptimo (o bueno) de los recursos para alcanzar tantos nes y satisfacer tantas necesidades como sea posible con los recursos disponibles. Elegir los nes ms preferidos, o las necesidades ms urgentes, es llamado maximizacin de la preferencia en la literatura. 1.3. Entidades econmicamente cualicadas An cuando prcticamente toda conducta humana exhibe un aspecto econmico, no toda conducta humana es tpicamente econmica. Est claro que el hecho de que una iglesia, una escuela o una familia, por ejemplo, tenga una contabilidad interna y haga uso eciente de los recursos, no hace que esas organizaciones sean tpicamente econmicas. Por otro lado, parece que una empre-

TEORA ECONMICA

sa, el banco central de un pas o un mercado de valores como Wall Street son, efectivamente, organizaciones econmicamente cualicadas. La pregunta es esta: Cul es el criterio para clasicar algunos procesos, conductas o instituciones como tpicamente econmicas? La clave para encontrar este criterio es el concepto de relacin de escasez. Es aparente que una organizacin social es tpicamente econmica syss su existencia sera innecesaria si no hubiese escasez. Es decir, una organizacin tpicamente econmica es una cuya misma razn de ser es confrontar un problema de escasez. Podemos imaginar una sociedad sin escasez en la que hay empresas o recoleccin de impuestos? Parece claro que la respuesta es negativa: la escasez requiere la constitucin de organizaciones y relaciones sociales dedicadas a confrontarla. Podemos imaginar el Pas de Jauja (vase la Figura 1.1) fantasioso lugar llamado Land of Cockaigne por los angloparlantes y Schlaraffenland por los germanos como una sociedad con nes establecidos en una cultura, en instituciones sociales como familias, comunidades de culto o escuelas, que no requiere ms insumos que las materias brutas a mano para alcanzar estos nes, reproducir su modo de vida y permitir dormir largas siestas. Claramente, la produccin o la distribucin no seran necesarias en esta sociedad ciertamente rudimentaria y elemental. Tanto las empresas como los comerciantes seran innecesarios. Generalizando este experimento mental, podemos caracterizar como relacin de escasez a cualquier relacin social cuyo n sea responder a un problema de escasez. El intercambio, por ejemplo, es una relacin social de este tipo. Si un individuo o una organizacin tuviera a mano todos los recursos que necesita, nunca tendra que intercambiar bienes. Si los individuos o las organizaciones no fueran ambiciosos, vivieran en Jauja y se conformaran con tomar diariamente lo que se encuentra al alcance de su mano para subsistir, no sufriran escasez y los procesos y organizaciones que el lenguaje ordinario clasica como econmicos, precisamente aquellos que tienen que ver con la produccin y la distribucin, seran innecesarios. La escasez oscila entre dos cotas. Una cota inferior, la cual es el mnimo nivel de consumo que permite la supervivencia y la reproduccin de la cultura (no importa cun elemental); y una cota superior, determinada por la naturaleza y las capacidades humanas. Dentro de estos lmites, la escasez se dene por los nes adoptados por los individuos y la sociedad. A cierto tipo de nes y organizacin social corresponde cierto tipo de necesidades y, dentro de este sistema, algunas cosas aparecern como escasas a algunos miembros de la sociedad.

EL MARCO FILOSFICO

Como conclusin, parece claro que tpicamente econmicas son aquellas relaciones, procesos u organizaciones sociales, que seran innecesarios si no hubiera escasez. El objeto de la economa puede ser delimitado, as, como las relaciones, procesos u organizaciones sociales impuestas por la escasez, desde el punto de vista del uso eciente de recursos. Todas las escuelas de pensamiento econmico intentan producir explicaciones sistemticas de las operaciones de tales procesos, relaciones y organizaciones sociales, as como caracterizar en trminos generales la naturaleza de la eleccin racional en el sentido de (C4). Las escuelas que ponen ms nfasis en la eleccin racional usualmente emplean nociones y tcnicas matemticas ms abstractas el mtodo axiomtico y se caracterizan por tratar con objetos altamente idealizados. Pero, para hacer eso, todas las escuelas producen teoras que acuden a la abstraccin y la idealizacin en alguna medida. 1.4. Abstraccin e idealizacin Al menos algunas facetas de la experiencia ordinaria, pretorica, deben ser distinguidas de las interpretaciones que los humanos hacen de ellas, siempre dentro del marco de una cosmovisin (religiosamente orientada). Tomo como evidente que todos los hombres, en todos los tiempos, sin importar su religin y cultura, son concientes no de sense-data en el sentido empirista, sino de propiedades reales de entes reales con los cuales, ms an, tienen que interactuar para poder sobrevivir. Puede el lector imaginar, por ejemplo, una tribu en la que ningn individuo ( i.e. unidad psicofsica de accin con capacidades racionales) tiene alguna idea de qu yerbas y animales son comestibles y cules no? O un clan en guerra que no puede distinguir las piedras de los palos? Est muy claro que ningn grupo humano tal podra sobrevivir. ste es un argumento evolucionista en contra de un implausible escepticismo (o relativismo cultural) de moda que est siendo propugnado por algunos lsofos en la actualidad: todos los grupos humanos comparten un cierto conjunto de conceptos universales que les permiten sobrevivir en un ambiente (la naturaleza) que seguramente no est cortado a la medida de sus deseos o conceptos previamente excogitados. La universalidad de estos conceptos tambin hace posible la comunicacin entre culturas distantes en el espacio y el tiempo, as como en sus contenidos. Algunos lsofos relativistas han sugerido que la quididad de una cosa es relativa al marco conceptual dentro del cual es concebida. Un ejemplo tpico es el de los indgenas americanos que pensaron que los jinetes espaoles junto con sus monturas eran centauros. De acuerdo con los relativistas, no hay una ver-

TEORA ECONMICA

dad aqu que debiera ser reconocida por todos: los jinetes con su montura eran centauros para los indgenas, eran jinetes con su montura para los europeos, y ambas perspectivas son inconmensurables, de modo que no hay un fact of the matter involucrado en lo absoluto. Pero sta es una doctrina (incoherente) que destruye no solamente la posibilidad de comunicacin entre culturas diferentes y es simplemente un hecho que esa comunicacin ha tenido lugar y sigue tenindolo todo el tiempo sino la misma nocin de verdad. Las cosas con sus propiedades no son entidades abstractas y son experimentadas en su plena integridad no meramente en la contemplacin, sino sobre todo en el proceso de produccin, en la interaccin entre el hombre y sus medios de trabajo. Si no se acepta este hecho, es imposible entender los diferentes tipos de abstraccin; ms an la misma nocin de abstraccin. Hablar de abstraccin presupone que hay algo a ser abstrado y tambin un objeto a partir del cual este algo es abstrado. Una primera aproximacin a la abstraccin hace una distincin entre abstraccin baja y alta. La abstraccin baja consiste esencialmente en enfocar nuestra atencin en algunas partes o facetas de una situacin. Imagine unos cazadores buscando rocas losas para cortar carne. Mentalmente separarn las piedras de las cosas que las rodean y tambin los extremos losos de otras conguraciones exhibidas por las piedras. Por supuesto, enfocarse en las piedras no es lo mismo que apilarlas en un montn. Una cosa es enfocarse en las piedras ( i.e. verlas como el nico tipo relevante de cosa en un sistema material para un propsito humano dado), y muy otra separarlas fsicamente de su entorno original. La experimentacin no slo separa fsicamente las cosas de su entorno original, sino que las ubica bajo situaciones controladas, aislndolas de factores causales que son considerados relevantes al fenmeno bajo estudio. El primer tipo de operacin, el cual de alguna manera asla las piedras o algunas de sus propiedades no prestando atencin a su medio ambiente, es llamado aislamiento intelectual. La segunda operacin es llamada aislamiento material. As, la primera distincin fundamental es la que hay entre aislamiento material y aislamiento intelectual. El aislamiento material es la operacin de poner un sistema material (una roca, una planta, un virus, una sustancia qumica) fuera del alcance de ciertas causas que suelen actuar sobre ella. El aislamiento intelectual, en cambio, es una operacin enteramente mental que se enfoca sobre ciertas cosas, propiedades o relaciones, sin por ello aislar materialmente tales cosas, propiedades o relaciones. Un aislamiento intelectual que se enfoca en la naturaleza de una cosa, en alguna de sus propiedades o en alguna relacin de la misma con otras cosas, pero sigue viendo la naturaleza, la propiedad o la relacin como la naturaleza de la cosa, su propiedad, o la relacin de ella con

EL MARCO FILOSFICO

otras cosas, ser llamada abstraccin baja. Si separa la naturaleza, la propiedad o la relacin de esta cosa o cosas para dar lugar a un concepto universal capaz de ser ejemplicado por diferentes entes, ser llamada abstraccin alta o abstraccin teortica. As, la abstraccin teortica es solamente un tipo de abstraccin intelectual. Es posible moverse de la abstraccin baja a la alta y viceversa. Si salto de considerar mi navaja a considerar el universal navaja, entonces me estoy moviendo a otro nivel de abstraccin, una de carcter teortico (alto). Este tipo de abstraccin es llamado abstraccin vertical. A esta operacin corresponde una suerte de operacin inversa llamada aplicacin, la cual consiste en moverse de la abstraccin alta a la baja, aplicando el concepto universal a uno de sus ejemplos particulares, como cuando nos movemos del universal navaja a esta navaja particular vindola como un caso de aquel universal. Pero hay tambin un tipo de abstraccin y correspondiente inversa dentro del mismo nivel de abstraccin. Suponga que, en una primera operacin intelectual, es aislada la navaja en mi bolsillo, de modo que enfoco mi atencin a la navaja en mi bolsillo. Y suponga, ms an, que en una segunda operacin dejo de considerar mi bolsillo y considero slo la navaja. Claramente, el resultado de esta segunda operacin se halla en el mismo nivel de abstraccin que la primera (ambas son bajas). Si, como resultado de este tipo de aislamiento horizontal, formulo un enunciado exacto acerca de la misma navaja ( e.g. el mango de la navaja es de hueso), el resultado es una asercin verdadera que deja de mencionar muchas cosas acerca de la navaja ( e.g. que est en mi bolsillo), de manera que viola toda la verdad, lo que es decir que no contiene ni implica todas las aserciones verdaderas acerca de la navaja: las omite. No obstante, puesto que lo que asevera no es una distorsin de la realidad, se dice que no viola nada ms que la verdad. La operacin de retomar los tems omitidos en la primera es llamada sntesis horizontal. El anlisis de conceptos teorticos se puede ver como aislamiento horizontal en el nivel alto y su reunicacin como sntesis horizontal. Esto sugiere que es inevitable una doble distincin, a saber, entre el aislamiento horizontal y el vertical. El aislamiento horizontal ocurre cuando tanto el punto de partida como el de llegada se hallan en el mismo nivel de abstraccin (ambos en el bajo o ambos en el alto). El aislamiento vertical ocurre cuando nos movemos de la abstraccin baja a la alta. La sntesis horizontal y la vertical son, respectivamente, las operaciones inversas. Pero el aislamiento horizontal puede tener lugar tambin y esto es ms interesante desde un punto de vista metaterico mediante suposiciones idea-

10

TEORA ECONMICA

lizadoras. Pues hay dos tipos de aislamiento horizontal. El del ejemplo, basado en meras omisiones, es muy comn. Un segundo tipo opera sobre abstracciones altas y consiste en aislar el universal mediante suposiciones idealizadoras explcitamente formuladas. La expresin verbal de este aislamiento termina produciendo condicionales contrafcticos que estipulan qu sucedera si los poderes del universal aislado estuvieran operando en diferentes conjuntos de condiciones. Por ejemplo, en una primera operacin se abstrae la naturaleza del movimiento y luego se observan casos particulares de movimiento relativamente no forzado (inercial). Ahora bien, es posible experimentar casos particulares de movimiento relativamente no forzado, pero nunca un caso de un cuerpo no sujeto a ninguna fuerza en lo absoluto. Decir que un cuerpo no sujeto a fuerza alguna se mover de cierto modo ( e.g. de manera rectilnea y uniforme) es un enunciado acerca del movimiento inercial, aunque quiz nunca en la historia de la humanidad llegue a encontrarse alguien en posicin para vericarlo directamente (incluso si el espacio fuera absoluto, como pensaba Newton). La Primera Ley de Newton es un ejemplo de un enunciado tal. Mki (1994) distingue entre dos tipos de suposiciones idealizadoras: idealizaciones nulicadoras e idealizaciones estabilizadoras. Las suposiciones nulicadoras expresan que no opera un cierto factor que suele encontrarse presente afectando los poderes del universal aislado. Si p( x ) es el grado en que el factor p se halla presente en x , se puede expresar una suposicin nulicadora mediante la 0. Una suposicin estabilizadora expresa que la tasa de cambio forma p( x ) ( x ) 0. Otro tipo de idealizadel factor p en x est nulicado, y tiene la forma p cin es la mitologizacin. Mientras que una suposicin nulicadora asevera que el grado en que un cierto factor usualmente presente en una cierta entidad es nulo, la mitologizacin asevera que el factor alcanza su mximo en un objeto dado ( e.g. que un cierto cuerpo es perfectamente opaco). La mitologizacin es un procedimiento muy comn en la teora econmica. Por ejemplo, atribuir a un agente econmico poderes computacionales ilimitados o memoria perfecta son casos de esta operacin intelectual. 1.5. Objetos ideales Un objeto ideal es un constructo construido para satisfacer plenamente una descripcin idealizada de algn objeto preterico. Considere, por ejemplo, el problema de proveer una explicacin general del valor de cambio en una economa de libre mercado. Para ello es necesario pensar en los seres humanos como agentes que actan racionalmente en el sentido de (C4). Pero stos son

EL MARCO FILOSFICO

11

personas que como tales no tienen informacin perfecta, no tienen memoria perfecta, carecen de poderes computacionales ilimitados, y tal vez sus preferencias ni siquiera sean racionales (transitivas y conectadas). Ms an, ellos consideran, para decidir qu comprar, slo unos cuantos de los tipos de bienes que encuentran en el mercado, bienes que son nitos, discretos y usualmente indivisibles. No obstante, para proveer una teora general del valor de cambio, se requiere utilizar el mtodo matemtico, lo cual a su vez hace necesario realizar mitologizaciones (idealizaciones) para denir conceptos de tipos ideales en trminos de los cuales es posible encauzar el razonamiento matemtico. Es as como el objeto ideal agente econmico racional hace su entrada al escenario de la teora econmica, como sujeto de atribucin de ciertas propiedades que los humanos exhiben en su comportamiento econmico, si bien sindole atribuidas versiones mitologizadas o idealizadas de dichas propiedades. Para usar el lenguaje del Marx de El mtodo de la economa poltica (Marx 1974: 632), partiendo de conceptos abstractos idealizados ( abstrakten) se crea en el camino del pensamiento ( im Weg des Denkens) un agente ideal como concentracin de mltiples determinaciones ( Zussamenfassung vieler Bestimmungen), como unidad de lo diverso ( Einheit des Mannigfaltigen). Este objeto no es concreto en el sentido de que sea real (claramente, Marx jams hubiera aceptado que lo real se crea im Weg des Denkens), sino en el sentido de que pretende ser una representacin de un sistema real: es una reproduccin espiritual ( geistig) de lo concreto. Es as como se crea un agente ideal que tiene informacin perfecta, memoria perfecta, poderes computacionales ilimitados y ordenamientos de preferencias perfectamente consistentes que pueden ser representados por funciones de utilidad diferenciables sobre espacios continuos de bienes innitamente divisibles. Los axiomas de la teora que describe a este agente pueden ser vistos como exactamente verdaderos de tal agente de modo que, si se toma dicha teora como meramente tratando con tal objeto ideal, no surge absolutamente ningn problema epistemolgico. Pero, desde luego, las teoras econmicas no han sido producidas con el propsito de contemplar objetos ideales. Ms bien, la creacin de tales objetos es solamente un paso hacia el estudio de los fenmenos econmicos reales. Como lo dijera Walras (1954: 71):
el mtodo matemtico no es un mtodo experimental; es un mtodo racional . . . la ciencia pura de la economa debiera entonces abstraer y denir conceptos de tipos ideales en trminos de los cuales conducir su razonamiento. El retorno a la realidad no debiera tener lugar hasta que la ciencia sea completada y entonces solamente con vista en las aplicaciones prcticas.

12

TEORA ECONMICA

Mucho de la produccin en la losofa y metodologa de la economa hoy en da tiene que ver con si el problema del retorno a la realidad tiene solucin y, si la tiene, cul es. Las diferentes perspectivas sobre este asunto reejan las diferencias entre las divergentes escuelas de epistemologa. 1.6. Concepciones epistemolgicas En uno de los artculos seminales ms importantes en la epistemologa de la economa,1 Milton Friedman (1953) defendi la concepcin aparentemente descabellada de que contener suposiciones falsas no es un vicio sino una virtud de las teoras econmicas:
Se encontrar que las hiptesis verdaderamente importantes y signicativas tienen supuestos que son representaciones salvajemente inexactas de la realidad y, en general, entre ms signicativa la teora, ms irrealistas sern los supuestos ( en este sentido) ( Friedman 1953: 14) .

Samuelson (1963: 231) llam a esta concepcin the F-Twist (la TorceduraF) y, tratando de disociarla del nombre de Friedman con la esperanza de que fuese una mala interpretacin de las intenciones de ste, la reformul en los siguientes trminos:
Una teora es reivindicable si ( algunas de) sus consecuencias son empricamente vlidas dentro de un grado til de aproximacin; el irrealismo ( emprico) de la teora misma, o de sus supuestos, es muy irrelevante a su validez y valor ( ibdem: 232) .

Samuelson encuentra que esta tesis es insostenible pero, como Rosenberg (2001: 187) ha sealado,
Una teora que sistematiza las observaciones sobre la base de supuestos que son factualmente falsos no es por s misma problemtica. La mecnica newtoniana provee un buen ejemplo de tal teora. La teora incorpora un gran nmero de idealizaciones y abstracciones desde planos sin friccin hasta masas puntuales acerca de cuya inexistencia no parece haber ninguna duda. Pero la aproximacin a los objetos y procesos fsicos de estas abstracciones es lo sucientemente cercana como para hacer que la teora que los emplea no sea predictivamente problemtica.

No obstante, agrega Rosenberg

sabemos que las aserciones de la teora de la conducta del consumidor y la teora de la empresa son factualmente falsas y ni siquiera aproximadamente
1

Para una discusin muy actual de las tesis de Friedman contenidas en este artculo, vase Mki(en

prensa).

EL MARCO FILOSFICO

13

correctas para el vasto rango de elecciones que la gente hace en el tiempo en el mundo real. Lo que es inclusive ms importante, la asercin de que las teoras del consumidor y de la empresa en realidad sistematizan datos es, para decir lo menos, altamente controversial ( bidem) .

Puesto que la crtica de Rosenberg puede extenderse a casi cualquier teora econmica, parece que el propuesto retorno a la realidad de Walras es problemtico. En cualquier caso, la cuestin de si una teora dada sistematiza ciertos datos es pragmtica y emprica. Hay bsicamente dos concepciones acerca del modo en que los axiomas que denen una teora econmica un objeto ideal pueden utilizarse para hacer aserciones empricas: la Concepcin Enunciativista de las teoras ( CEN) y la Concepcin Estructuralista ( CES). Para jar ideas (lo que voy a decir se aplica tambin a otras teoras como la Teora del Valor de Marx o la Economa Evolucionista) considere la Teora de la Eleccin del Consumidor bajo Certeza ( TECC) como la formula Stigum (1990: 181). H1 Un haz de mercancas es un vector no negativo L-dimensional x de nmeros reales. H2 Un precio (sistema de precios) es un vector positivo L-dimensional p de nmeros reales. H3 Un consumidor es un triple X w u , donde X es el conjunto de los haces de mercancas; w , el ingreso del consumidor, es un nmero positivo; y u , la funcin de utilidad, es una funcin de X en el conjunto de los nmeros reales no negativos. H4 Una cesta de consumo es un vector no negativo L-dimensional c de nmeros reales que, para algn par ( p w ), satisface las siguientes condiciones: (i) c es un haz de mercancas; (ii) el costo monetario total de L c en trminos del sistema de precios p, pc l 1 pl cl , es menor o igual que w ; y (iii) u ( c) u ( x) para todo x cuyo costo monetario sea menor o igual que el de c.

H5 El conjunto X de haces de mercancas es el ortante no negativo espacio euclideano RL .

del

H6 u es continua, estrictamente creciente, estrictamente cuasicncava, y tiene conjuntos de nivel diferenciables en la frontera de , con excepcin de 0.

14

TEORA ECONMICA

A pesar del uso de trminos econmicos familiares, los axiomas H1-H6 no estn haciendo ninguna asercin emprica. Para producir una asercin emprica por medio de ellos, uno necesita estipular una particular interpretacin emprica de los trminos y no slo eso, sino tambin aplicar de alguna manera los axiomas a algn agente real. Desde luego, los consumidores no son triples de objetos matemticos, aunque tal vez algunas de sus caractersticas puedan ser verdaderamente representadas por algunos de ellos. Por ejemplo, si un consumidor tiene una cierta cantidad de pesos w como renta disponible para comprar, entonces el nmero w puede ciertamente representar esa cantidad. Pero usar un conjunto como X especialmente teniendo presente el axioma H5 para representar el conjunto de todos los haces de mercancas disponibles en un determinado momento a un consumidor dado es ms controversial. Para comenzar, al decir que es el conjunto de todos los haces de mercancas disponibles a un consumidor, estamos de hecho aseverando que hay cantidades arbitrariamente grandes de mercancas y que las mercancas son innitamente divisibles. Decir que u representa el orden de preferencias de un consumidor es decir que el ordenamiento de preferencias del consumidor tiene propiedades muy especiales, a saber, que por lo menos son conectadas y transitivas sobre X . No obstante, el axioma H6 si se supone como verdadero de un agente implcitamente hace dos aseveraciones sustanciales adicionales acerca de las preferencias del agente. La estipulacin de que u sea continua signica que a pequeos cambios en los vectores de mercancas corresponden pequeos cambios en las correspondientes preferencias, una aseveracin que parece ser ms o menos verdadera de los consumidores en general. La condicin de que u sea estrictamente creciente implcitamente atribuye insaciedad al consumidor, i.e. que siempre preere un haz que contiene ms mercancas a uno que contiene menos. Si se supone que el conjunto X es no acotado, ello equivale a aseverar implcitamente que el consumidor sufre de gula innita, una asercin que presupone que los hombres pueden sentir gula de cosas como un conjunto arbitrariamente grande de Mercedes Benz del cual se puede demostrar (con bases fsicas) que no puede existir jams. La cuasiconcavidad estricta de u arma que la utilidad de una combinacin convexa de haces de mercancas es siempre estrictamente mayor que aquel haz de la combinacin que tiene una utilidad menor. Esta armacin, junto con la de que u tiene conjuntos de nivel diferenciables, implica que la funcin de utilidad es diferenciable y que la cesta de consumo es nica para cada sistema de precios, un paso requerido en la demostracin del Teorema Fundamental de la Eleccin del Consumidor, cuyo sentido es que cualquier mercanca de la que se sepa que incrementa

EL MARCO FILOSFICO

15

siempre su demanda cuando slo se eleva el ingreso debe denitivamente encoger su demanda cuando slo se eleva su precio (Samuelson 1953). Obsrvese que si el axioma H4 es acoplado con el enunciado adicional de que el consumidor bajo escrutinio siempre escoge una cesta de consumo entonces terminamos atribuyendo racionalidad al consumidor. Pero ntese tambin que ninguno de los axiomas dice, de ningn agente real, que est escogiendo alguna cesta de consumo o ni siquiera algn haz de mercancas. Debe haber una estipulacin adicional que relacione los trminos de la TECC con algn agente humano real para poder hacer una asercin emprica por medio de ellos. Una manera de hacer esto es decir algo as como convengamos que X w u representa al consumidor Juan Prez y supongamos que Juan Prez siempre escoge una cesta de consumo. sta es una manera indirecta de atribuir al Sr. Prez todas las propiedades contenidas en la interpretacin de los axiomas hecha en el prrafo anterior. Entonces aquellos que se adhieren a la CEN diran que el deber de un buen cientco es tratar de refutar algunos o todos los axiomas derivando consecuencias observables de los mismos y mostrando que esas consecuencias son de hecho falsas del Sr. Prez. Por ejemplo, si se observa que siempre que aumenta el ingreso del Sr. Prez tambin aumenta su demanda de una cierta mercanca, la tarea del economista es tratar de mostrar que la demanda de esa mercanca aumenta o se mantiene igual cuando slo se eleva su precio. Esto refutara el Teorema Fundamental de la Eleccin del Consumidor y forzara algunos cambios en H1-H6. La CEN est usualmente asociada a la Escuela Popperiana de losofa de la ciencia. Representantes importantes de esta escuela en la economa son Mark Blaug (1992) y Terence Hutchison (1938) (vase tambin De Marchi (1988) y Caldwell (1991)). El problema con esta concepcin ha sido claramente expresado por Hausman (1998):
Aplicar las concepciones de Popper sobre la falsicacin sera destructivo. No solamente las teoras neoclsicas, sino todas las teoras conocidas y probablemente todas las imaginables, seran condenadas como acientcas, y no habra manera de discriminar entre teoras econmicas. Un problema principal es que no se pueden derivar implicaciones contrastables de las teoras por s mismas. Para derivar implicaciones contrastables se necesitan tambin suposiciones subsidiarias o hiptesis concernientes a las distribuciones, los artefactos de medicin, los representantes de las variables no mensurables, la ausencia de varias interferencias, y as consecutivamente [ ste es el as llamado Problema de Quine-Duhem] . Estos problemas surgen generalmente

16

TEORA ECONMICA

y Popper propone que sean resueltos por la decisin metodolgica de considerar una falla de la deducida implicacin contrastable como una falla de la teora. Pero en la economa las suposiciones subsidiarias son extremadamente inciertas y se sabe que en muchos casos son falsas. Tomar la decisin metodolgica que Popper requiere no es razonable y conducira al rechazo de todas las teoras econmicas.

Lakatos (1970) subray que el cambio en los axiomas forzado por una refutacin debe ser progresivo en el sentido de tener implicaciones contrastables adicionales, que no sean puramente ad hoc, y que sean conrmadas. Lakatos arm que las teoras cientcas tienen un ncleo duro que nunca es rechazado ante la evidencia negativa: lo que se modica es el cinturn protector que rodea a ese ncleo. Por ejemplo, algo as como las condiciones (C1)-(C4) constituyen el ncleo duro de la Economa Neoclsica. Estas condiciones son obviamente verdaderas y son irrefutables. Los problemas empiezan cuando tratamos de medir las magnitudes y propiedades a las que se reeren aquellas condiciones o hacemos aseveraciones teorticas sustanciales acerca de ellas. Para tener una idea de estos problemas, considere por ejemplo el intento de representar el ordenamiento de necesidades y nes mediante una funcin de utilidad. Por lo menos, esto requiere que tal ordenamiento sea regular, i.e. una relacin de preferencia conectada y transitiva. Pero puede ser empricamente falso al menos en algunos casos que el ordenamiento satisfaga estos requerimientos. En tales casos, lo que queda refutado es la regularidad del ordenamiento, no su existencia. Otra concepcin de las teoras econmicas y su metodologa es la contenida en Morgan y Morrison (1999), donde los modelos son descritos como autnomos, en el sentido de que funcionan de un modo que es parcialmente independiente de la teora y en muchos casos son construidos con una mnima recurrencia a una teora de nivel alto (Morrison 1999: 43). No obstante, dados los ejemplos econmicos propuestos all (Boumans 1999), por modelo entienden un conjunto de ecuaciones sugeridas por nociones tericas, concepciones polticas, matematizaciones, metforas, datos empricos y hechos. Pero est claro que este sentido de modelo es algo parecido a lo que la CEN llama teora. Uno de estos modelos (una teora T ) puede ser independiente de cierta teora anloga T , aun cuando est sugerida por sta, pero entonces no constituye una aplicacin de T porque ninguna aplicacin de T puede se construida sin presuponer la verdad, al menos, de la ley fundamental de T . El ejemplo de la TECC, cuya forma cannica de aplicacin se analizar en el captulo dedicado a la eleccin del consumidor, pone en claro que tal presuposicin no implica

EL MARCO FILOSFICO

17

que las estructuras que de hecho codican las aplicaciones de una teora sean, en ningn sentido, derivadas de la teora, an cuando la teora desde luego se usa para construirlas. As, Morgan y Morrison (1999) parecen estar caracterizando las construcciones de modelos como construccin de teoras que de alguna manera se desvan de teoras previamente existentes; i.e. como una especie de ciencia (mini) revolucionaria en el sentido de Kuhn (1970). Pero entonces el problema de Walras surge nuevamente, naturalmente, con respecto a estas nuevas teoras, a menos que las mismas nazcan con una sola aplicacin y estn condenadas a tener solamente esa aplicacin. Una visin ms de las teoras econmicas y su metodologa es la de McCloskey (1985). De acuerdo con la concepcin de McCloskey, los nicos criterios relevantes para evaluar las prcticas y productos de una disciplina son los que aceptan sus practicantes. sta es una concepcin que llama a poner atencin a la retrica de los practicantes e intenta descartar concepciones loscas a priori que pretenden juzgar la prctica de los tericos de la economa desde fuera tratando de imponerles criterios ajenos de racionalidad y cienticidad. sta es, desde luego, una saludable amonestacin: toda concepcin metaterica debe prestar atencin a los mtodos efectivamente usados por los practicantes. No obstante, sera ignorar dicha amonestacin aseverar a priori que los mtodos utilizados por los practicantes de una disciplina econmica no pueden coincidir con los utilizados por los de otra. Para tratar la falta de realismo emprico de las teoras econmicas, la CES slo requiere que sea suciente aplicarlas de modo aproximado. En contraste con la CEN, la CES ha elaborado y formulado con claridad una doctrina natural de aplicacin aproximada. Para dar una idea de la explicacin estructuralista de aplicacin aproximada, es importante distinguir la estructura matemtica de la teora de sus interpretaciones empricas, aun cuando una reconstruccin correcta del contenido de una teora econmica en un punto del tiempo debe tomar en cuenta y describir apropiadamente dichas interpretaciones. As, el mtodo estructuralista de axiomatizacin empieza por clasicar los trminos usados en las formulaciones tpicas de la teora en primitivos y denidos. En el caso de la TECC, los trminos usados son haz de mercancas, sistema de precios, consumidor, renta del consumidor, funcin de utilidad, cesta de consumo y costo monetario total de la cesta de consumo. En su uso ordinario, estos trminos se reeren a objetos de la vida cotidiana, pero los trminos tambin pueden recibir sentidos semnticamente relacionados y en cualquier caso poseen un aspecto logicomatemtico. La axiomatizacin debe concentrarse en este aspecto. En general, se puede defender que (fuera del campo de la ontolo-

18

TEORA ECONMICA

ga general) los trminos tienen una extensin que puede ser representada como un conjunto o que es, llanamente, un conjunto. Los elementos de la extensin son aquellos entes que han cado, caen o caern bajo el concepto expresado por el trmino. Pero los cientcos usualmente consideran, cuando interpretan y aplican la teora a un caso particular, slo minsculas subextensiones parciales de los trminos. El punto es que en cualquier caso estas extensiones (o extensiones parciales) son siempre conjuntos. La naturaleza precisa de estos conjuntos es justamente lo que entiendo por el aspecto logicomatemtico de los trminos. Por ejemplo, el trmino haz de mercancas usualmente designa un men de bienes como una lata de frijoles, un kilo de tortillas y una caja de cereal. Pero, en el sentido en que el trmino es tomado por la teora, ms bien denota tal men indirectamente, puesto que denota directamente los elementos de un conjunto de vectores de nmeros. Naturalmente, las entradas del vector son nmeros que miden, de acuerdo con unidades de medida apropiadas como un kilo, una caja o una lata, posibles cantidades de los bienes. Las posiciones del vector representan convencionalmente los tipos de bienes que estn siendo considerados. Por ejemplo, se puede convenir que la cuarta coordenada de los vectores representa latas de frijoles, de modo que la presencia del nmero 5 en ese lugar indica 5 latas de frijoles. Pero la naturaleza logicomatemtica es propiamente dada cuando se especica que un haz de mercancas es un vector L-dimensional ( L entero positivo). Consideraciones similares se aplican a los otros trminos. La especicacin de la naturaleza logicomatemtica de un trmino se hace mediante un enunciado llamado caracterizacin. Una conjuncin de caracterizaciones dene un tipo de estructura matemtica, de modo que no es sino natural presentar esa conjuncin como deniendo ese tipo de estructura. Este tipo de estructura no es ms que la lista de las naturalezas logicomatemticas de los trminos y es llamada la clase de los modelos potenciales de la teora (denotada como Mp ). Continuando con nuestro ejemplo, un modelo potencial de la TECC es una estructura de la forma X P W u , tal que ( CH1) X es un subconjunto convexo del ortante no negativo de RL ; ( CH2) P es el interior del ortante de RL ; ( CH3) W es un intervalo de nmeros reales no negativos; ( CH4) es una funcin diferenciable de P W en X ;

( CH5) u es una funcin de X en el conjunto de los nmeros reales que es continua, estrictamente creciente, estrictamente cuasicncava, y tiene

EL MARCO FILOSFICO

19

conjuntos de nivel diferenciables en la frontera de X , con la excepcin de 0. En la interpretacin estndar de la teora, X es pensado como el conjunto de todos los haces de mercancas. P es el conjunto de todos los sistemas de precios, los cuales son vectores L-dimensionales cuyas coordenadas son positivas. W es la familia de todos los presupuestos posibles que puede tener un consumidor; usualmente se toma el conjunto de todos los nmeros reales positivos. es la funcin de demanda: ( p w ) es el haz de mercancas efectivamente elegido por el consumidor (en teora econmica se supone que este objeto es observable). u es la funcin de utilidad del consumidor. La estructura misma puede ser llamada un consumidor, al menos con esta interpretacin en mente. Est claro que no es un agente econmico real, sino una entidad abstracta que puede ser utilizada para hacer aserciones acerca de agentes reales. Una cesta de consumo para ( p w ) P W con respecto a u es denida como un vector no negativo L-dimensional c de nmeros reales que satisface las siguientes condiciones: (i) c es un haz de mercancas; (ii) el costo monetario L total de c en trminos del precio p, pc l 1 pl cl , es menor o igual que w ; y (iii) u ( c) u ( x) para todo x X cuyo costo monetario sea menor o igual que el de c. Los axiomas CH1-CH5 no son ms que estipulaciones que caracterizan los trminos que expresan las estructuras logicomatemticas de los correspondientes trminos econmicos o sus anlogos. Pero hasta este punto no se ha formulado ninguna ley econmica todava. Mediante el concepto de cesta de consumo tal ley puede ser formulada. La ley fundamental de TECC expresa que todas las elecciones efectivas del agente maximizan la funcin de utilidad u . Ms precisamente, esta ley puede ser expresada como sigue.

( CH6) Para todo ( p w ) P W , ( p w ) es una cesta de consumo para ( p w ) con respecto a u .

Las estructuras de la forma X P W u que satisfacen el axioma CH6 constituyen la clase de los modelos ( M) de TECC. La pregunta que surge ahora es esta: Cmo es posible hacer aserciones empricas mediante estructuras matemticas tan abstractas? Para responder esta pregunta necesitamos comprender con mayor amplitud la CES. 1.7. La Concepcin Estructuralista de las teoras La piedra angular de la CES es el concepto de estructura (vase el Apndice Matemtico). Esta nocin fue desarrollada principalmente por Bourbaki (1968)

20

TEORA ECONMICA

pero fue aplicada por primera vez a las ciencias empricas por Patrick Suppes. Algunas (por no decir que todas) las teoras cientcas empricas pueden ser axiomatizadas mediante la denicin de un predicado conjuntista. La CES es interesante porque contiene una doctrina precisa y manejable acerca de la conexin entre estructuras matemticas y datos y procesos empricos; tambin es aplicable a teoras no matematizadas y entonces nos dice algo acerca de la manera en que trminos o conceptos abstractos cualitativos se usan para explicar ciertos fenmenos. Con el objeto de motivar la introduccin de la CES, consideremos una teora relativamente sencilla tomada de la vida real: la mecnica clsica del punto. Una axiomatizacin completa de la mecnica de partculas clsica mediante un predicado de Suppes tiene el siguiente aspecto. DEFINICIN 1.1. es un sistema de la mecnica de partculas clsica syss existen P , T , s , m, f1 , . . . , fn tales que, para todo p P y t T : (0) P T s m f1 fn ; (1) P es un conjunto no vaco; (2) T es un intervalo cerrado de nmeros reales; R3 es una funcin con valores vectoriales tal que (3) s : P T 2 2 d s ( p t ) dt existe;

(4) m : P R es una funcin de valores reales que asume slo valores positivos: (5) fi es un funcional de im argumentos con valores vectoriales en R3 ;

(6) Para cada i existen funciones gi1 , . . . , gim (escalares o vectoriales) de p y/o t , y/o partculas adicionales, y/o instantes adicionales, tales que fi ( gi1 ( p t
i N

gim ( p t

))

m ( p)

s d dt
2

Una rpida mirada a este sistema de axiomas revela dos grupos bien denidos de enunciados. Los axiomas (1)-(5) caracterizan meramente el tipo de los objetos conjuntistas P , T , m, s y fi . As, P , el cual ha de ser interpretado como un conjunto de partculas materiales, es caracterizado meramente como un conjunto no vaco desde un punto de vista conjuntista. T es caracterizado como un intervalo de nmeros reales a ser interpretados como instantes temporales. s es la funcin de posicin, la cual asigna a cada partcula en cada instante una posicin; i.e. un punto en el espacio cartesiano tridimensional, designado

EL MARCO FILOSFICO

21

con respecto a un marco de referencia no inercial. m es la funcin masa, la cual asigna un nmero real positivo a cada partcula, designado con respecto a un sistema de unidades de medida. fi , nalmente, es un funcional ( i.e. una funcin de funciones) de fuerza; fi ( gi1 ( p t ) gim ( p t )) es un vector tridimensional que representa la isima fuerza (con respecto al mismo sistema de medicin y marco de referencia) a la cual la partcula p est sujeta en el tiempo t , la cual puede ser funcin tambin de otras partculas o tiempos (por eso las gik s. Por otra parte, (6) es propiamente hablando una ley de la teora: la Segunda Ley de Newton. Resulta que los enunciados del primer tipo las caracterizaciones pueden ser denidos del modo siguiente. Un enunciado es una caracterizacin syss contiene, adems de smbolos conjuntistas y smbolos de conjuntos bsicos (universos de discurso), slo smbolos para precisamente una relacin.2 Una ley como la expresada en (6) es llamada un principio gua por Moulines (1978). Ntese que es de una gran generalidad y contiene varios cuanticadores existenciales, lo que la hace ser empricamente irrestricta y, por lo tanto, irrefutable por la experiencia. Cul puede ser el valor de principios aparentemente tan vacuos? Moulines (ibdem: 84-85) nos dice que
Su valor es, usando el trmino de Kuhn, el de una promesa, el de un poderoso principio motriz para hacer ciencia. La promesa implcita en el principiogua consiste en que se nos asegura que si adoptamos el esquema conceptual propuesto por el principio-gua, a la larga, y con la suciente paciencia y habilidad, obtendremos los resultados empricos apetecidos. La promesa es, limitada al principio-gua, muy vaga e indeterminada; pero dene la estructura general dentro de la que hay que buscar los parmetros y funcionales requeridos para tratar cualquier caso particular. La bsqueda de esos parmetros y funcionales ( es decir, desde el punto de vista lgico, la bsqueda de constantes que sustituyan aedcuadamente las variables funcionales de segundo y tercer orden) , es la actividad que Kuhn llama resolucin de rompecabezas. Es una actividad ciertamente no trivial y difcil, a veces exasperante. Pero el principio gua nos promete que, si perseveramos, a la larga tendremos xito en nuestra bsqueda y lograremos dar con la sustitucin adecuada de variables por constantes.

Supngase que T es una teora formulada mediante la denicin de un predicado conjuntista. Las estructuras que satisfacen las caracterizaciones sern llamadas los modelos potenciales de T y denotaremos la clase de las mismas mediante Mp ( T). Los modelos potenciales que, por aadidura, satisfacen los axiomas
2

Para una discusin de este asunto, vase (Balzer, Moulines y Sneed 1987: 13, 14).

22

TEORA ECONMICA

propios de la teora sern llamados los modelos de T y denotaremos su clase mediante M( T). As, M( T) Mp ( T). Entre los trminos primitivos de una teora se pueden distinguir algunos trminos que slo pueden ser determinados si se supone que al menos una de las aplicaciones de la teora es exitosa. Por ejemplo, en la mecnica clsica de partculas no es posible determinar la masa (o el peso) de un cuerpo sin usar un instrumento de medicin como una balanza. Pero entonces la operacin de pesar la masa es realmente signicativa syss la balanza misma es efectivamente el caso de un sistema de la mecnica de partculas clsica, lo cual quiere decir que representa una aplicacin exitosa de la teora. Trminos de este tipo han sido llamados T-tericos por la CES. En otras palabras, que un trmino dado es T-terico signica que slo puede ser determinado si las leyes fundamentales de T valen en al menos ciertos casos.3 Pero quiz un hecho crucial acerca de los trminos tericos es que son los factores explicativos en cualquier teora. Por ejemplo, en la mecnica clsica la masa y la fuerza son los trminos mediante los cuales se explica el movimiento de los cuerpos. Algo anlogo ocurre en la teora de la eleccin individual, donde la utilidad esperada es el trmino mediante el cual se explica el comportamiento del agente. As, en cualquier modelo potencial ( X1 Xk Y 1 Ym ) de una teora T distinguiremos entre los objetos Y1 Ym aquellos que son T-tericos de los que no lo son. Para l m, diremos que Y1 Yl son los trminos T-no-tericos y, acordemente, Yl 1 Ym sern los T-tericos. Cuando l m decimos que todos los trminos son T-no-tericos. Sea Mpp ( T) el conjunto ( X1 Xk Y 1 Y l ) ( X1 Xk Y 1 Yl Yl 1 Ym )

M ( T)
p

la clase de todas las estructuras que resultan de las que estn en Mp ( T) cuando se eliminan sus componentes tericos. sta es la clase de los modelos potenciales parciales de la teora T. La operacin de remocin puede ser representada mediante una funcin suprayectiva : Mp ( T) tal que ( X1 Xk Y 1 Yl Yl 1 Ym ) ( X1 Xk Y 1 Yl ) Mpp ( T)

Se sigue que ( M( T))

3

Mpp ( T) (vase la Fig. 1.2).

Para una discusin detallada y completa del concepto de trmino terico, el lector puede consultar

Balzer, Moulines y Sneed (1987: 47, 78).

EL MARCO FILOSFICO

23

Mp

Mpp

Figura 1.2: Estructura de una teora cientca. Una teora se aplica usualmente a fenmenos concretos, acotados. Por ejemplo, la mecnica de partculas clsica se aplica a un sistema que consiste de (los centros de masa) del sol y un planeta, o a un cuerpo en cada libre ( i.e. la tierra y ese cuerpo). Estos sistemas se consideran como relativamente cerrados en el sentido de que la inuencia que su ambiente ejerce sobre ellos es negligible. No obstante, estas aplicaciones locales se pueden traslapar en el espacio y el tiempo, se pueden inuenciar una a la otra, y ciertas propiedades de los objetos pueden permanecer idnticas cuando se transeren de una aplicacin a otra. Estas conexiones son representadas en la CES mediante condiciones de ligadura. Formalmente, una condicin de ligadura es una familia C de conjuntos de modelos potenciales que representa cierta combinaciones admisibles entre estos modelos. Basta aqu sealar que una condicin de ligadura C para una teora T es un subconjunto de pot( Mp ( T)) que tiene las siguientes propiedades: (1) C ; (2) C; (3) para todo Mp :

C.

Estamos ahora en posicin de introducir una denicin toral.

4

Para una explicacin detallada del signicado losco de estas condiciones, vase Balzer, Moulines

y Sneed (1987: 40-47).

24

TEORA ECONMICA

DEFINICIN 1.2. Un ncleo terico elemental K, de una teora T formulada mediante un predicado conjuntista, es una estructura de la forma ( Mp Mpp M C) tal que: (1) Mp es la clase de los modelos potenciales de T; (2) Mpp es la clase de los modelos potenciales parciales de T; (3) : Mp ( X1 (4) M Mp ; Mpp es tal que Xk Y 1 Yl Yl 1 Ym ) ( X1 Xk Y 1 Yl )

(5) C es una condicin de ligadura para Mp . Una teora no consiste meramente de un ncleo terico elemental, sino tambin de un dominio de aplicaciones pretendidas I, el cual es un subconjunto histrica y pragmticamente determinado de Mpp . Este conjunto I usualmente se toma como la parte observacional de la teora, pero esto puede ser engaoso. Por ejemplo, la enorme compilacin de observaciones efectuadas por Tycho Brahe de los movimientos de Venus constituye una estructura nita de datos que sugiere una descripcin de ese movimiento mediante una funcin continua (y por lo tanto incontablemente innita) cuya grca tiene el aspecto de una elipse. Esta ltima funcin da lugar a una estructura en I. (Recurdese que en la mecnica de partculas clsica todos los elementos de I describen el movimiento de las partculas mediante funciones del tiempo de clase C 2 .) Por ende, como un ejemplo de I, pinsese en todas las descripciones cinemticas de los movimientos de las partculas a las que se aplica la teora newtoniana: rbitas de planetas, pndulos de Huygens, osciladores armnicos en general, cuerpos en cada libre, etctera. Por consiguiente, es menester distinguir la familia D de las estructuras de datos del dominio I de pretendidas aplicaciones. Podemos ahora denir la parte ms elemental que constituye una teora cientca emprica. DEFINICIN 1.3. Un elemento terico es un par ( K I) tal que K es un ncleo terico elemental e I Mpp . El contenido emprico de una una teora T es la familia de todos los modelos potenciales de T que pueden ser extendidos (mediante los componentes tericos idneos) a modelos de T cuyos componentes tericos satisfacen la condicin de ligadura C. Sea Cn( K) el contenido emprico de T, i.e. el conjunto

EL MARCO FILOSFICO

25

Cn( K)

E pot( Mpp )

( pot( M)

C) C F: ( )

E F pot( M)

As, la asercin emprica de la teora es que I pertenece a Cn( K). Las estructuras que constituyen pretendidas aplicaciones de una teora deben distinguirse de las estructuras de datos. stas son recopilaciones y ordenaciones de datos empricos que se busca explicar mediante la teora. Por lo tanto son estructuras nitas que expresan observaciones directas de fenmenos. Por ejemplo, en la teora del consumidor pueden expresar un conjunto de demandas por un agente que han sido efectivamente observadas. Sin embargo,la relacin entre una estructura de datos D y una pretendida aplicacin I que la conceptualice propiamente puede ser descrita como una incrus, pues ambas estructuras son del mismo tipo de similaridad tacin : (vase la Fig. 1.3). Desde luego, la cuestin de si hay una incrustacin tal para una estructura de datos dada es tambin una cuestin enteramente emprica.

Mpp

Figura 1.3: Incrustacin ( ) de una estructura de datos. Informalmente hemos entendido por teora una estructura conceptual que puede ser formulada mediante un predicado conjuntista. En realidad, una teora emprica es algo ms complicado que eso: es ms exacto decir que es una red de elementos tericos dominados por un elemento terico bsico y conectadas mediante la relacin de especializacin. A grandes rasgos, para cada teora emprica hay un elemento terico bsico y los dems elementos tericos son especializaciones del primero. Por ejemplo, el elemento terico bsico de la

26

TEORA ECONMICA

mecnica de partculas clsica tiene como nico axioma propio la fundamenma ). Una especializacin de este elemento tal Segunda Ley de Newton ( F terico es la mecnica celeste, la cual incluye parmetros adicionales y leyes especiales (como la Ley de la Gravitacin Universal F G( m1 m2 ) r 2 ). Otras especializaciones contienen otras leyes y otros parmetros especiales.5 Naturalmente, una especializacin de un elemento terico estrecha la clase original de modelos, condiciones de ligadura y aplicaciones pretendidas, de modo que puede ser denida en los siguientes trminos.
DEFINICIN 1.4. Si T ( Mp Mpp M C I) y T ( M p Mpp elementos tericos, entonces T es una especializacin de T syss

M C I ) son

(1) M pp (2) (3) (5) (6) M

Mpp ; Mp ; ; M; C; I.

(4) M C I

Un ejemplo de especializacin es el siguiente. DEFINICIN 1.5. es un resorte de Hook syss existen P , T , s , m, f y una constante c tales que para todo p P y t T : (0) (1) (2) P P T s m f c ; p es un conjunto unitario; P T s m f es un sistema de la mecnica de partculas clsica; f ( p t 1);

(3) hay una sola fuerza ejercida sobre p en cada instante t , F ( t ) (4) la fuerza ejercida sobre la partcula es de la forma F ( t )

c s ( t ).

Adoptando un sistema de referencia apropiado, si el resorte tiene longitud natural L (cuando no est estirado) y posicin s ( t ) x ( t ), a lo largo del eje de las x , con x (0) 0, tenemos la siguiente resolucin del problema. Para poder integrar la posicin x ( t ) suponemos que el sistema satisface la Ley Fundamental de la mecnica clsica del punto (la II Ley de Newton): F ( t )
5

Para una reconstruccin completa del importante caso de la mecnica de partculas clsica y sus

especializaciones, vase Moulines (1982).

EL MARCO FILOSFICO

27

mx ( t ), de modo que mx ( t ) F ( t)

cx ( t )

o x ( t )

donde k c m . Al movimiento descrito por esta ecuacin se le llama movimiento armnico simple. La solucin de esta ecuacin es x C sen k( t )

kx ( t )

donde C , la amplitud de onda, est dada por C

2 x0 ( v0 k) 2

c m. siendo x0 la posicin inicial, v0 la velocidad inicial del resorte y k es la demora de fase y 2 k el periodo. v , la velocidad, es la frecuencia de la oscilacin (ondas por segundo). Finalmente podemos denir una teora cientca emprica como un conjunto de elementos tericos, parcialmente ordenados por la relacin de especializacin, que tiene un elemento maximal llamado su elemento terico bsico. Todas las teoras econmicas, como la Teora de los Juegos, la Economa Marxiana, La Economa Ricardiana y la Economa Evolucionista, puede ser reconstrudas desde la perspectiva de la CES. De hecho, no se necesita que una teora sea cuantitativa para poder aplicarle el aparato de la CES, el cual se ha aplicado inclusive a una teora tan cualitativa como el psicoanlisis (Balzer 1997). Por ende, la CES ofrece la promesa de resolver, dentro de los lmites que permite el objeto de la economa, el problema de Walras de retornar a la realidad. Esta concepcin clarica la explicacin que ofrece Thomas S. Kuhn de la naturaleza del teorizar cientco. De hecho, el trabajo de encontrar interpretaciones apropiadas de los trminos tericos (como la fuerza en el ejemplo newtoniano) en las que encajen los datos con cierta aproximacin puede ser visto como un ejemplo de esa resolucin de rompecabezas asociada a la ciencia normal (sobre esto, vase Stegmller 1983). As desde el punto de la losofa de la ciencia, la primera pregunta que cabe hacerse con respecto a cualquier teora es: cul es su elemento terico bsico, cules son los conceptos que lo constituyen, el entramado de esos mismos

28

TEORA ECONMICA

conceptos, as como las clusulas que lo denen? En el anlisis metodolgico de una teora sta es la pregunta fundamental que hay que plantearle a la misma. Slo sobre una respuesta bastante clara y precisa a estas preguntas (la cual usualmente involucra una reconstruccin racional de ese conjunto nuclear, o del aparato conceptual que subyace al mismo) es posible plantearse las preguntas metodolgicas relevantes, preguntas tales como: Cmo se modelan los fenmenos mediante este aparato conceptual? Cules son los axiomas de estructura que caracterizan en general a todos los modelos potenciales construibles mediante dicho aparato? Posee el conjunto de principios leyes generales formulables mediante el mismo aparato conceptual? Cul es su contenido y signicado? Cules son sus pretendidas aplicaciones? Qu forma deben tener sus estructuras de datos? Cuales son las especializaciones tericas que posee, los axiomas auxiliares especcos a cada dominio cientco de pretendidas aplicaciones? Existe una ley fundamental general? Cul es su armacin emprica? Cul es su concepto de explicacin? La teora es predictiva? Tiene contenido emprico? Trata de magnitudes que sean medibles en principio? Sus mediciones son fundamentales o derivadas? Haremos o por lo menos mantendremos en mente este tipo de preguntas conforme vayamos exponiendo la teora econmica. 1.8. Teora de la medicin Medir es asignar un objeto matemtico como un nmero o un vector a un objeto por virtud de que una de sus cualidades se encuentra en cierta relacin con una cualidad similar de otro objeto, ambas cualidades siendo susceptibles de admitir gradacin, un ms o un menos. Por ejemplo, medimos la longitud de una vara le asignamos un nmero a la vara comparndola con la longitud de otra vara tomada como estndar; el nmero representa el nmero de veces que copias del estndar pueden concatenarse para formar una vara compuesta de la misma longitud que la primera. Si tenemos un conjunto de varas cuyas longitudes podemos comparar en la prctica, cada una de ellas puede ser comparada con cualquiera de las otras con respecto a longitud, con lo cual se observa una de tres relaciones entre ellas: La longitud de a es mayor que la longitud de b (se escribe a c b), la longitud de a es menor que la de b ( a c b) o las longitudes de a y b son iguales ( a c b), donde c en este caso es la cualidad longitud. Usualmente, cuando est claro por el contexto cul es la cualidad con respecto a la cual un conjunto de objetos estn siendo comparados, se utilizan los smbolos , y para denotar las relaciones c , c y c respectivamente.

EL MARCO FILOSFICO

29

Llamaremos magnitudes a las cualidades que admiten una gradacin representable mediante estas relaciones. Si la asignacin se hace con base en una comparacin directa de la magnitud del objeto con la de los otros, independientemente de otra medicin, decimos que la medicin es fundamental. Un ejemplo particularmente claro de medicin fundamental es el anterior, el de la comparacin directa de las longitudes de ciertas varas con la longitud de una vara estndar tomada como unidad. Una medicin derivada, en cambio, es una que se realiza mediante sistematizaciones teorticas (frmulas de conexin, usualmente ecuaciones) pertenecientes a una teora, las cuales permiten efectuar una transicin de valores numricos que son medidas de algunas magnitudes a valores numricos que son medidas de otras magnitudes relacionas con las primeras por las sistematizaciones teorticas. Por ejemplo, si dispongo de medidas de la velocidad y masa m de un mvil en un cierto intervalo de tiempo, puedo obtener una estimacin de la fuerza resultante F ejercida sobre ella como F m ( dv dt ) usando la II Ley de Newton. Desde un punto de vista matemtico, los objetos que van a ser comparados en un procedimiento de medicin fundamental, desde el punto de vista de una cierta magnitud, son representados como elementos de un conjunto A, y la comparacin que la magnitud induce entre ellos mediante una relacin binaria . Puede haber o no una operacin de concatenacin entre los objetos, por lo que tpicamente la medicin es representable mediante una estructura A o A . La medicin fundamental misma es una de la forma incrustacin de en una estructura numrica del mismo tipo de similiaridad; es decir un homomorsmo : A R que preserva la relacin en el sentido de que a a syss

( a )

( a )

Si la estructura incluye la operacin , el homomorsmo tambin la preserva; es decir,

( a a )

( a ) ( a )

En trminos generales, una teora de la medicin es una familia de sistemas relacionales de un mismo tipo (vase el Apndice Matemtico), cerrada bajo isomorsmo (es decir, si y es isomrco a , entonces ), tal que todas las estructuras en son incrustables en un sistema relacional numrico .6 Se dice que una estructura en es representable por el homomorsmo
6

Esta denicin se debe a Scott y Suppes (1958).

30

TEORA ECONMICA

que incrusta a en o que que representa a . Un teorema de representacin para una teora de la medicin es un enunciado que arma la existencia de una funcin que representa a las estructuras en que puede ser demostrado a partir de los axiomas que caracterizan a las estructuras de . Un teorema de representacin posee dos clusulas: la clusula de existencia, la cual arma que existe al menos un homorsmo; y la clusula de unicidad, la cual arma que cualquier otro homomorsmo tal se puede obtener a travs de un tipo determinado de transformacin. Al igual que su existencia, la unicidad de la medicin depende de las caractersticas de las magnitudes en cuestin. Por ejemplo, en la medicin de longitudes se tiene que tomar una de las varas digamos x como unidad de medicin, de modo que la representacin asigna a esa vara el nmero 1: ( x ) 1. De cualquier manera, la razn entre la medida ( y) de cualquier vara y y la de x no cambia si se toma otra representacin en la que y es la unidad:

( y) ( x )
o, poniendo ( y) (1.1)

( y) ( x ) ,

( x )

( x )

Conversamente, es posible empezar con la representacin con x tomado como unidad y demostrar que la funcin que toma como unidad el segmento y 1 satisface la ecuacin 1.1 y es tambin por consiguiente una tal que ( y) representacin de la misma estructura. Esta situacin se expresa diciendo que las transformaciones de la forma (1.2)

son transformaciones permisibles de la representacin . Si las nicas transformaciones permisibles de son las denidas por 1.2, se dice que es nica salvo transformaciones de similaridad o que es una escala proporcional, debido a que los cocientes de los valores a escala estn unvocamente determinados. Otro tipo de transformacin es la montonamente creciente, de la forma (1.3)

f ( )

donde f es cualquier funcin de variable real estrictamente creciente. Las representaciones cuyas transformaciones permisibles son de la forma 1.3 son llamadas escalas ordinales, debido a que slo el orden es preservado bajo estas transformaciones. De las escalas ordinales se dice que son nicas salvo transformaciones

EL MARCO FILOSFICO

31

montonamente crecientes. Ejemplos de escalas ordinales se encuentran abundantemente en la teora econmica, donde se construyen funciones ordinales de utilidad, esto es indicadores de preferencias que slo preservan el orden de stas. Un tipo ms de transformacin es la afn. Por ejemplo, es conocida la frmula para transformar la escala de temperatura en grados Fahrenheit a la escala en centgrados: C (5 9)( F 32). En este tipo de transformacin se tiene que determinar el punto cero (32 F) y la unidad, lo que conduce a transformaciones de la forma (1.4)

En el ejemplo, (5 9) 32 y 5 9. Se dice que una representacin cuyas transformaciones permisibles son de la forma 1.4 es nica salvo transformaciones anes y la representacin misma es llamada una escala de intervalos, pues los cocientes de los intervalos son invariantes:

( x ) ( y) ( z) ( v )

( x ) ( z) ( z) ( v ) ( x ) ( y) ( z) ( v )

La llamada utilidad cardinal en teora econmica es otro ejemplo de una representacin nica salvo transformaciones anes. Finalmente, algunas representaciones, tales como las de la densidad de los cuerpos en fsica, son transformaciones de potencias: (1.5)

Naturalmente, de una representacin cuyas transformaciones permisibles tienen la forma 1.5 se dice que es nica salvo transformaciones de potencias. Dichas transformaciones tambin son llamadas escalas de intervalos logartmicos, porque una transformacin logartmica de tal escala resulta en una escala de intervalos; i.e. , como puede fcilmente comprobar el lector si supone que : log ( x ) log ( y) log ( z) log ( v ) log ( x ) log ( y) log ( z) log ( v )

Otro tipo de medicin lo que podra llamarse medicin ideal surge cuando se trata de medir magnitudes de objetos ideales. Por ejemplo, podemos denir un objeto ideal con una relacin de preferencia que satisface ciertas condiciones como regularidad y continuidad. Al hacer esto, estamos atribuyndole

32

TEORA ECONMICA

a este objeto ideal el haber comparado por pares todos los mens de consumo en un espacio que pueden ser inclusive no numerable, como lo es el ortante no negativo de RL , y haber producido una relacin de preferencia con las propiedades indicadas. Y luego podemos intentar medir la satisfaccin que cada men le brinda al agente asignndole un nmero a la misma o sea al men produciendo de esta manera una funcin de utilidad que represente la relacin de preferencia. Aunque una medicin ideal est lejos de ser una medicin fundamental, hay ciertamente analogas entre ellas. Formalmente, al menos, en ambos casos la relacin fundamental por ejemplo comparacin de longitud de varas en el primer caso, y comparacin de satisfactoriedad de mens en el segundo es muy similar. Lo nico que vara en el segundo caso es que el espacio sobre el que est denida la relacin es de entrada un espacio matemtico el ortante no negativo de RL y que propiedades de este espacio son requeridas esencialmente para denir algunas condiciones sobre la relacin, como la continuidad. Pero, as como la dureza de las varas es una propiedad constitucional de las varas a medir en el primer caso, la capacidad de formar intervalos o secuencias convergentes es una propiedad constitucional de los mens de consumo en el segundo. El ser objetos matemticos no quiere decir que estn midiendo nada cuando se toman como constitutivos de un objeto ideal, sino que ms bien son parte de dicho objeto. Ya dijimos que un sistema consistente de axiomas puede denir un objeto ideal anlogo a ciertos objetos empricos, pero ello no signica que est siendo usado para hacer aserciones empricas. Hemos visto que en el campo de la economa al igual que en los dems nos encontramos con dos tipos de objetos: objetos (o sistemas) reales y objetos o sistemas ideales. Con base en esta distincin tenemos tres diferentes procesos de medicin: (1) medicin fundamental, la cual consiste en medir la magnitud presente en un objeto real o conjunto de ellos a partir de condiciones cualitativas empricamente observables en dicho objeto u objetos, independientemente de cualquier otra medicin; (2) medicin ideal, la cual consiste en medir una magnitud constitutiva de un objeto ideal o sistema de ellos a partir de condiciones cualitativas atribudas per at a dicho objeto u objetos; (3) medicin derivada, la cual consiste en medir una magnitud putativamente presente en un objeto real, a partir de datos relativos a la medida de otras magnitudes presentes en el objeto, con el uso de sistematizaciones tericas (ecuaciones) pertenecientes a una cierta teora que correlacionan la magnitud a ser medida con esas otras magnitudes que han sido medidas. La medicin de relaciones de preferencia en economa

EL MARCO FILOSFICO

33

puede ser de dos tipos: ideal, cuando se trata de representar una relacin de preferencia denitoria de un objeto ideal; derivada, cuando se trata de determinar la funcin de utilidad de un agente a partir de una asercin emprica acerca del mismo agente y datos empricos concernientes a su conducta. En el Captulo 3 habremos de ocuparnos en general y con detalle de ambos tipos de medicin.