Conferencia Asociacin de Investigaciones ticas cap. Rosario rbeltramino@ucel.edu.

ar La Familia de las Concepciones Semnticas, sus caractersticas distintivas y sus diferencias Introduccin Como ha ocurrido muchas veces en la historia de la ciencia, se ha denominado a una posicin, en realidad a un conjunto de posiciones como semnticas por oposicin a una postura anterior llamada sintctica. Esta postura sintctica, tambin denominada Received View, que es conocida en nuestro idioma como Concepcin Heredada (a mi juicio debera usarse el plural porque no es un conjunto de posiciones), y que sin dudas es la concepcin clsica desde la que y con referencia a la cual, se ha escrito posteriormente. Sus limitaciones que empezaron a hacerse ms o menos evidentes a comienzos de la dcada del 60, inclua entre otros problemas: su fracaso en caracterizar positivamente a los trminos tericos y en definitiva la misma distincin tericoobservacional y la relacin y funcin de las llamadas Reglas de Correspondencia, su concepcin de las teoras cientficas como agrupaciones de enunciados, es como sistemas axiomticos empricamente interpretados, la imposibilidad de observacin sin teora (de acuerdo a la feliz expresin de Russell Hanson, toda observacin es theory-ladden etc. Frederick Suppe relata que l asisti al fallecimiento de la Concepcin Heredada, cuando en un seminario Carl Gustav Hempel, lo reconoci. A la postura sintctica la sigui inmediatamente, una concepcin historicista, que intent insertar a las teoras en conjuntos ms grandes como las matrices disciplinares de Kuhn o los programas de investigacin cientfica Lakatosianos o las tradiciones de investigacin de Laudan. La caracterstica ms notable de esta concepcin es la vaguedad e imprecisin algo que para sus defensores no es criticable, si no una consecuencia de ser la ciencia una actividad humana. Las concepciones semnticas intentan conservar lo que consideran valioso de la postura clsica y a la vez hacer lugar a las crticas que esta recibi. Una de sus claves es la influencia de la llamada corriente formalista en matemticas representada por el Grupo Bourbaki; Bourbaki es el nombre colectivo adoptado por un grupo de matemticos franceses que intentaron reescribir la matemtica (sin s pare resaltar su unidad) a partir de la teora elemental de conjuntos. La idea fundacional comn de las concepciones semnticas, en sus diversas variantes, es retomar el trabajo de la Concepcin Heredada y formalizar (uso como Suppe formalizacin como gnero y axiomatizacin como especie) una teora cientfica de otra manera Hay que comprender a las Concepciones Semnticas como una familia, con algunas notas comunes: 1) Una teora se presenta como un conjunto de modelos (en sentido informal, porque hay variantes dentro de la familia), por lo tanto identificar una teoria es identificar el conjunto de sus modelos Un modelo se determina por principio s o leyes X es un modelo de la teora si y solo si.. Que las leyes definan modelos, significa que determinan que entidades se comportan como la teora, que recorte de la realidad . Ahora si fuera nada ms que esto, no tenemos mucho , una teora determina modelos, para dar cuenta de hechos empricos, es decir correspondientes a un determinado mbito de la realidad. Por supuesto el tercer aspecto es realizar la asercin o afirmacin que tal sector de la realidad es un modelo de la teora porque cumple las leyes. Puede ser de identidad, o de aproximacin (que es lo ms habitual y lo ms complicado)

2) 3)

1. Introduccin Desde las ms primeras formulaciones de las Concepciones Semnticas, en sus diversas formas, tal como fueron resumidas por ejemplo en Suppe (1989) o anteriormente en Suppe (1977), la Economa apareci, entre las ciencias sociales, como la ms indicada para intentar aplicar a la reconstruccin de sus teoras alguna de las diversas concepciones semnticas.

Probablemente el esfuerzo, anterior al desarrollo de las denominadas Concepciones Semnticas, de los economistas en trasladar al lenguaje formal sus modelos, fue el factor ms importante en este acercamiento. Ni un crtico decidido del estado general de las Ciencias Sociales, como Mario Augusto Bunge, (a quien Suppe (1977 p.224n) incluye dentro de las Concepciones Semnticas) pudo negar ese esfuerzo dentro de la Economa, en Bunge 1 (1999). Tambin compartimos la opinin de Davis (2000) que, al dar razones de su eleccin de una de las variantes de las Concepciones Semnticas para reconstruir la estructura de la Econometra segn Haavelmo, seala que, el uso mismo de modelos, acerca a la Econometra (y a toda la Economa en general, me atrevo a agregar) a ellas. En este trabajo se intenta analizar algunos de los intentos de aplicar las Concepciones Semnticas en la Economa, distinguiendo las diferencias entre los casos ms relevantes elegidos como ejemplares e intentando elucidar las semejanzas y diferencias entre las mencionadas concepciones semnticas y la idealizacin, definida por la Escuela polaca de Poznan, casi caracterstica de la Economa. Como distinguen bien, Balzer y Hamminga (1989) en su introduccin a la recopilacin de trabajos sobre Filosofa de la Economa, la corriente dentro de la Economa interesada por la estructura de las teoras econmicas, estuvo integrada principalmente por autores europeos que se agrupaban en dos posturas diversas: una caracterizada por los autores como the structuralist method, as exemplified in the writings of Sneed, Stegmuller and others, of describing the object of a theory as a set of partial potentials models (p.1); y el segundo enfoque creado por Leszek Nowak, y la llamada escuela de Poznan, sobre el que escriben His method proceeds from the principle that economic theories, and indeed, scientific theories in general, do not yield a complete correct description of their objects, nor are they constructed for that purpose. Instead scientists believe that their laws would hold under certain idealizing conditions. This belief is not testable directly since the idealizing conditions are never completely satisfied As, refirindose al trabajo de Von Neuman de 1932 Mathemathical Foundations of Quantum Mechanics, escribe Suppe The results obtained by Beth, Van Fraasen and myself collectevely constitute a comprehensive analysis of the structure of scientific theories which is heir of Von Neumans pioneering work (Suppe,1977 p.223) Por su parte Patrick Suppes mencionando sus influencias, escribe Von Neumans axiomatic approach, again, appealed to me, and I learned a great deal about how to think in axiomatic terms (carta de Suppes a Suppe, citada en Suppe (1989) p.7

2. Abstraccin, idealizacin y aproximacin 2.A El origen de la confusin

Se ha sugerido recientemente que todo anlisis e intento de elucidacin de los conceptos de idealizacin y abstraccin tropieza con un pecado original (Coneglione 2004) que es necesario sortear: el origen mismo del trmino latino abstractio. As, Francesco Coneglione, Roberto Poli y Robin Rollenger retrotraen el problema a Boecio, que introdujo el vocablo, usndolo en dos sentidos, el de aphairesis de origen aristotlico y el de chorismos de origen platnico, de muy diverso significado que lleva a los mencionados autores a escribir:

De hecho, Bunge reconoce el esfuerzo formalizador en la Economa, pero sostiene que este se basa en la formalizacin sobre supuestos no verificados. (Bunge 1999, p. ) Uso el trmino formalizar porque es el que usa Bunge; de acuerdo a Suppe (1977) en realidad la formalizacin sera el gnero y la axiomatizacin la especie. La axiomatizacin es una formalizacin sintctica, mientras que la formalizacin incluye tanto a la axiomatizacin, como a las tcnicas semnticas modelo-tericas. Suppe atribuye a la Concepcin Heredada los intentos de axiomatizacin y sus fracasos y concluye que si la formalizacin es deseable en Filosofa de la Ciencia, debe tratarse de una formalizacin semntica.
1

The former was used by Aristotle in the epistemological procedure, whereby he constituted, by means of reduplication, the field of enquiry for scientific and philosophical reflection. The latter which means separation, referred instead of the universe of Platonic ideas. Thus from the very beginning, the important distinction between Aristotelian abstraction and Platonic idealization was blurred by Boethiuss use of a single term. (Coneglione 2004 preface)
Los propios autores tambin reconocen que, al poco tiempo, ya aparecieron los primeros intentos de distinguir entre diferentes tipos de abstracciones, cuya historia relata muy amenamente el investigador argentino Ignacio Angelelli en su artculo del mismo volumen. (Angelelli 2004) Como sealamos uno de los autores que funciona como una verdadera divortia aquarum en el tema, es Leszek Nowak y en general la llamada Escuela de Poznan Para Nowak (1994) toda ciencia aplica la idealizacin, por eso caracteriza al mtodo cientfico como: The pure abstract of a given type of phenomena is formed by depriving them of some of their features, those who are considered to be secondary. What remains still contains merely the principal properties of the empirical original. If some simple formulae connecting them (idealizational laws) are valid, it is for the pure abstract alone. The idealizational statement is concretized by gradually admitting the previously neglected secondary properties and modifying its formula. The laws become more and more complicated and therefore ever closer to the empirical reality And also the body of them in subsequent models of increasing realism becomes larger and larger. This procedure continues until the more realistic model becomes a sufficient approximation of the given system. Whether this is the case or not, only experience will decide (p.135) Es decir que para Nowak, la idealizacin es un proceso, cuyo proceso inverso sera la concretizacin. En el citado proceso de idealizacin, se van agregando condiciones ideales, hasta llegar a un modelo k, es decir con k, condiciones idealizantes. Paralelamente partiendo de ese Modelo K, pueden obtenerse Modelos k-1, k-2 , etc. a medida que van sustrayndose condiciones idealizantes en el proceso que l denomina de concretizacin, hasta llegar al Modelo i que sera el menos abstracto, para extraer de l una Aproximacin del mismo hacia la realidad emprica. A su vez en un trabajo anterior, Nowak (1989) se ocup adems de la abstraccin, a travs de una descripcin ingeniosa. En general Nowak defini un proceso llamado potentializacin de un objeto a que tiene una propiedad P, a la postulacin de un objeto posible a que tiene la propiedad P en un grado diferente de a. Si es en mayor grado se tratar de una potencializacin positiva y si es en menor grado se tratar de una potencializacin negativa. Luego define la abstraccin como The extreme case of negative potentialization might be called abstraction(p.225) reconociendo en una nota al pie su deuda con un trabajo de Renata Zielinska de 1981, tambin de la Escuela de Poznan, por esta elucidacin. Bajo la abstraccin entonces un objeto es supuesto como teniendo una de sus propiedades en el mnimo nivel, cero Por otro lado llama mitologizacinal caso extremo de potencializacin positiva. A estos procedimientos los denomina de deformacin blanda, porque it preserves the body of properties an initial being is supposed to possess; the only changes it postulates concern the degree in which given properties are to pertain to the considered objects Mientras tanto los procedimientos de deformacin duros, consisten en negar el conjunto de propiedades dadas del objeto bajo consideracin.; al movimiento negativo lo llama reducciny al movimiento positivo (por el que se supone que un objeto tiene propiedades que en realidad no posee en absoluto) trascendentalizacin. Estos procedimientos pueden combinarse y crear otros mixtos ; as la reduccin conjuntamente con la potencializacin positiva (hasta la mitologizacin) crean la ficcionalizacin caracterstica de las artes. Por su parte, el uso conjunto de la

trascendentalizacin y la potencializacin positiva absolutizacin caracterstica de la fe y religin.

(hasta

la

mitologizacin)

crean

la

La peculiaridad del conocimiento es para Nowak, la aplicacin conjunta de la reduccin y la potencializacin negativa (hasta la abstraccin) generan la idealizacin. Luego, Nowak reconoce que la Economa tiene una especial relacin con la idealizacin, afirmando: the economy seems to possess a historical priority in applying the method of idealization as it had been introduced in the theoretical work of K.Marx under the name of the method of abstraction. All this suggests to hypotethically assuming that idealization is the very essence of the economic modelling (p.231-2) Como mostraremos ms adelante, la idealizacin en Economa tiene una muy larga historia anterior a Marx. Posteriormente al referirse a la Economa Nowak (199 9) sostiene que es apart from physics, the classical discipline for the idealizational conception of science p.42. y luego de hacer una larga y detallada resea de las reconstrucciones intentadas en la disciplina, particularmente de las teoras marxistas, agrega un punto a mi juicio, decisivo: Idealization in micro-economics appears quite often in the form of the rationality assumption. (Nowak 1999 p.43) 3. Las propuestas estructuralistas 3.A La posicin de Frederick Suppe Al referirse al tema Suppe, distingue claramente entre abstraccin pura e idealizacin, diciendo In cases of pure abstraction, the theory simple ignores a number of parameters and other factors which in most cases exert a nonneligible influence on the phenomena, within the theory s intended scope, but its causally possible that there could be phenomena within the theorys intended scope on which only the abstracted parameters exert nonnegible influences. Cases of idealization also involve abstraction, but in a way that imposes conditions on the phenomena which are actually impossible for any phenomena to meet. (Suppe,1989, p.96) A pesar de afirmar que debe buena parte de su trabajo a la obra de Shapere sobre el tema, pero se distancia de ste en un punto importante; para Suppe es relevante distinguir entre las teoras como idealizaciones, aproximaciones o simplificaciones, de las manipulaciones idealizadas, aproximadas o simplificadas de las teoras. Es decir que es importante para Suppe distinguir entre las idealizaciones de hechos, de las idealizaciones como relaciones intertericas que, por lo tanto, involucran siempre y nicamente a teoras. Recordemos que una de las caractersticas de la posicin semntica de Suppe es que los sistemas fsicos sirven de hard data para la teora (Diez y Lorenzano p.50) y luego dir, contradiciendo lo que haba afirmado antes en The Structure of Scientific Theories, que en realidad, son los modelos los principales vehculos de la actividad cientfica. Dice Suppe (1998)

I opened Structure of ScientiJic Theories asserting that the "most central or important" problem in philosophy of science is "the nature and structure of theories . . . . For theories are the vehicle of scientific knowledge and one way or another become involved in most aspects of the scientific enterprise" (Suppe 1974a). Don't believe it for a moment! Today much of science is atheoretical, as it was then. For example, theory development is incidental to most of today's chemistry. The business of most experimental and observational science is modeling data-increasingly so as science has become computationally intensive. Today, models are the main vehicle of scientific knowledge
Es importante destacar adems que Suppe consideraba, ya en 1998, que la concepcin semntica haba sido muy exitosa en su propsito, que prcticamente no haba recibido crticas importantes y que, a la hora de hacer una suerte de balance de los logros de esta concepcin, al referirse a las ciencias cuyas teoras se han examinado a la luz de ella, pona en segundo trmino a la Economa, antecedida slo por la Biologa. (Suppe 1998).

3.B La elucidacin de Moulines Por su parte Moulines y Reinhold (1994) han propuesto desde el punto de vista de la metateora estructuralista, que la idealizacin, es la nocin ms general y que la aproximacin es la ms particular, ya que en algn sentido toda aproximacin es o mejor descansa sobre una idealizacin Para ellos entonces, la idealizacin es todo intento de relacionar una teora dada, con algo afuera de la misma, sea la realidad emprica, los datos o tal vez otras teoras como unidades conceptuales diferentes. Justamente refirindose a ese tipo de idealizacin, entre dos teoras escriben Moulines y Reinhold When we say that we may get Keplers theory out of Newtonian mechanics by a process of idealization, what we mean, in structuralistic terms, is that the potencial models of Keplers theory are being linked (in a certain formalizable way) to their counterparts- the potential models of Newtonian mechanics. This by itself does still not guarantee that we may derive Keplers theory from Newtons laws. In order to guarantee this we need something more specific approximation (p.28) Moulines, una de las principales figuras del estructuralismo se ocup adems especialmente de la idealizacin, vista desde el estructuralismo, en un artculo en colaboracin con Reinhold Straub2, incluido en el texto recopilado por Martti Kuokkanen para mostrar las relaciones entre estas posturas. Los autores comienzan su artculo relatando lo que habamos aprendido en filosofa de la ciencia, despus del positivismo lgico y lo resume en tres puntos: a. No hay hechos empricos brutos, podemos hablar de Base emprica, pero dicha expresin slo tiene sentido relativo, es decir para una teora T y significa que es una coleccin de datos conceptualizados desde el punto de vista de una combinacin de las teoras T1,T2. Toda base emprica es hipottica y convencional, aunque como ense Popper, esto no significa que sea arbitraria ya que los cientficos son guiados por la experiencia. Una teora cientfica es un producto cultural, que como cualquier otro producto cultural contiene esencialmente irreducibles componentes pragmticos, es decir que no pueden ser definidos en trminos sintcticos, semnticos o modelo-tericos y esto implica tambin que no son completamente formalizables. Ninguna teora cientfica encaja en los hechos que se supone que tiene que sistematizar, generalmente ninguna teora funciona a menos que contenga una cierta medida de idealizacin con respecto al mundo exterior. 3. Es por eso que como aclar Balzer toda teora cientfica contiene una idealizacin en sentido unitario, lo que es trivialmente verdadero y por eso no tan interesante para l. Lo contrario ocurre con las idealizaciones binarias o inter-tericas y por eso resultan mucho ms interesantes; al menos para Balzer.

b.

c.

A estos principios los denominan Moulines y Straub principio de la carga terica, de la carga prctica y de la carga aproximativa respectivamente. Los dos primeros son de amplia aceptacin en la filosofa de la ciencia actual, pero no lo es el tercero (aunque los autores sostienen que ha crecido el inters en el mismo) Mouliines y Straub sostienen adems que si bien, los tres principios se encuentran ligados de manera profunda, se van a concentrar fundamentalmente en el tercero intentando mostrar como por una parte las aproximaciones e idealizaciones empricamente significativas son nicamente posibles por el principio de carga terica y por otra parte, los conceptos de aproximacin y de idealizacin que necesitamos para las teoras empricas estn esencialmente constituidos por algunos componentes pragmticos irreducibles, en adicin a los semnticos. 4

Moulines, Ulises C y Straub, Reinhold Approximation and idealization from the structuralist point of view incluido en Kuokkanen, Martti Structuralism, idealization and approximation pp.25-48 3 Moulines, U y Straub, R p.cit p.26 y 27 4 Ibidem.p. 27
2

Acompaemos entonces a los autores, en su argumentacin Algunas distinciones metodolgicas Lo primero que hacen Moulines y Straub es distinguir entre idealizacin y aproximacin y sostienen que si bien diferentes enfoques han sostenido cosas diversas, desde la posicin estructuralista la idealizacin es el gnero y la aproximacin la especie, es decir toda aproximacin es ( o mejor descansa sobre) una idealizacin. Una idealizacin, en la interpretacin generalizada, es cualquier intento de relacionar una teora dada, con algo fuera de ella (realidad emprica, datos, etc) o tal vez con otras teoras. Para idealizar, uno tiene que contactar las estructuras conceptuales ideales de la teora con ese algo de afuera. Y esto no funciona a menos que uno fuerce a uno ( o a ambos) elementos. Ese forzamiento es la idealizacin5 Es decir que Moulines y Straub comparten en general la elucidacin luminosa de Balzer distinguiendo entre idealizaciones unitarias y binarias, aunque no creo que aceptaran la denominacin de unitaria, ya que diran que en una idealizacin siempre hay elemento externo con el que contactar las estructuras conceptuales ideales de la teora. El enfoque estructuralista permite darle un sentido ms controlable; para el estructuralismo uno de los elementos esenciales de una teora es la clase de sus Modelos Potenciales, que representa el marco conceptual de la teora. Entonces la idealizacin consistir en usar los elementos de la clase de los modelos potenciales, para decir algo de las cosas de afuera de la teora. Por ejemplo cuando decimos que para aplicar la teora gravitacional de newton al sistema planetario tenemos que idealizar este ltimo como un conjunto de partculas con movimiento uniforme, lo que estamos haciendo es reconstruir ese sistema en un modelo potencial de la teora de Newton. Si va a ser tambin un modelo real esto es un sistema que satisfaga la ley de Newton sobre la gravitacin, es otra pregunta. Para responderla necesitamos de una aproximacin, porque podemos tener xito al idealizar pero fracasar en la aproximacin. Idntico razonamiento aplican los autores cuando la idealizacin es una relacin entre dos teoras. Cuando se dice que se puede extraer la teora de Kepler de la mecnica de Newton, por un proceso de idealizacin, de lo que se trata es de que los modelos potenciales de la teora de Kepler tengan una conexin formalizable con los modelos potenciales de la teora de Newton, pero esto requiere tambin una aproximacin posterior. La aproximacin puede ser intraterica o interteorica segn si la idealizacin es entre un sistema fsico y un modelo potencial de T o interterica entre una teora T y otra T. La aproximacin intraterica sostienen los autores, est relacionado con la nocin de aplicacin de una teora y sus pretensiones empricas. En cambio la aproximacin interterica tiene ms que ver con la estructura global de la ciencia 6 Luego, Moulines y Straub aclaran que van a centrar su anlisis en la aproximacin intraterica como forma de idealizacin, dejando de lado otros temas como por ejemplo las idealizaciones que no incluyen aproximaciones. El Aparato para la aproximacin Recurriendo a la manera ms simple de simbolizar las aserciones empricas de una teora, ya que como bien aclaran los autores, no se pierde nada relevante respecto de la aproximacin no teniendo en cuenta a los vnculos y a las condiciones de ligadura I r (M)

El problema a enfrentar sostienen los autores es que para cualquier teora emprica realmente existente, la proposicin expresada por la frmula es falsa (salvo que sea trivialmente verdadera). Esto se debe como enseguida aclaran Moulines y Straub a que ninguna teora emprica interesante se aplica exactamente al dominio de sus aplicaciones intencionales. Siempre habr algn ruido, dicen, y obviamente tienen razn.
5 6

Ibidem p. 27 Ibidem. p.28

Pero agregan algo interesante; a pesar de ser falsa, las aserciones empricas sern, en las teoras ms o menos well-functioning, aproximadamente verdaderas.; en smbolos I r (M) es verdadero.

El problema metaterico entonces pasa por buscar una explicacin satisfactoria a ese guin en la frmula, explicacin que los autores proponen en el resto del artculo 3.C La postura de Wolfgang Balzer Balzer se ha ocupado expresamente del tema, en su artculo con Gerhard Zoubek7. El prrafo inicial contiene una de las mejores elucidaciones de los conceptos de idealizacin y concretizacin disponibles, por lo que es conveniente citarlo en extenso. The basic picture of concretization and idealization seems to be that there is the real world which is described by human theories to more or less satisfactory degree. As the real world is very complex the theories describing it in the beginning provide very rough pictures, many real features are left out of account. Theories therefore are idealized. In the historical process more and more of the features originally ignored are incorporated into the theories which in this way become more accurate pictures of the world. This is the process of concretisation8 Ms adelante, Balzer y Zoubek aclaran su posicin identificando entonces nuevamente, dos nociones de idealizacin una unitaria y otra binaria: la unitaria se emplea para decir que una teora T es una idealizacin porque contiene una idealizacin, la binaria en cambio, para decir que una teora T es una idealizacin de T. Para estos autores el concepto unitario es de poco inters, ya que el sistema real presupuesto en su uso existe slo en las cabezas de los realistas metafsicos naifs. Como afirman tambin Balzer y Zoubek decir que una teora es una idealizacin simplificadora es verdad, pero trivialmente. To say that a theory is an idealization does not convey more information than that P.61 Como tambin explican, muy claramente a mi juicio, los autores en las ciencias naturales los modelos idealizados fueron introducidos a travs del mtodo experimental desde Galileo, con la diferencia respecto de las ciencias sociales, que en las naturales no es crucial la concretizacin posterior, ya que los modelos idealizados se pueden adecuar a sistemas reales, artificialmente construidos. 9 Por supuesto, se desprende de esto que la concretizacin s es crucial, en las ciencias sociales, por no poder recurrir a esos modelos reales artificialmente construidos. 10 Balzer y Zoubek descartan luego analizar el tema como una discusin metafsica acerca del realismo, por el contrario sostienen que tanto la idealizacin como la concretizacin deben ser consideradas, simplemente, como relaciones intertericas. idealization should be studied without the presupposition of an independent, fully fledged real world. Indeed, idealization and concretization should be regarded as ordinary interthereotical relations between theories (p.58) El Anlisis

Balzer, Wolfgang and Zoubek, Gerhard Structuralist aspects of idealization incluido en Kuokkanen, Martti op.cit pp.57-79 8 Balzer y Zoubek, op.cit. p.57 9 Creo que la afirmacin merecera alguna atenuacin, ya que no todas las ciencias naturales son experimentales, pero creo que en lo que nos interesa, tienen claramente razn. 10 Tambin habra que acotar aqu que desde hace ms de 30 aos existe una corriente de Economa experimental, y que sus miembros forman una comunidad minoritaria, pero en desarrollo dentro de la comunidad de economistas profesionales
7

Partiendo de la definicin de Nowak, a la que los autores califican como de estrecho formato sintctico, porque define a la ley de una teora como una ecuacin y a la concretizacin como la introduccin de un parmetro con valores reales11 van a analizarla con el formato estructuralista. Comienzan reconociendo que intuitivamente, la idea de concretizacin es la de obtener una imagen ms concreta del sistema real,para luego volver a insistir que la historia de la fsica es rica en ejemplos de concretizaciones e idealizaciones 12 Luego, Balzer y Zoubak continuan con un interesante anlisis desde el lenguaje informal de la concretizacin y de la idealizacin, resaltando que , mientras que la primera deja en claro su carcter de relacin binaria entre dos teoras (T y T1) no ocurre as con el concepto de idealizacin, ya que mientras no puede haber una concretizacin sin dos teoras no necesariamente una idealizacin las requiere, al menos por supuesto desde del lenguaje informal, como ya han aclarado los autores previamente cuando definieron a las idealizaciones unitarias. Balzer y Zoubak agregan que es necesario distinguir dos conceptos diferentes de teora an dentro del preciso marco conceptual estructuralista: la teora centrada en derredor de proposiciones sistemticas nmicas o leyes y la teora que consiste en racimos o familias de leyes que estn interrelacionadas de alguna manera, formando una red terica. Yendo al anlisis propiamente dicho, tambin se distinguen al menos dos maneras de buscar la concretizacin; primero como una parte del proceso de aplicar una teora dada a un sistema real ( una de sus aplicaciones intencionales) y segundo podemos ver a la concretizacin como la comparacin de una balanza que pesa ambas teoras disponibles y que llega a la conclusin que una teora es la concretizacin de la otra. El anlisis se va a concentrar en este segundo sentido, es decir la concretizacin como relacin interterica, aunque en algunos casos Balzer y Zoubek aclaren que puede ocurrir que una de las teoras no sea todava conocida (unkown), pero para los autores la historia de la ciencia muestra que en muchos casos ambas teoras (la idealizacin y la futura concretizacin ) son conocidas13 De acuerdo a Nowak, la concretizacin se obtiene al remover un supuesto idealizador e introducir un parmetro real junto con una modificacin de la ley de la teora original, referida a este parmetro. En realidad, como bien aclaran los autores, para Nowak el parmetro estaba presente ya en la formulacin de la teora idealizada, slo que con valor 0. Parece ms adecuada la elucidacin de Balzer y Zoubek que sostienen que en realidad: It must be emphasized that usually not all the relevant magnitudes are known in the beginning14 y muy especialmente en ciencias sociales como lo agregan en una nota citando como ejemplo la teora econmica del equilibrio general. Nowak entonces sostiene que si a) F (x) = fk (H b) F(x) = f
k-1 (x) )

es la teora idealizada

(H (x), pk (x)) es la concretizacin

siendo x un sistema u objeto, F (x) una propiedad de x, H (x) algunos parmetros no discutidos (undisputed) de los cuales F (x) depende y pk el nuevo parmetro tomado en cuenta por la concretizacin y f k y f k-1 denotan las respectivas conexiones legaliformes existentes entre la propiedad F y los parmetros. Estas conexiones deben cambiar en el proceso, pero el valor de F debe continuar idntico. El llamado supuesto idealizador sera pk = 0.

11 12 13 14

Balzer y Zoubek, op.cit p.58 Ibidem p.61 Ibidem.p.65 Ibidem p. 64

Lo primero que hay que observar, como bien hacen Balzer y Zoubek es que el esquema de Nowak no cure a todos las formas de leyes cientficas, porque deja afuera a todas las puramente cualitativas. En segundo lugar si F y F son idnticas como sostiene Nowak es difcil distinguir que entiende Nowak con F, ya que si la cantidad no debe cambiar en el proceso de concretizacin, debe tratarse de alguna clase de caracterstica verdadera del sistema y por lo tanto una entidad de tipo metafsico15 Coincido con lo expresado por Balzer y Zoubek y no creo que el propio Nowak estuviera en desacuerdo, ya que l mismo introdujo el concepto de propiedades esenciales 16 Desde la concepcin estructuralista el punto esencial de la transicin es que los nuevos modelos x * M* contienen al nmero , mientras que los viejos lo reemplazaban por 0. Es decir si los modelos viejos eran estructuras de la forma

=( D1 D k, A1.. A m, R1.Rn) en donde D son conjuntos, A son objetos matemticos y R son funciones) Entonces
e e

es una extensin de

obtenida agregando una constante ) en donde

y por lo tanto

= ( D1 D k, A1.. A m, R1.Rn,,

es un elemento de alguno de los conjuntos A

Entonces si T y T* son teoras, que pueden ser definidas T= <M, I> y T*= <M* I*> decimos que T es una idealizacin no homognea (inhomogenous) si y slo si existen y e tales que 1) T es del tipo y T* del tipo
e

2) Las estructuras de tipo e tienen la forma ( D1 D k, A1.. A m, R1.Rn, ) en donde ( D1 D k, A1.. A m, R1.Rn) es una estructura de tipo 3) el componente 4) I red (I*) M= es un nmero real positivo

5) red (M*)

La condicin 4 marca que la teora concretizada tiene ms aplicaciones pretendidas que la teora idealizada, pero que son idnticas entre ellas, en el sentido que sus descripciones slo difieren en la constante La condicin 5 por su parte, expresa que M y M* son totalmente diferentes y esa diferencia surge de . Ningn modelo viejo perteneciente a M puede ser extendido a un nuevo modelo perteneciente a M* simplemente agregndole .17 Los autores aclaran que es posible que la concretizacin involucre a ms de un parmetro, pero la definicin puede ser fcilmente adaptada cambiando al nmero por un n-tuplo de dichos nmeros. Para Nowak adems las funciones f k y f k-1 deben ser diferentes para acomodar sus ecuaciones con la misma F (x), pero como advierten Balzer y Zoubek, si son completamente diferentes las nociones de idealizacin y concretizacin se convertiran en inadecuadamente dbiles porque las definiciones se aplicara a teoras totalmente diferentes, hasta puede ser que de diferentes disciplinas. Es obvio entonces que hay una condicin ms; las leyes de las teoras tienen que tener la misma o similar forma Entonces concluyen Balzer y Zoubek,

15 16 17

Ibidem p.65 Ver nota 56 al respecto. Ibidem p.66

Si T y T* son teoras, entonces T es una idealizacin homognea de T* si y slo si 1) 2) T es una idealizacin no homognea de T* M*0 es una clase de modelos de tipo 2.1 en todo x= <D1Rn, > 2.2 M* M* 0 3) M= red (M*0 M*) M*0, e tal que 0

La asercin emprica de T establece que toda aplicacin pretendida puede ser extendida a un modelo de M. Si T e s una idealizacin homognea de T*, entonces las aserciones empricas de ambas estn fuertemente relacionadas. 5. La discusin Wade Hands- Garca de la Sienra 5.A Origen de la Discusin Garca de la Sienra, declara al comienzo de su respuesta que, por lo que sabe nadie haba intentado una respuesta a Wade Hands, a pesar del tiempo transcurrido(Wade Hands 1985). Y por eso emprende esa tarea. (Garca de la Sienrra 2002) Garca de la Sienra agrupa las crticas de Wade Hands en 5 grupos; seguiremos su clasificacin para sealar despus las respuestas del autor mejicano. a) la carga terica .

Para Hands el programa estructuralista no proporciona gua alguna para conservar o rechazar las teoras incorporadas en las observaciones, es decir los Modelos Parciales Posibles, dice concretamente: Mientras que la eliminacin de la carga terica en sentido fuerte (que la parte terica misma est involucrada en las observaciones) puede arrojar alguna luz sobre la controversia de la inconmensurabilidad , no ayuda con las preocupaciones de la metodologa econmica, puesto que los problemas de la carga terica que confrontan los economistas son casi siempre de la forma dbil(Garca de la Sienrra 2002 p.3) Para Garca de la Sienra en cambio, si la concepcin estructuralista se complementa con ciertas concepciones acerca de los modelos de datos y la experiencia preterica, puede proveer una gua para conservar o rechazar las teoras incorporadas en las observaciones (Garca de la Sienrra op.cit. p.6) Lo que propone es concretamente distinguir entre una teora original T, con respecto de la cual se hace la distincin terico/no terico, de las teoras observacionales T1...Tn.. ,y esgrime tambin un argumento que comparto: si la idea de la carga terica no ha de llevarnos a un crculo vicioso o a un regreso al infinito, tiene que haber alguna forma de extraer informacin de la experiencia, que no presuponga una nueva teora. Esa gua sostiene Garca de la Sienra, siguiendo a Sneed, es apuntar a esa diversa jerarqua de teoras y a separar la experiencia preterica de la organizacin de los datos empricos de la forma exigida por la teora. Usando el ejemplo de Garca de la Sienra, toda ama de casa puede comprender los conceptos de precio de un bien y de restriccin presupuestaria, aunque no conozca la teora de la demanda del consumidor o la forma especifica en la que los datos acerca de la demanda del consumidor deben ser presentados para construir los modelos de dicha teora. Por supuesto toda construccin de una estructura de datos es terica, porque se requiere de una teora para construirlas, porque va a ser sta la que exija cmo deben ser organizados los datos, es decir defina la estructura que debe darse a los mismos.(ibidem p.7) De esa manera la concepcin estructuralista brinda para Garca de la Sienra una gua para aceptar o rechazar teoras incorporadas en las observaciones, dicha gua consiste en que si las

estructuras de datos no encajan con la debida aproximacin 18 en un modelo (de la teora de la demanda walrasiana por ejemplo), entonces ese modelo debe ser desechado y proponerse otro en su lugar y si no existe ningn modelo de datos que encaje en un modelo de la teora (walrasiana, siguiendo el ejemplo), entonces esa teora no tiene contenido emprico. Aclaremos que esto para Garca de la Sienra no la hace enteramente irrelevante para el conocimiento econmico, posicin con la que discrepo y que analizaremos ms adelante. b) La conexin Bourbaki

Dice Wade Hands: Una teora cientf ica axiomatizada de acuerdo con el programa estructuralista necesariamente incluye el conjunto de aplicaciones pretendidas concretas en la definicin bsica de la teora, mientras que para el abordaje de Suppes, solo la estructura matemtica misma es relevante. La distincin entre estas dos concepciones de la axiomatizacin es importante, porque las metas de Debreu para axiomatizar la teora del equilibrio general parecen estar mucho ms cerca de Suppes que de Sneed. (Wade Hands 1985 p.4) Garca de la Sienra contesta que es simplemente falso que Suppes axiomatice teoras solo para hacer precisos y claros los aspectos matemticos de las mismas Cita una comunicacin personal con el propio Suppes, afirmando que siempre tuvo en cuenta consideraciones no matemticas (fsicas, econmicas, etc) al momento de proponer axiomas para teoras cientficas y un prrafo de Suppes Ms an, para cada nivel de la jerarqua hay una teora en su propio derecho. La teora en el nivel uno recibe significado emprico al hacer conexiones formales con la teora en un nivel inferior. La investigacin estadstica o lgica de las relaciones entre teoras en estos niveles diferentes puede proceder de una manera puramente formal, conjuntista. Entre ms explcito sea el anlisis, menos espacio hay para consideraciones no formales. Una vez que los datos son puestos en la forma cannica, toda cuestin de evaluacin sistemtica que surge es formal. Es importante darse cuenta de que las preguntas a ser contestadas son formales pero no matemticas- no matemticas en el sentido de que sus respuestas no se siguen en general de los axiomas de la teora de los conjuntos ( o de algn otro marco estndar para las matemticas)(garca de la Sienrra 2002 p.9) Garca de la Sienra tambin sostiene que las axiomatizaciones de Debreu tambin tienen las mismas metas extramatemticas que las de Suppes, porque estn claramente motivadas por problemas de economa. En apoyo de Garca de la Sienra, a mi juicio el propio Suppes haba dejado en claro la cuestin desde el comienzo cuando escribi, al elegir la teora de la probabilidad como un ejemplo de su axiomatizacin propuesta : We have chosen the elementary theory of probability spaces, because developments of this theory calls for numerous direct and simple applications of set operations and relations. Additional reasons for this choice are the importance of probability theory in all areas of empirical science19 Parece claro que Suppes tuvo en cuenta tambin esas razones adicionales como las llam que marcaban la importancia de la teora elegida. c) El conjunto de aplicaciones pretendidas

Para Hands, usar la teora para encontrar explicaciones de nuevas conductas es una forma ms importante de progreso que meramente encontrar nuevas aplicaciones del mismo tipo, por eso escribe el conjunto de aplicaciones pretendidas necesitar de alguna modificacin (posiblemente sustancial) para capturar lo que muchos economistas consideran como progreso emprico dentro de su disciplina20

Por supuesto la primera objecin sera decirle al autor que precise que entiende por debida aproximacin, Garca de la Sienra se adelanta a esa objecin y sostiene que la concepcin estructuralista tiene toda una historia acerca de lo que es una buena aproximacin, a la que refiere. Ibidem. p. 8 19 Suppes, Patrick Introduction to Logic, Litton Educational Publishing, New York, 1957 p.274 (el nfasis es mo) 20 Wade Hands, D citado en Garca de la Sienra, A op.cit. p.4
18

El otro problema que seala Hands, mucho ms grave a mi juicio, es que algunas aplicaciones pretendidas de algunas teoras econmicas no son concretas en el sentido en que la economa de los Estados Unidos en 1960 es una aplicacin concreta de una teora macroeconmica. Concretamente: ...Parece que el sentido en que la teora general del equilibrio es emprica, que tiene aplicaciones concretas, es mucho ms complejo que el que puede ser capturado en la definicin estructuralista estndar de conjunto de aplicaciones pretendidas 21 Para Garca de la Sienra, la concepcin estructuralista nunca plante que las nuevas aplicaciones debieran ser del mismo tipo que las iniciales y es un error de Wade Hands el suponer eso. Por el contrario, deja abierta la posibilidad de que cualquier estructura que satisfaga los axiomas pueda ser considerada como una aplicacin legtima. En este punto coincido plenamente con Garca de la Sienra, est claro que la nica condicin necesaria para que una estructura pueda ser considerada una aplicacin es que satisfaga los axiomas. Por otra parte Garca de la Sienra admite la confusin de Wade Hands entre entidades concretas y aplicaciones pretendidas, pero la atribuye directamente a la obra clsica de Sneed, Moulines y Balzer22 porque stos nunca quisieron distinguir los sistemas concretos de las estructuras conjuntistas. Esta confusin impide, como seala Garca de la Sienra, que pueda haber representaciones diversas del mismo fenmeno23 y deja fuera del dominio de aplicaciones pretendidas, todas las representaciones idealizadas de cualquier fenmeno. Esta objecin de Garca de la Sienra es de suma importancia, porque precisamente las idealizaciones son la forma sugerida por el propio Wade Hands en su texto posterior como una solucin posible a las dificultades par la aplicacin de una concepcin estructuralista en Economa, como examinaremos ms adelante. El propio Garca de la Sienra hace referencia a los trabajos de Uskali Maki, de Leszek Nowak y de Martti Kuokkanen que dieron lugar al enfoque Poznan24 sobre idealizacin sobre el que, como fue dicho volveremos y examinaremos ms detalladamente, por tratarse de un punto clave para la Economa Como conclusin de este punto es importante anotar que Garca de la Sienra, comparte la objecin de Wade Hands y la opinin de continuar por el camino de la idealizacin 25 d) La dinmica de teoras

Wade Hands critica la idea de progreso terico que tiene la concepcin estructuralista. Concretamente, escribe Frecuentemente el progreso terico ocurre justo de la manera inversa; la teora se hace no ms especfica, si no ms general. Mucho de la historia de la teora del equilibrio general se puede caracterizar como una bsqueda de condiciones cada vez ms generales que preservan las propiedades bsicas de la teora. Este tipo de progreso terico generalizador se haya fuera de la concepcin estructuralista estndar de progreso terico y representa as un modo ms en que el encaje resulta menos que perfecto26 Para Garca de la Sienra, es posible que la concepcin estructuralista no haya dicho mucho acerca del progreso que representan las generalizaciones, pero eso no se ha debido a que su marco conceptual lo impida 27 ; de hecho para el autor mexicano es sencillo caracterizar el progreso a travs de generalizaciones en la concepcin estructuralista; Tiene lugar cuando un ncleo terico bsico pasa a convertirse en especializacin de un nuevo ncleo terico ms general

Wade Hands , D citado en Garca de la Sienra, A p.4 An architectonic for science p 2 y 3 23 Garca de la Sienra, A op.cit p.10 24 As denominado por haber surgido en la universidad polaca de Poznan, fundamentalmente a travs de Nowak 25 Garca de la Sienra apoya moderamente esa opcin por ejemplo escribe que puede ser de utilidad aqu y que puede obligar a replantear el concepto de aplicacin pretendidaop.cit. p.10 26 Wade Hands, D. citado por Garca de la Sienra op.cit.p.5 27 Garca de la Sienra,A op.cit. p 10
21 22

Proporciona como ejemplo el caso de la teora del valor trabajo desarrollada de Leontief hasta Roemer, en donde se hizo un esfuerzo por generalizar las formulaciones originales de la Ley del Valor. Agrega luego una cita a su propia generalizacin que busc extender la teora del trabajo homogneo al heterogneo, afirmando que la definicin de un concepto estructuralista de generalizacin es straightforward 28 e) La economa genrica

La idea de Hands es que podra definir de manera general el conjunto I si fuera posible caracterizar a grandes rasgos una teora econmica genrica, que sera una teora que explica la conducta humana mediante el principio de racionalidad o la hiptesis maximizadora, Dice Wade Hands: Si tal teora econmica genrica pudiera ser caracterizada en trminos estructuralista entonces el conjunto de aplicaciones pretendidas sera muy directo. El conjunto I contendra cualquier situacin en la que se tienen que hacer elecciones individuales bajo condiciones de escasez o restriccin... la dificultad es que tal teora es probablemente imposible de axiomatizar 29 La primera respuesta de Garca de la Sienra, es que la propia hiptesis de maximizacin es sumamente discutida en Economa, en lo que concuerdo plenamente con el autor mexicano, y que no creo que Wade Hands discutiera. Pero luego contina su respuesta con el meollo del tema, que me parece conveniente citar en extenso, por su claridad: el chiste de introducir I es precisamente el de dar una lista pragmticamente determinada, en trminos no T-tericos, del tipo de modelos parciales que podran ser explicados por la teora T. Hacer lo que Hands sugiere, implica convertir una asercin emprica en un enunciado analtico! 30 Comparto plenamente en este punto la posicin de Garca de la Sienra ya que lo propone Wade Hands, equivaldra a echar por tierra toda contribucin de la concepcin estructuralista31 Para Garca de la Sienra el problema de la Economa para explicitar I para sus teoras es que es demasiado grande. 5.B La opinin posterior de Wade Hands En su libro de 2001, Wade Hands sigue diciendo que el inters mencionado en el primer pargrafo se debe probablemente a lo apropiada que resulta la Economa para la aplicacin del programa estructuralista32 ya que tanto la Teora del Equilibrio general Walrasiano, as como las teoras marxistas reformuladas por Piero Sraffa, por ejemplo son muy adecuadas, para permitir una reconstruccin estructuralista. Es de destacar por otra parte, que Wade Hands no distingue adecuadamente aqu entre las diferentes concepciones semnticas, agrupndolas a todas bajo el mote de estructuralistas, si bien previamente haba caracterizado a las cuatro vertientes principales de la concepcin semntica33 al estudiar la posicin de Daniel Hausman y vuelve a corregir su error en p. 343 denominndola correctamente como una de las variantes de la concepcin semntica o modelo terica de las teoras. Luego Wade Hands, en una larga nota al pie de la misma nota citada, va a mencionar la influencia del grupo matemtico Bourbaki con su programa estructuralista en los fundamentos de la Matemtica, en el programa de Sneed- Stegmller que es su descendiente directo a punto de ser una extensin del programa Bourbaki en matemticas a las teoras de la ciencia emprica.

Ibidem p.11 en ingls en el original Wade Hands, D citado por Garca de la Sienra, A p.5 30 Garca de la Sienra, A op.cit p. 11 31 De hecho en Economa implicara un retroceso a la situacin previa a que en 1938 Terence W. Hutchison introdujera el pensamiento de Popper. 32 Wade Hands,D op.cit. p. 342 33 Wade Hands op.cit. p 311 distingue entre la postura estructuralista (Balzer, Moulines, Sneed), la modelo terica (Giere), la de los espacios de estado (Van Fraseen) y la de los estados de fase (Suppe)
28 29

Por otra parte el grupo Bourbaki ejerci mucha influencia sobre importantes economistas matemticos posteriores a sus desarrollos, por ejemplo sobre Debreu, Cowles, etc, ya que la reconstruccin de teoras de economa matemtica sobre bases estructuralistas es una tarea relativamente sencilla, como las muchas reconstrucciones de economas puras de intercambio Walrasianas pueden atestiguarlo 34 Para Wade Hands el problema principal de la aplicacin de alguna concepcin semntica en Economa sigue siendo la composicin del conjunto I de aplicaciones pretendidas porque is not at all clear that such set exists for highly mathematical economic theories 35 Adems seala que el problema tampoco es exclusivo de la economa Walrasiana, sino que ha aparecido en otros intentos, por ejemplo en el de reconstruir la economa marxista que luego analizaremos. Esto ha llevado a cierto escepticismo de parte de filsofos de la ciencia, que ha apagado un poco el entusiasmo inicial. La cita que hace Wade Hands es contundente In economics we cannot point out a single real, concrete system, which is commonly accepted by economists to be a standard example of PEE (Pure Exchange Economy) 36. La solucin propuesta que parece interesante para Wade Hands, es la que implica aceptar que las teoras econmicas incluyen idealizaciones37; es decir las teoras econmicas describen los objetos que forman parte de su dominio pretendido (cosas que se incluiran entre las aplicaciones pretendidas en una definicin menos formal de las mismas ) de una manera inexacta o aproximada y as la teora y sus aplicaciones pretendidas carecen de la relacin conjuntista requerida por la posicin estructuralista. Esto motiv la aparicin del enfoque Poznan sobre la idealizacin que luego tambin analizaremos. El otro enfoque alternativo examinado por Wade Hands es el trabajo de Mary Morgan sobre los modelos econmicos. La idea fundamental de Morgan es que los anlisis formales no cuentan la historia completa, acerca del papel de los modelos en la Economa, porque ste es muy complejo y entonces debe ser estudiado desde un punto de vista de su utilizacin pragmtica. 38 Desde este punto de vista, Morgan sostiene que los modelos actan ( o mejor dicho son utilizados) como mediadores, mediando entre las teoras y los datos y para hacerlo efectivamente necesitan mantener una cierta independencia tanto de las teoras como de los datos; pero adems para Morgan, los modelos cuentan historias , no son pasivos, en su dinmica siempre se incluye una historia. Siguiendo a la literatura del enfoque retrico 39 Morgan tambin sostiene que todo modelo incluye metforas y que estas interactan con la historia. Para Wade Hands, puede ser una alternativa interesante para lograr un mejor entendimiento del uso de los modelos en la Economa. Garca de la Sienra, por su parte , termina su anlisis de la postura original de Wade Hands, admitiendo que las crticas sugieren la necesidad de una nueva evaluacin de la Concepcin estructuralista desde la Economa. Sugiere el autor mexicano, que el primer error consiste en tomar al enfoque estructuralista como una teora de la ciencia completa ya que lo abarca es slo un aspecto de las mismas La concepcin estructuralista dice Garca de la Sienra, es una concepcin acerca de la estructura lgica de teoras cientficas matemticas, cuya semntica puede ser parcialmente elucidada a travs de nociones conjuntistas extensionalistas. Pero, agrega el autor mexicano hay aspectos de teoras cientficas e inclusive teoras cientficas enteras cuyo contenido no se puede reformular enteramente en trminos de nociones conjuntistas puras.

34 35 36 37 38 39

A la que Wade Hands agrega la suya propia Wade Hands, D Op.cit.p.348 el nfasis en el original Balzer, Wolfgang citado por Wade Hands,D.op.cit p. 348 Wade Hands, D op.cit p. 348 nfasis en el original Wade Hands, D op.cit p.352 Fundamentalmente representada por D. Mc.Closkey, Arjo Kramer,etc

De hecho, para Garca de la Sienra, el pretender reducir las teoras a estructuras conjuntistas es un fundamentalismo insostenible, lo que fue reconocido por el propio Joseph Sneed desde el principio muchas teoras no estn lo suficientemente elaboradas ma temticamente para ser candidatas claras a una reconstruccin estructuralista 40 Para Garca de la Sienra no es que todava no se hayan desarrollado, sino que, tal vez, sera un despropsito desarrollarlas as. O como lo dice ms enfticamente: Las teoras cientficas no son estructuras conjuntistas aunque algunos aspectos de las mismas involucren estructuras conjuntistas 41 Despus de tan fuerte advertencia, continuemos nuestro anlisis, algo ms cautelosos. Examinaremos entonces, en primer lugar algunas de las reconstrucciones de teoras econmicas desde concepciones semnticas, para luego analizar en que consiste la idealizacin sugerida por Wade Hands como una alternativa al problema planteado con las concepciones semnticas en Economa 10. El intento de sntesis de Hamminga

Como mencionamos previamente, resulta particularmente pertinente a nuestro tema, analizar el artculo de Bert Hamminga (1989) donde ste intenta una comparacin entre el estructuralismo a la Sneed y la posicin de idealizacin de Nowak.
Lo que va a comparar Hamminga, son las diferentes reconstrucciones de Marx, siguiendo cada postura, aclarando previamente algo que comparto: que aprendemos de Economa en el proceso de hacer esas comparaciones metatericas. Respecto de Marx, lo que va a analizar concretamente Hamminga es la teora del valor incluida en el Volumen III de El Capital. (Marx 1894- e1910), que de acuerdo al autor puede considerarse como average theory structure you find in Economics (p.248) La ltima advertencia previa de Hamminga me parece la ms importante y por eso la cito extensamente: I will not mix up the reconstruction with an evaluation of the theory. It is irrelevant whether or not the reconstructor believes or not the theory to be true, and it is note even relevant for this article, whether or not Marx believed it himself. (p248) Me parece una aclaracin absolutamente indispensable no nicamente para este enfoque si no en realidad para todos, ya que el propsito de estos anlisis metatericos es reconstruir la estructura de una teora, no evaluarla. La ley fundamental del valor de Marx dice que para cualesquiera bienes x e y p(x)/p(y)= w(x)/w(y) siendo, siendo p los precios de las mercancas y w el trabajo socialmente necesario para producirlas. Por su parte, ese w puede descomponerse en tres partes, es decir; w= c(x) + v(x)+ m(x) en donde c(x) son las materias primas necesarias para producir x, v (x) el tiempo de trabajo medido en salarios necesarios (capital variable), y m(x) el resto del trabajo o plusvala. Como bien aclara Hamminga, siguiendo a Nowak, Marx nunca dice que hayan existido estados en los que V (p(x)=w(x)) con x E que es el conjunto de todos los bienes producidos en una economa. Para Marx por el contrario, sta no es si no una ley ideal que slo se mantienen en economas abstractas y no existentes, que satisfacan estas condiciones a continuacin detalladas: C1 Todos los commodities del mismo tipo requieren el mismo tiempo de trabajo
40 41

Sneed, Joseph, citado por Garca de la Sienra, A.op.cit. p 12 Garca dela Sienra,A op.cit. p.12

C2 La proporcin de c(materias primas) y v (tiempo de trabajo medido en salarios necesarios) es constante para toda x C3 No hay capital fijo C4 El perodo de anlisis para cada capital es uno C5 No hay capital mercantil C6 No hay tasa de inters, es decir es decir que la actividad financiera no recibe plusvala C7 No hay renta diferencial de la tierra C8 No hay renta absoluta de la tierra Por eso Nowak escribe esta proposicin idealizacional fundamental: Si E es el conjunto de bienes producidos en una economa capitalista real y C1y C2 y C3 .y C8 entonces V x E (p (x) = w (x) ) A las condiciones las denomina condiciones idealizacionales; su conjuncin forma el antecedente de la implicacin material. Al consecuente lo denomina Ley ideal Acerca de las condiciones Hamminga destaca 3 caractersticas claves: a) b) c) Son falsas y Marx estaba perfectamente al tanto de eso Marx crey tener una razn para introducir a cada una de ellas Estas razones de introduccin no surgen de la formalizacin; vienen como dice Hamminga from somewhere else (p.250)

Luego Hamminga analiza las razones de introduccin de cada una de las condiciones idealizacionales, pero la crtica de las mismas excede el propsito de este trabajo. En cambio, resulta especialmente pertinente la coincidencia del autor con Nowak respecto de la estrategia de Marx, que consisti en ir removiendo sucesivamente estas condiciones idealizantes, introduciendo al mismo tiempo una modificacin en la Ley ideal, para mantener la consistencia en situaciones competitivas donde las citadas condiciones idealizantes no se dan. As, mencionan la existencia de un ncleo duro terico uniforme al que denominan K, que se puede formular como que condiciones competitivas rigen en el mercado de capitales, del trabajo y en los mercados de todo tipo de commodities. Es este punto donde Hamminga diverge de la reconstruccin de Nowak, ya que ste asigna a la deduccin el papel de inferir consecuencias de las proposiciones idealizacionales, mientras que para Hamminga, las mismas condiciones idealizantes (incluidas en las proposiciones idealizantes) son tambin deducidas de la ley del valor en conjuncin con el ncleo K. Para Hamminga esa conjuncin es consistente, si y slo si se dan las condiciones idealizantes. Como bien aclara Hamminga, en el lenguaje del estructuralismo a la Sneed -Stegmuller-Balzer (p.259), la reconstruccin de Nowak, no es una reconstruccin de la teora de Marx, sino una reconstruccin de la secuencia de aserciones que Marx dedujo de su teora, ya que as deben ser interpretadas para el autor. Para explicar el procedimiento de Marx en el lenguaje el estructuralismo, Hamminga recurre a dos diagramas de Venn, que resulta pertinente replicar:

P (MPP) es el conjunto de todas las economas capitalistas imaginarias. S(C) es el conjunto de las economas capitalistas que cumplen la condicin C. La flecha 1 indica el conjunto ms pequeo, para el que se cumplen las 8 condiciones. La flecha 2 indica el conjunto de las economas capitalistas en las que se cumplen las 7 condiciones restantes, pero no la 1 y as sucesivamente. Por su parte I el conjunto de las economas capitalistas, cuya estructura coincide con las economas capitalistas reales es el que incluye al sealado con la flecha 4 , que cumple nicamente con la condicin 8. Para Hamminga esto no representa adecuadamente al pensamiento de Marx y por eso propone el Diagrama 2

Ahora las condiciones idealizantes aparecen en el antecedente de una implicacin material. Y esto invierte exactamente las relaciones entre los conjuntos. Uno simplemente sabe dice Hamminga que la proposicin idealizante es verdadera para la economas capitalistas reales, porque si el antecedente de un condicional es falso, el condicional siempre lo es. As entonces, el conjunto sealado por la flecha 5 excluye a un nmero muy reducido de economas, en donde todo el mundo sabe que I no se encuentra all. Si eliminamos la condicin 1 se obtiene otro conjunto marcado por la flecha 6 y, de nuevo, todo el mundo sabe que I est incluido en el mismo. Hamminga concluye que Marx intent, y usa la misma expresin que Wittgenstein, Marx is finally prepared to throw away the ladder on which he climbed up from deep. (p.263) Tambin aclara Hamminga que la ley del valor es una proposicin no-.testeable, pero para Marx justificable por el proceso de concretizacin graficado en el Diagrama 2, al ir eliminando cada una de las condiciones idealizantes. En su opinin las lecciones de comparar a Marx a la Nowak y a la Sneed son entre otras; a) Que la serie de proposiciones idealizantes de Nowak, no deben hacernos olvidar que para Marx las condiciones idealizantes son lgicamente deducidas de una base terica. b) Que las afirmaciones al estilo Sneed pueden ser construidas pero que son trivialmente verdaderas, ya que los antecedentes falsos convierten a la ley del valor y a todas sus formas modificadas en no-testeables. c) Esas formas modificadas de la ley del valor son consideradas, por Marx como establecidas por el propio procedimiento de concretizacin ( established by the procedure of concretization itself p.264 con nfasis del original) A mi juicio, el artculo de Hamminga analiza slo de soslayo a lo que llama la posicin estructuralista a la Sneed, pero de todas maneras resulta un intento valioso de dilogo entre ambas posiciones.

11. manera de conclusin provisional Pocas veces una conclusin puede ser tan provisional como en ste caso. En primer lugar, es pertinente aclarar que el esfuerzo metaterico en elucidar la estructura de las teoras de una disciplina, sirve para conocer ms profundamente a la misma. Como Brett Hamminga seala en su comparacin entre idealizacin y estructuralismo, intentando reconstruir una teora econmica aprendemos Economa. Creo advertir a lo largo de las idas y vueltas reseadas en este trabajo, un hilo conductor: la confusin. Todos los economistas han hablado de idealizaciones, sin detenerse demasiado a reflexionar sobre lo que significaba. O, para no caer en un whiggism exagerado, si bien muchos s se detuvieron a analizar el significado de idealizacin, no se preocuparon demasiado por uniformar su sentido, Me parece que ha quedado bastante claro tambin que, para los economistas profesionales interesados en el tema, el camino a utilizar en la conceptualizacin de las teoras y de sus relaciones en el rea, parece ser de idealizacin, signifique esto lo que signifique, en sus diversas variantes. Existen razones principalmente histricas para apoyar esta preferencia dentro de la disciplina. Luego de analizar entonces, diversos usos de esa idealizacin, hem os intentado ver como se podra estudiar la misma, una vez elucidado y uniformado su significado dentro de la disciplina siguiendo a Nowak cuyo trabajo aparece como el ms reflexivo, detallado y minucioso al respecto, desde el punto de la concepcin estructuralista. Por ltimo hemos presentado algunos ejemplares de ambos enfoques. En el marco de la tradicin histrica de la Economa con respecto a la idealizacin, me parece tambin pertinente destacar la trascendencia de las elucidaciones de Balzer-Zoubek y de Moulines-Straub. Creo que ambos anlisis, junto al de Nowak, pueden ser muy tiles para aclarar el papel de las idealizaciones en Economa. Lo ms importante para resolver un problema es plantearlo correctamente y las elucidaciones de referencia contribuyen a eso. En lo que hace al interesante debate inconcluso entre Wade Hands y Garca de la Sienra considero ( como por otra parte tambin considera el mismo Garca de la Sienra,) que algunos de los interrogantes planteados por Douglas Wade Hands no han sido respondidos definitivamente y creo que, por lo tanto, siguen siendo los problemas a intentar resolver. Por otra parte las diferencias entre la idealizacin y la concepcin estructuralista no parecen ser insalvables ni irreductibles, sino todo lo contrario y podran representar una posible solucin a las crticas de Wade Hands. La idealizacin, un procedimiento usado en la Economa desde sus inicios puede, a mi juicio, integrarse sin demasiados conflictos dentro del enfoque estructuralista, si convenimos previamente de qu clase de idealizacin estamos hablando. Al respecto la afirmacin de Wade Hands que considera a la idealizacin como un procedimiento alternativo, parece equivocada, particularmente despus de las elucidaciones de Balzer-Zoubek y Moulines-Straub. Asoma como ms sensata y frtil para el futuro, la postura de Garca de la Sienra, que recurriendo a Sneed, separa a las teoras bien desarrolladas matemticamente y que por lo tanto admiten ser reducidas a una estructura conjuntista, de las que no lo estn. Por otra parte el propio anlisis de Moulines-Straub sostiene que toda teora cientfica contiene elementos pragmticos irreducibles a una formalizacin. No comparto sin embargo, la postura de Garca de la Sienra que en algunos casos no sera conveniente el desarrollo en ese sentido, creo que es una afirmacin demasiado arriesgada como para sostenerla en el tiempo. Por el contrario sostengo que, con la salvedad destacada por la elucidacin de Moulines-Straub, el esfuerzo metaterico dedicado al desarrollo de la formalizacin de teoras econmicas, redunda en beneficios para la propia disciplina. No creo que sea sencillo, y tal vez sea imposible, anticipar cual debe ser el desarrollo metaterico de una disciplina. Lo que s es posible y recomendable es sealar los caminos que parecen ms fructferos.

se ha sido el objeto de este trabajo.