HAL Id: hal-01143746https://hal.archives-ouvertes.fr/hal-01143746

Submitted on 20 Apr 2015

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

El problema de la continuidad y la distinción entreprogramas de investigación regresivos y progresivos. Uncomentario a Derek J. de Solla Price: la traducción de la

edición del 86 de Little Science, Big Science... andbeyond

Enrique Wulff Barreiro

To cite this version:Enrique Wulff Barreiro. El problema de la continuidad y la distinción entre programas de investigaciónregresivos y progresivos. Un comentario a Derek J. de Solla Price: la traducción de la edición del 86 deLittle Science, Big Science... and beyond. LLULL : boletin de la Sociedad Espanola de Historia de lasCiencias, Sociedad Española de Historia de las Ciencias y de las Técnicas, 1991, 14 (27), pp.645-649.�hal-01143746�

644 VICIOR VIZGUIN LLULL 14

BIBLIOGRAFIA

ARISTOTELES (1937) Física. Moscú, Socecguiz, (en ruso). Traducción de V.P. Karpov.

2 ARJSTOTELES (1951) De la généra/ion e/ la corrup/ion. París. Trad. francesa de J. Tricol.

3 VIZGUIN, V. (1980) "Surgimiento y desarrollo de las ideas sobre sustancia en la filosofía de la naturaleza". In: Historia general de la química. Surgimiento y desarrollo de la química de la antigüedad al siglo XVII. Moscú, Nauka, (en ruso).

4 VIZGUIN, V . (1982) Génesis y estructura del cualita/ivismo aristotélico. Moscú, Nauka, (en ruso).

5 GOMPERZ, T. (1911) Pensadores griegos. Vol. 1, San-Petersburgo, (en ruso).

6 GUTHRIE, W.K.C. (1984) "Los primeros presocráticos y los pitagóricos". In: His/oria de la filosofía griega. Vol. 1. Madrid, Gredos. Versión española de Alberto Medina González.

7 KIRK, G.S., RAVEN, J.E. (1966) The Presocra/ic Philosophers. Cambridge.

8 KIRK, G.S., RAVEN, lE. (1974) Los filósofos presocráticos. Madrid, Gredos. Historia crítica con seleccion de textos. Versión española de Jesús García Femández.

9 LEBEDEV, A.V. (1978) "To ~1tnpov: no Anaximandro sino Platón y Aristóteles". In: Ves/nik drevnii is/orii (Revista de historia antigua), No /, p. 30-54, No 2, p. 43-58, (en ruso).

10 LOSEV, A.F. (1963) His/oria de la es/ética antigua. Moscú, Vyschai skola, (en ruso).

11 MAKOVELSKI, A .O. (1914) Los presocráticos, p. 1. Kazán, (en ruso). 12 MAKOVELSKI, A .O. (1919) Los presocráticos, p.lI. Kazán, (en ruso). 13 MAKOVELSKI, A.O. (1919) Los presocráticos, p. III. Kazán, (en ruso). 14 MAKOVELSKI, A.O. (1946) Los atomistas griegos. Bakú, (en ruso). 15 PARTINGTON, J.R. (1970): A His/ory of Chemistry. Vol. 1, p. 1,

London. 16 PLATON, (1971) Obras. Vol. 3, p. 1, Moscú, Nauka, (en ruso). 17 ROBIN, L. (1944) Aris/o/e. Paris. 18 ROJANSKI, 1.D. (1972) Anaxágoras . Moscú, Nauka, (en ruso con

textos griegos) . 19 RORSVIK, D. (1973) "Lo que pueden contar los olores". In: Za

rubezhom, No 30, (en ruso). 20 SAMBURSKY, S. (1990) El mundo físico de los griegos. Madrid,

Alianza. Versión española de María José Pascual Pueyo. 21 ZUBOV, V.P. (1965) Desarrollo de las ideas atomistas antes del siglo

X/X. Moscú, Nauka, (en ruso).

NOTAS

EL PROBLEMA DE LA CONTINUIDAD y LA DISTINCION ENTRE PROGRAMAS DE INVESTIGACION REGRESIVOS y PROGRESIVOS. UN COMENTARIO A DEREK J. DE SOLLA f PRICE: LA TRADUCCION DE LA EDICION DEL 86 DE

LlTTLE SCIENCE, BIG SCIENCE... AND BEYOND

ENRIQUE WULFF BARREIRO

El estatuto del máximo aporte sistematizador de la producción en el campo de la estimación y desentrañamiento de la mecánica en el mundo de la publicación investigadora gira en tomo al carácter de teoría de la valoración de las medidas de continuidad y transitoriedad.

El profesor de Historia de la Ciencia de la Universidad de Yale, Derek J. de Solla Price, expone en la edición del 86, cuya traducción aquí se comenta, de su obra Lillle Science, Big Science ... and Beyond, el rango de soluciones que en orden a dar cuenta de las formulaciones matemáticas que conforman ciertos nódulos fundamentales de los avances que en todos los órdenes procura, engarzan con la estructura de teoría que en la órbita de su colegio invisible al análisis de citas le confieren. Price puso en relación la historia del ingenio griego de relojería An/iky/hera con la historia del computador y de las ciencias del computador l .

Para dar una aproximación de la óptica priceana a lo que se ha de entender por frente de investigación cabe postular: determinadas comunicaciones no pertenecen al frente de investigación, i) si tienen un origen en exceso reciente, ii) en general aquéllas cuya frecuencia de cita es menor, iii) a menudo guardan una naturaleza más conceprual (como opuesta a operacional).

Price sugería que el fren te de investigaci ón estaba contenido en las personas y resultaba transferido con cl movimiento de las personas2 La esfera de tratamiento conceptuali zador aquí desarrollado ciñe la discusión acerca de la

NOTAS 647646 NOTAS LLUlll4

continuidad a un marco normativo. Esto impone distinguir entre teorías y programas de investigación .

Se entiende por programa de investigación la unidad descriptiva típica de logros científicos3. Distinguimos entre un carácter progresivo y regresivo a partir de que se incorporen o no hechos nuevos que doten de un determinado exceso de corroboración dispuesto para que el programa exceda en poder explicativo; la traducción de este volumen en español sucede de este modo, el cambio de reglas de catalogación AACRl y AACR2 es también de esta índole.

El punto de vista que aquí se sostiene busca referirse de forma única a la rivalidad entre programas como el elemento de evaluación en un proceso heurístico determinado; al cabo vale bien hacer constar lo que en el desarrollo de la maquinaria lógica hay de experimento crucial. Si esto es así el crecimiento de la ciencia queda ampliamente vinculado con el postulado que busca tender un puente para sortear en términos de inteligencia social, el importante escalón que en términos de desarrollo cabe inferir a partir de la transferencia dentro de la estructura de la tecnología en el ámbito específico de la transmisión por los canales del conocimiento de la Comunidad Científica. Esto significa que relativo a la perspectiva donde lo que prima radica en criterios de aceptabilidad incardinados en el conocimiento personal, el carácter de institución, disciplina o ciencia de la reflexión en torno al hecho bibliotecario, en ausencia de un conveniente debate metodológico, puede degenerar en una casuística corrompida; sólo solventable a través de su formalización en base a dispositivos matemáticos que incluyan el teorema de completitud y claúsulas de garantía. Cabe, en consecuencia, derivar un análisis cuantitativo del modelo de flujo de autoría científica que presente su conformidad como sistema formal. ¿Por qué se queda la mayor parte de la Inteligencia Artificial en las mentes de quienes en esta disciplina trabajan?

La caracterización que aquÍ prima en orden a definir la refutabilidad 4, en orden a destacar como criterio de superación de una teoría por otra, es la verdad traskiana. Por lo tanto, si de fundamentar un núcleo firme se trata para que quepa formular el carácter progresivo del programa en el que la pregunta en tomo a la conformación teórica del problema de la continuidad, Kurt Godel garantiza la decibilidad. Decimos que los objetivos abstractos pueden razonablemente denominarse objetos matemáticos, lo que la estadística actuaria opera en este sentido es formalizable. Lo, supuestos lógicos en base a los que se levanta el edificio de la teoría de la Metabiblioteconomía5 no dejan de ser una teoría sustitutiva, un metalenguaje que determina expresiones, esto es la especie de objetos que se ofrecen como modelo intuitivo de la aritmética.

La vinculación a la sistematización formal viene dada por el sentido explícito de la verdad de un aserto al modo en que lo hemos anunciado. Pedimos entonces, para entrar en el orden de los procesos estocásticos que se verifique la propiedad fundamental de consistencia. Es ésta una exigencia formal; diremos que expresa una norma sintáctica. Ha de tenerse presente que para la

determinación de una regla de decisión completa para la clase universal de problemas 6 solamente alcanza la plenitud sintáctica en tanto que programa autodelimitante cuando se cierre el último de los subprogramas abiertos; al modo del cierre de paréntesis en las expresiones matemáticas. Cuál la posibilidad de fabricar máquinas de mezclar inteligentes la reflexión que antecede exige un terreno de experimentación real en términos informáticos; la postulación algorítmica de la información encuentra de esta manera en la exposición de su comportamiento caótico dificultades insuperables. Tan es así que los nuevos desarrollos teóricos muestran como la fuerza informática bruta no ayuda a contestar muchas de las preguntas. Se entiende por modelo7 un conjunto de condiciones iniciales (posiblemente en conjunción con ciertas teorías observacionales) del que se sabe que debe ser sustituido en el desarrollo ulterior del programa, e incluso cómo debe ser sustituido (en mayor o menor medida).

Sentado de esta manera el horizonte sintáctico en base al cual hablar de teoría en el caso de la práctica de citas está confirmado; el carácter de modelo del ciclo de citas elude por sí mismo las papeleras al modo del siglo XVII.

f Si lo que ahora prima es, como sabemos, discernir si de propiedades teóricas o de sugerencias es posible hablar en el caso de la continuidad de la autoría científica, la opción que aquí se retiene es la metodológica.

El activo que en el campo de la formalización metodológica de la Teoría de la Continuidad en estas condiciones no se sustrae; reside en su paralelismo con el crecimiento de la ciencia. La práctica efectiva que constituye la reificación oel concepto científico de modelo viene dada en la lógica matemática. Ahora bien, no se trata de utilizar las matemáticas sino de dar cuenta de una actividad donde las Ciencias Exactas están implícitas, en la medida en que demuestran a través del modelo cosas que no aparecían a simple vista. Sin embargo, no pueden dejar de mencionarse que son, de hecho, concepciones metodológicas ligadas a la idea de modeloS las que suponen serias dificultades y resistencias al descubrimiento.

Ha de recordarse, no obstante, que la propia forma lógica en que se articula una teoría depende, en no poca medida, de cómo articular las decisiones metodológicas. Y si solventar las dificultades teóricas viene, en su origen, a ser resolver dificultades matemáticas, ¿no es ajena la Ley de Walras a las fórmulas en base a las cuales análisis de citas y continuidad encuentran su sitio en Cienciometría? Lo que se retendrá, al cabo, viene a ser que con todo el grado de refinamiento al que alcance la modelización en términos matemáticos, la posibilidad de la transformación social del significado ha de reconocerse9.

Los usos informáticos confieren a la discusión en tomo al carácter de Leyes o de Conjeturas su campo de experimentación; y esto en base al postulado que quiere que la experimentación matemática no tiene otro lugar material que aquel en el que se pone de manifiesto la diferencia de las marcas 10 . El medio cibernético es el ámbito experimental de su teorización. Entendemos la [unción computable con los mismos criterios constructivistas que le conferían su

carácter extensional en la matemática clásica. Es así que la eleganc ia de la prueba en la demoslración del carácter de propiedades teóricas está en la base del enjuiciamiento estético que argumenta el empleo de la estadística en la configuración de la teoría de la continuidad en perspectiva priceana. Se presenta el modelo lógicamente consistente en un sentido es tético. No puede eludirse entonces una discusión en tomo a los límites de la computabilidad; el desarrollo acumulativo en que cabe cifrar el crecimiento de la ciencia topa con la noción de la plausibilidad interpretable en términos algorítmicos. Si mantenemos la noción de decibilidad en su pleno sentido matemático, la cerrada relación entre la estructura demo gráfica de la comunidad científica y la distribución de la productividad de autores científicos (cuyo volumen total se estima en términos de peso) contemplado a través del prisma del perfil de la barrera entre co ntinuadores pertenecientes al núcleo duro de continuadores firmes altamente persi stentes y externos a és te es interpretable en término s del paradigma emergente en Catalogación, que supone la aplicación de lo s sis temas expertos a este dominio de lrabajo au tomático 1 1. Así, el problema principal que en el uso de este modelo va a encontrarse, vendrá deriv ado de las dificultades com putacionales inherentes a la Inteligencia Artific ial.

Eil términos de comunicación, cabe por último alojar las ideas de com unidad continuante y transitoria en los procesos simbólicos de cons trucción de procedimientos estandarizados y momentáneos 12. Y es to al modo en que la discusión en tomo a la barrera m ás arriba mencionada puede clarificarse en una pregunta sobre la transformación de un símbolo momentáneo en uno estándar. Lo que demostrado, no constituye sino un sistema formal en el que queda definida cierta unidad de medición. Ahora bien, entendiendo los símbolos estándar como una idea producto de un proceso de selección y diálogo por parte de muchos individuos a lo largo de un período de tiempo, cabe modelizar la decibilidad de la interrelación si mbólica como un proceso colec tivo . Lo que no dejan de poner en cuestión las prácticas monopólicas de los grandes gigantes de la industria de la información; quienes desenfadadamente propugnan legislación coercitiva en aras al desarrollo de la maquinaria lógica prinpiciando con ello su propia imagen colectiva l3 . No deja de ser tarea de la bibliografía aplicada sentar las bases para la comprensión en términos de interés público de lo que de otro modo, sin dejar de ser crecimiento de la ciencia, entra de lleno en el ámbito de la credibilidad de mercado.

NOTAS

PRICE, D.J. de S . (1959) "An Ancient Greek Computer", Scientific American, 200, 60-67.

2 PRICE, D.J. de S. (1980) "Ciencia y Tecnología: distinciones e interrelaciones", en B. Bames (ed.): Estudios sobre sociología de la ciencia. Madrid, Alianza. pp. 163-177.

3 LAKATOS, 1. (1974) "Ciencia y Pseudociencia", en J. Worall y G. Currie (eds .) : La metodologfa de los programas de investifiar:i6n científica. Madrid, Alianza. pp. 9-16.

4 PRIDA, 1.F. (1973) Una prueba algebraica de lo.\' teoremas de Skolem­Lowenheim y Godel. M adrid, Centro de Cálculo de la Universidad. p. 31.

5 NITECKI , J .Z. (198 1) "An Idea of Librarianship: An Olltline for a Root­Metaphor Theory in Library Science ", Journal of Library lIi story, Vol . 16, No . 1, pp. 106-120.

6 CHAITIN, G.J. (1988) "Aritmética y azar", Investi¡;aci6n y Cienc ia, 144, 44-50.

7 LAKATOS, 1. (1989) "La falsación y la metodología de los programas de investigación científica", en 1. Worall y G. Currie (eds.): La metodolog fa de los programas de investigaci6n científica. Madrid, Alianza. pp. 17-133.

8 BARBER, B . (1961) "Resistence by Scientists to Scie ntific Discovery", Science, Vol. 134, pp. 596-602.

9 SMALL, H.G. (1978) "Cited Documents as Concepts Symbols", Social Studes of Science, Vol. 8, pp. 596-602.

10 BADIOU, A. (1976) "El concepto de modelo" , en A. Badiou: El cor¡ceplO de modelo. Buenos Aires, Siglo XXI. pp. 7-89.

11 SMITH, L.D. (1987) "Artificial Intelligence and Inform ation Retrieval" , Annual Review of Information Science and Technology, Vol. 22, pp. 41-77.

12 LEACH, E. (1989): Cultura y comunicaci6n : La l6g ica de la conexión de los símbolos . Madrid, Siglo XXI. (p. 17).

13 RAFFERTY, P ., CRONIN, B . y CARSON, 1. (1988) "Corporate citizenship and monopolistic prac tices in the information industry: a study of lBM", Aslib Proceedings, Vol. 40, No. 3. pp. 69-77 (p. 69).

PROYECTO DE INVESTIGACION FALLSTUDIEN ZUR BEGRÜNDUNG EINER

SOZIALGESCHICHTE DER FORMALEN LOGIK

JESUS PADILLA GALVEZ

El Institut für Philosophie de la Univ ersidad de Erlangen-Nürenberg, (R.F.A.), está llevando a cabo una investigación con el título: Fallstudien zur Begründung einer Sozialgeschichte der formalen Log ik (Estudio de casos sobre el fundamento de una historia social de la lógica formal) a cargo del Prof. Dr. Christian Thiel, limitándose a considerar sólo el periodo comprendido entre la Revolución Francesa hasta la Primera Guerra Mundial. El Proyecto está organizado por el Dr. Yolker Peckhaus, un grupo de estud iantes que vinculan, o bien su tesina o su tesi s doctoral al proyecto . Ade más se es tá llevando a cabo un intercambio con diferentes Profesores de univ ers idades ex tranjeras con el fin de que los elementos de esrudio no queden lim itados físicamente.