Professional Documents
Culture Documents
es
COLABORACIONES
SEMNTICA Y
FILOSOFA DE LA CIENCIA
MIGUEL NGEL QUINTANILLA
Salamanca
( 1) En F. SUPPE, The Search for Philosophic Understanding of Scientific Theories, que constituye una extensa introduccin a la obra The
Structure of Scientific Theories (University of Illinois Press, Urbana,
Chicago, London, 1974), editada por el mismo Suppe, se ofrece un
buen panorama de las teoras de la ciencia ms importantes n l
actualidad. Lo que aqu llamamos concepcin analtica clsica, coincide
bastante aproximadamente con la concepcin heredada (received
view) de que habla Suppe. Un buen resumen de este trabajo
puede encontrarse en D. RIBES, Panormica actual de la filosofa de lt.
ciencia. Estructura interna de teoras y cambio cientfico, en Teorema
VI, 3-4 (1976) 359-425.
( 2) Cfr. J. MUGUER2A: Nuevas perspectivas en la filosofa contempornea de la ciencia. Teorema 3 (1971) 25-60; La teora de las revoluciones cientficas (Una revolucin en la teora contempornea de la
ciencia). Introduccin a la edicin castellana de I. LAKATOS y A.
MUSGRAVE (eds.) Cristicism and the Growth ofKnowledge (Cambridge
University Press, 2/72), de Grijalbo (Barcelona 1975. Tambin: M. A.
QUINTANILLA, Hacia una teora postanaltica de la ciencia, en Renista de Occidente (septiembre 1974), recogido ahora con modificaciones
en Ideologa y ciencia, Valencia 1976 (cap. II).
35
diante los diversos intentos de reconstruccin de una lgica inductiva, bien a travs de la metodologa falsacioista
estrictamente popperiana. En ambos casos el problema
del desarrollo cientfico se plantea como un problema de
relaciones de confirmacin, corroboiracin o falsacin,
entre diversos tipos de enunciados. Ciertamente la
^ f e ^ g -^eBEer no se puede asimilar de forma complejgr ?i e^;snple variante accidental de la concepcin analMia clsica. Su insistencia en el carcter fundamentalmente metodolgico y normativo, no analtico, de la teora de la ciencia, su insistencia en el carcter terico de
todos los enunciados cientficos, y su concepcin general
del racionalismo crtico van ms all de las posibilidades
contempladas por la concepcin analtica clsica. Y con
sus aportaciones precisamente ha dado pie al surgimiento
de lo que aqu llamamos filosofa pos-analtica de la ciencia.
Entre las figuras ms significativas de la nueva con_:ecciiv pos-analtica (y pospopperiana) de la filosofa de
la ciencS^Sguran Th. S. Khun (3) y P. K. Feyerabend
(4). Las aportaciTies ms significativas, para lo que aqu
nos.interesa, son las-siguiefit?sr
-::_____r^
i) La ciencia aparece como una empresa compleja,
no reducible a su dimensin estrictamente lingstica
(que, sin embargo, no se niega), sino inserta en el resto
de la ^ t u r a y de las actividades sociales, y dotada de un
carcter esencialmente dinmico y autotransformador.
2) Adquiere una importancia especial el problema
del cambio de significado de los trminos y proposiciones cientficas a lo largo del desarrollo de la ciencia.
evolucin cientfica: toda la teora del desarrollo cientfico se asienta en el supuesto de la invariancia del significado de los trminos cientficos. Este presupuesto es
implcitamente compartido tambin por Popper, para
quien el desarrollo de la ciencia sigue una especie de lnea progresiva continua'(desde la ameba hasta Einstein)
aunque tortuosa (a travs de ensayos y errores); y es criticado precisamente por Feyerabend y por Kuhn que
postulan la inconmesurabilidad semntica de los trminos
de una teora T y otra T' cuando T' es el producto de
una revolucin cientfica operada en el campo de T
(Kuhn).
La concepcin semntica en filosofa de la ciencia se
ha desarrollado paralelamente a la concepcin pos-analtica, pero manteniendo una ms estrecha vinculacin con
el espritu, al menos, de la concepcin analtica clsica.
En especial se comparte con esta ltima el uso de mtodos formales y de la reconstruccin axiomtica de las
teoras cientficas. Por otra parte la insistencia de Popper
en el carcter terico de todos los enunciados cientficos
ha llevado a abandonar la distincin tradicional absoluta
_entce__trminos tericos y trmins~oBservacionales, sustituyndola por una distincin, contextualizada en relacin con una teora dada, entre aquellos trminos que
funcionan como tericos para la teora en cuestin y
aquellos que se consideran no tericos en relacin con
la misma teora (lo que no implica que no puedan ser
tericos en una-teora previa o diferente). Por lo que se
refiere, al problema del contenido emprico o factual de
las teoras cientficas, en la concepcin semntica se
abandona tambin toda pretensin de resolverlo median-
El reto que plantean las teoras de Kuhn y Feyerabend a la filosofa de la ciencia (y que comparten con
autores como Hanson (5), y Toulmin (6), el ltimo Laicatos (7), es el reto de la propia racionalidad del cambio
cientfico y, paralelamente, el del estatuto filosfico de la
propia teora de la ciencia.
Por lo que se refiere al significado de los trminos y
proposiciones cientficos la situacin se presenta de la siguiente manera: se trata de un problema no ajeno a la
concepcin analtica clsica^ en especial en los planteamientos de Carnap, a partir de sus primeros estudios de
semntica. Pero la semntica de la ciencia disponible en
esta tradicin no est preparada para dar cuenta de la
( 3) T. S. K U H N , The Stmaure ofScientifk Revolutiom, (Chicago University Press, 2^ 1970).
(4) P. K. FEYERABEND, How to be a Good Empiricist,, en Minnesota Studies in the Philosophy of Science, vol. III (University of Minnesota Press, 1962) 28-97. Versin castellana en Cuadernos Teorema, Valencia.
(5) N . R. H A N S O N , Pattems of Discovery, (Cambridge University
Press, 1958). Versin castellana en Alianza Universal, Madrid).
(6) S. TOULMIN, Human Understanding, Pan. I (Clarendon Press,
Oxford 1972); versin castellana en Alianza Universidad, Madrid.
(7) I. LAKATOS, Falsification and The Methodology of Research
Programs, en I. LAKATOS y A. MUSGRAVE, Criticism... o.c., y Histry of Science and Its Rational Reconstruction, en Pndeeding of the
1970 Meeting. Philosophy of Science Association (Reidel Publishing Co.,
Dordrecht 1971) 91-136. Vers. cast. incluida en la traduccin de I.
LAKATOS y A. MUSGRAVE, o.c, (Grijalbo, Barcelona 1975V
36
EL BASILISCO
Una figura clave y significativa de este enfoque semntico es la de Patrick Suppes. A l se debe la idea de
sustituir la axiomat2acin de una teora mediante un sistema formal, al que luego se le busca una interpretacin
adecuada, por la definicin semiformalizada de un predicado conjuntista. La discusin en torno al uso de modelos en las ciencias empricas encuentra tambin en
Suppes una posicin caracterstica: aquella que consiste
en considerar tanto los sistemas fsicos idealizados de
que se ocupan las teoras cientficas, cuanto los sistemas
de datos que sirven para su comprobacin y contrastacin, como modelos de estructuras abstractas definidas
conjuntistamente (8).
La idea fundamental de este nuevo enfoque de la filosofa de la ciencia se puede enunciar as: una teora
cientfica consta de dos componentes principales, un ncleo K y conjunto I de aplicaciones propuestas (intended) de la teora. K es una estructura matemtica; I es el
conjunto de sistemas que constituyen modelos de K.
Analizar una teora cientfica es poner de manifest su
estructura matemtica o ncleo estructural, as como localizar el conjunto de sus aplicaciones. De esta manera
se combinan en la teora de la ciencia el anlisis formal y
la tarea histrico-pragmtica de localizar las aplicaciones
paradigmticas que constituyen un componente esencial
de la teora.
En lo que sigue nos centraremos en las concepciones semanticistas de Sneed y Stegmller por un lado, y
de Bunge por otro.
2. Sneed - Stegmller
El libro de Sneed, The Logical Structure of Mathematical Phisics, (8 bis) va a constituir sin duda un hito fundamental en la evolucin de la actual filosofa de la ciencia. El objetivo de esta obra es proporcionar un mtodo
de anlisis de las teoras cientficas alternativo al punto
de vista tradicional de los herederos del Crculo de Viena y dentro del espritu que acabamos de definir como
comn a los partidarios del enfoque semntico. Aunque
escrito solamente con la pretensin de que el sistema
interpretativo valga para las teoras altamente formalizadas de la fsica matemtica (el material real de cuyo anlisis se ocupa es la mecnica clsica de partculas segn la
axiomatizacin de McKinsey, Sugar y Suppes) (9), las
ideas que desarrolla parecen generalizables a otros tipos
(8) Cfr. P. SUPPES, Introduction to Logic, (D. Van Nostrand Co., Cincinnati, Toronto, London, Melbourne 1957), cap. 12; A Comparison of
T h e Meaning and Uses of Models in Mathematics and the Empirical
Sciences (1960), y Models of Data (1962), recogidos ahora en su obra:
Studies in the Methodology and Foundations of Science. Selected Papers from
1951 to 1969 (Reidel Pub. Co., Dordrech 1969) caps. 1 y 2.
(8 bis) Reidel, Dordrecht, 1971. En los ltimos aos se estn publicando muchos artculos en torno al paradigma abierto por el libro de
Sneed, especialmente en la revista Erkenntnis (segunda poca) cuyo n
10/2 (1976), est dedicado ntegramente a estos temas.
(9) J. C. C , McKinsey, A. C. Sugar and P. Suppes: Axiomatic Foundations of Clasical Mechanics, Journal of Rational Mechanics and Analysis 2 (1953), 253-272.
EL BASILISCO
Por lo que se refiere al anlisis del ncleo estructural, Sneed utiliza el procedimiento de axiomatizacin de
Suppes. En esencia se trata de entender la axiomatizacin como definicin de un predicado conjuntista, tal
como se realiza frecuentemente en matemticas. Un
ejemplo sencillo es la
Definicin de grupo: s es un grupo si existen D, o taque
x= <D, o>
D es un conjunto no vaco.
es una funcin cuyo dominio es D x D y cuyo rango es
un subconjunto de D.
un subconjunto de D.
(4) es asociativa en D.
(5) Para cualesquiera elementos a, b de D, hay un elemento e
de D tal que
a^b^eya^e^b.
Naturalmente la teora de grupos se puede axiomatizar tambin en la lgica de predicados de primer orden
con identidad introduciendo el signo de funcin = y est
claro que cualquier modelo de esta teora ser tambin
les
(1)
(2)
(3)
37
tipo: existe un sistema x tal que x es un S y a es el resultado de eliminar en x las funciones tericas deS. Si decimos
que un sistema x del que se obtiene el sistema z eliminando de X las funciones T-tericas es un enriquecimiento e a y simbolizamos x es un enriquecimiento terico de a po Kxa, entonces la formulacin Ramsey de la
proposicin a es un S queda as:
Yx (Rxa A X es un S).
Si llamamos M a los sistemas que son S (modelos de
S) podemos llamar Ai (modelos posibles de S) a aquellos
sistemas que sern modelos d S si los valores de sus
funciones T-tericas estn de acuerdo con los axiomas
que definen la estructura S; y Mj^ los sistemas que son
modelos parciales posibles de S, es decir a aquellos sistemas que resulten de la eliminacin de las funciones
tericas de Mp. Para nuestra miniteora una entidad
que satisfaciera los tres primeros axiomas sera un modelo posible de S, y cualquier conjunto finito no vaco D
sera un modelo parcial posible. En mecnica clsica de
partculas un sistema de partculas con posicin, masa
y fuerza determinadas es un modelo posible de la teora;
el correspondiente sistema cinemtico de partculas con
una posicin dada es un modelo parcial posible de la
mecnica.
D e acuerdo con este anlisis el ncleo estructural S
de una teora puede representarse como un cuadruplete:
K = <M^, Mp, R, M>.
en el que M es el conjunto de los modelgs de la estructura S, Y Mp, iMpp son los modelos ^sibls y parciales
posibles de 5', segn el sentido que acabamos de dar\a
estos trminos, y 1? es la relacin de enriquecimiento
terico X ay, con y eM ppy xeM p
En las teoras cientficas este ncleo estructural debe
ser completado con la especificacin de constricciones C
que afectan a las funciones tericas en las aplicaciones
efectivas de la teora. Estas constricciones son necesarias
si, como generalmente es de esperar, las diversas aplicaciones de una teora no son sistemas disjuntos, o los valores de una funcin terica en una aplicacin no son independientes de los valores de obtenidos en otra. Tal es
el caso, por ejemplo, en mecnica clsica, del valor de la
funcin masa para la Tierra que es invariante independientemente de que el sistema considerado sea el sistema Tierra-Luna, o Tierra-Sol o Tierra-Proyectil, etc. La
estructura de estas constricciones se puede representar
como una relacin entre los dominios de las funciones
tericas y sus rangos de tal manera que si entre los elementos de la unin de dominios de las funciones (entre
los elementos de diversas aplicaciones de la teora) vale
la relacin B, entonces entre los elementos de los rangos
(valores numricos) de esas funciones vale la relacin B'.
Por ejemplo, en nuestra miniteora: si el elemento a, de
la aplicacin a es idntico al a-, de la aplicacin , entonces n(ai) = n(a i). Completando el ncleo estructural de
una teora con estas constricciones tendremos:
K = {M^y A^, R, M, C }.
El otro elemento de una teora es el conjunt/ de
EL BASILISCO
MCMpCICAUp
Stegmller insiste en que uno de los componentes
fundamentales de la nocin de paradigma de Kuhri se
puede identificar con este conjunto / de aplicaciones
propuestas para una teora.
Para dar cuenta del desarrollo histrico de una teora es preciso acuar todava el concepto de expansin o
ncleo expandido E. La expansin del ncleo de una teora consiste en la adjuncin de leyes especficas L con
sus respectivas constricciones legales Q y una relacin
especfica de enriquecimiento RL de un subconjunto de
M ppen L; un ncleo expandido ser pues una estructura.
E = <Mpp. Mpy R. M, C, L, CL , R^>.
Desde esta perspectiva se puede entender el desarrollo histrico de una teora como la expansin de su
ncleo. Pero esta esq^ansin lleva consigo la ampliacin
del conjunto / de aplicaciones propuestas. Si llamamos lo
a las aplicaciones paradigmticas de la teora en el momento de su invencin y llamamos i a las aplicaciones
de la teora expandida en el tiempo t, el desarrollo normal de una teora en el sentido de Kuhn queda caracterizado por la condicin de que k D lo (implica la permanencia del paradigma). Correlativamente una revolucin
cientfica se caracterizar^ por el desplazamiento de un
paradigma, es decir, por la variacin en el ncleo estructural de la teora.
Est anlisis da cuenta bastante fielmente de algunas
de las ideas bsicas subyacentes a la teora kuhniana de la
ciencia. Desde el momento en que una teora no es
equivalente al conjunto de sus afirmaciones empricas,
sino que es una estructura abstracta ms, un conjunto
de aplicaciones histricamente dadas, no se puede hablar
propiamente de refutacin de una teora (en realidad de
un ncleo terico o paradigma). Esto no implica, sin embargo, conceptualizar la labor del cientfico normal como
una tarea aerifica: el cientfico en un perodo normal es
perfectamente racional dentro de su paradigma cuando
trata de encontrar expansiones del ncleo de su teora y
del conjunto / de sus aplicaciones. Desde este punto de
vista es posible el progreso cientfico dentro de un paradigma como una forma de progreso normal.
Respecto a la racionalidad del cambio de paradigmas
o desplazamiento de teoras, Stegmller defiende la posibilidad de hablar tambin aqu de progreso cientfico
siempre que la teora desplazada T se pueda reducir a la
nueva teora T'. Condicin necesaria de esta relacin de
reduccin es que el conjunto Mpp de modelos parciales
posibles de T quede incluido en el conjunto Mpp de
modelos parciales posibles de T'. Condicin suficiente
ser que para cada modelo M e T exista un modelo M'
de una expansin de T' obtenida mediante leyes y constricciones especficas del ncleo de T'.
EL BASILISCO
paradigmas o de ncleos estructurales, Stegrnller propone de hecho una revisin del propio concepto de racionalidad y progreso cientfico. Este no se puede concebir de forma lineal y absoluta. En un estado determinado
de la ciencia, se puede hablar de progreso si es posible
reducir una teora a otra en el sentido de que las predicciones, explicaciones, etc., de la primera sean recogidas
por la segunda, es decir si ambas teoras se aplican a los
mismos objetos aunque los conciban de distinta manera.
Pero en ltimo trmino, si la posibilidad de reduccin no es completa, el problema de la opcin por la
nueva teora no es un problema de racionalidad terica,
sino de racionalidad prctica, que habra que tratar, dice
Stegmller, con los mtodos de la teora de la decisin
racional.
A modo de conclusin y resumen de esta breve
exposicin de las concepciones de Sneed - Stegmller
podemos sealar los siguientes puntos: 1) El anlisis de
Sneed permite distinguir claramente entre las proposiciones que figuran en la exposicin o el uso de una teora y la teora misma. 2) Una teora es un compuesto de
un ncleo estructural abstracto ms un conjunto de
pretendidas aplicaciones de ese ncleo a sistemas fsicos.
3) El desarrollo normal de una teora consiste en la
expansin de su ncleo mediante leyes especficas y la
expansin del conjunto de las aplicaciones; en tal caso se
puede hablar de un progreso cientfico en el seno de un
mismo paradigma en el sentido de Kuhn o de un mismo
programa de investigacin en el sentido de Lakatos. 4)
Las revoluciones cientficas de que habla Kuhn pueden
entenderse como progresos cientficos si la teora^^desplazada se puede reducir a la nueva teora. Se puede hablar
as no de progreso absoluto y acumulativo de la ciencia
sino de un progreso relativo a una determinada lnea de
desarrollo. En todo caso, en la operacin de desplazamiento de teoras puede haber un componente prctico
(o pragmtico) cuya caracterizacin tendra que ver ms
con la lgica de la decisin que con la de la racionalidad
terica.
Una de las aportaciones ms significativas de este
enfoque de la estructura de las teoras cientficas consiste
en haber puesto de relieve lo que podramos llamar el
aspecto constructivista de la teorizacin cientfica. Inventar una teora es construir una estructura y proponer un
conjunto de aplicaciones. Por otra parte tiene el mrito
evidente, sealado por todos, de haber proporcionado
instrumentos analticos poderosos para dilucidar los aspectos lgicos presentes en la historia del desarrollo
cientfico, hasta el punto de que hoy puede parecer anticuada la pregunta del debate entre Kuhn y Popper (13).
Tenemos que decir, sin embargo, que no es sta la nica
manera de superar los planteamientos analticos clsicos
ni de integrar las aportaciones de la filosofa postanaltica
de la ciencia. En el prximo apartado nos ocuparemos de
la semntica de Bunge.
3. LA SEMNTICA DE BUNGE
Mario Bunge no ha escrito su tratado de semntica
(14) pensando en Kuhn, a quien apenas cita de pasada,
ni en Sneed, a quien no cita. Cita, sin embargo a Suppes
40
para polemizar con l. Su propsito es construir una teora semntica unificada de la ciencia factual que concibe
como radicalmente diferente a la semntica de las ciencias formales e imprescindible para posibilitar el anlisis
del significado de los trminos y proposiciones cientfico-factuales (15).
El punto que ms radicalmente diferencia a Bunge
respecto a la concepcin que hemos expuesto en el apartado anterior tiene que ver con su distincin entre semntica de las ciencias formales y semntica de las
ciencias factuales, distincin que hunde sus races en una
epistemologa realista. Mientras una teora matemtica se
refiere a objetos conceptuales o con los que es posible
en principio intentar la tarea de construir un modelo
que satisfaga todos los axiomas de la teora, una teora
cientfica factual -una teora fsica, por ejemplo- se refiere a entidades no conceptuales, a cosas reales, independientes de la teora, y que trascienden, por lo tanto, los
lmites fijados por la construccin conceptual. En este
sentido no es posible esperar que ninguna entidad real
constituya un modelo formal de una teora cientfica. Los
modelos factuales que se utilizan en la ciencia son ellos
mismos entidades tericas que hay que someter a control
y a contrastacin emprica.
Por lo que se refiere a la formalizacin de una teora cientfica, la posicin de Bunge difiere tambin bastante de la de Sneed, an alejndose igualmente de las
posiciones de la filosofa analtica clsica. Lo ms caracterstico es el mantenimiento del ideal de axiomatizacin
completa (aunque no necesariamente formalizada) de la
teora y no slo de la estructura matemtica de la misma.
Este ideal exige incorporar al sistema de axiomas no slo
la definicin de un predicado conjuntista, sino tambin
las estipulaciones semnticas que determinen la referencia factual de los conceptos de la teora, as como el
hacer explcito el trasfondo de la misma, tanto por lo
que se refiere a la lgica y las matemticas en que se formula como al marco terico general que se supone (al
que -para el caso de las teoras fsicas- Bunge llama protofsica) (16), y que puede incluir, por ejemplo, una teora del espacio, del tiempo, de la medicin, un concepto
de sistema fsico, etc. Por ltimo, el anlisis debe distinguir claramente entre la referencia factual de una teora
y la evidencia emprica de la misma. Toda teora fsica
debe tener una referencia fsica, pero la estipulacin de
tal referencia es una parte de la teora y, como tal, puede
ser falsa. Por otra parte, aunque es necesario que la teora sea contrastable empricamente, la contrastabilidad no
tiene por qu ser directa (es decir, los referentes de una
teora no tienen por qu ser reducibles a entidades
(13) T. S. K U H N , Logic of Discovery or Psychology of Research?, en
I. LAKATOS y A. MUSGRAVE, Criticsm... o.c.
(14) M. BUNGE, Teatrise on Basic Philosophy, Semantks, Vols. I, II,
(Reidel, Dordrecht, 1974).
(15) M. BUNGE, A Program for The Semantks of Science, en Exact
Philosophy. Prohlems, Tools and Goals, edit. por M. Bunge (Reidel, Dordrecht, 1973) 51-62.
(16) Cfr. M. BUNGE, Foundations ofPhysics (Springer Verlag, Berln,
Heidelberg, New York 1967) cap. 2.; The Structure and Content of a
Physical Theory, en M. BUNGE (ed.), Delaware Seminar in the Foundations ofPhysics (Springer Verlag, Berln, Heidelberg, New York 1967)
15-27.
EL BASILISCO
sobre una serie de analogas bsicas, se dan unas diferencias bastante significativas y que afectan a problemas
generales en cuanto a la forma de concebir filosficamente la naturaleza de las teoras cientficas.
Las analogas residen en su comn relativizacin de
la distincin terico-observacional, en el planteamiento
de las teoras cientficas como algo que no se reduce a
entidades lingsticas, y en la importancia concedida al
teiia del significado de las teoras.
Las diferencias, sin embargo, son notables. Mientras
Sneed mantiene el concepto de teora y de modelo sacado de la lgica y las matemticas, Bunge considera que la
naturaleza de las teoras factuales es enteramente original. La posicin de Sneed le lleva a comprender una teora fsica como un agregado de una estructura matemtica y un conjunto d aplicaciones que constituyen
en realidad fenmenos histricos irreductibles. El inters
de su anlisis reside en la luz que arroja sobre las relaciones entre estas aplicaciones y aquella estructura matemtica. Si hubiera de encontrar una tesis ontolgica general que cuadrara bien con el espritu de- la obra de
Sneed, me arriesgara a apuntar la tesis de la armona
preestablecida.
Bunge por el contrario se mueve en el marco de
una ontologa materialista y una epistemologa realista.
Su anlisis de las teoras cientficas se esfuerza por comprender su semntica especfica, menospreciando para
ello el posible componente pragmtico que queda relegado en parte a la metodologa.
Una teora filosfica de la ciencia puede evaluarse
atendiendo a dos criterios: su capacidad para reconstruir
la estructura de la ciencia, y su capacidad para aclarar e
interpretar coherentemente el desarrollo cientfico. Tanto el formalismo de Sneed como la semntica de Bunge
son importantes contribuciones por lo que se refiere al
primer criterio. Y slo por eso pueden verse como interesantes marcos tericos para enfocar el estudio del segundo tipo de problemas. Las aportaciones de Stegmller van encaminadas a poner de manifiesto cmo el anlisis de Sneed puede aclarar la dinmica'de las teoras tal
como ha sido vista por Kuhn, Lakatos, etc. Las consecuencias ltimas de su anlisis se encaminan sin embargo, hacia una cierta relativizacin del concepto de revolucin cientfica que est en perfecta sintona con lo que
cabe esperar de la aplicacin de la semntica de Bunge al
mismo tipo de problemas. Pero hay otro aspecto del desarrollo cientfico que ocup un lugar central en la filosofa analtica clsica y que sigue teniendo una gran
importancia en los planteamientos de Bunge: el problema de la lgica de la investigacin o de la metodologa.
Por el momento no me parecen suficientes las indicaciones de Stegmller, que se limitan a postular una susti-.
tucin de las pretendidas normas metodolgicas por unas
recomendaciones ms modestas. El problema de la
metodologa no es formular normas para el descubrimiento de la verdad, pero tampoco enunciar recomendaciones para hacer ciencia, sino comprender el sentido
de las operaciones que se realizan en la investigacin
cientfica. La capacidad para iluminar en detalle estos
aspectos de la ciencia sera una buena piedra de toque
para evaluar el formalismo de Sneed y la semntica de
Bunge. Pero nos ocuparemos de ello en otra ocasin.
41