Documente Academic
Documente Profesional
Documente Cultură
de las ciencias, que viene siendo designada como Teora del cierre
categorial, a principios de los aos 70 (siendo recogida, con artculos
especficos, en obras generales de referencia, como el Diccionario de
filosofa contempornea, 1976, o el Diccionario de filosofa, 1986, de Jos
Ferrater Mora). Sin embargo, la Teora del cierre categorial, en su
conjunto, no ha sido publicada todava hasta la fecha. Y ello debido, en
gran medida, a que su misma juventud aconsejaba dejar transcurrir
algn tiempo para que pudiese tomar las proporciones que le eran
debidas. Durante las dcadas de los 70 y los 80, diversas contribuciones
(seminarios, tesis doctorales, artculos, &c.) determinaron una
considerable ampliacin y consolidacin de la teora, por medio del
anlisis gnoseolgico de mltiples disciplinas particulares. Con todo
permanecen an inditos los puntos centrales de la teora (como los
relativos a la concepcin de la verdad cientfica como identidad
sinttica; la teora de los todos y las partes...).
Pentalfa Ediciones, al asumir la edicin de los 15 volmenes que
tiene previsto dedicar Gustavo Bueno a la exposicin de su Teora del
cierre categorial, consciente de lo adverso que es nuestro colonizado
entorno a toda filosofa original, pensada y escrita en espaol, no hace
sino recordar las palabras del autor: ...la mayor potencia de una teora
de la ciencia respecto de las otras, no se mide tanto por el nmero de
adhesiones o ventajas burocrticas que haya alcanzado en un momento
dado sino por la mayor capacidad para analizar, en cada caso, una
ciencia o una parte de una ciencia dada
PENTALFA EDICIONES
Apartado 360 / 33080 Oviedo (Espaa)
Gustavo Bueno Martnez (Santo Domingo de la Calzada, La Rioja.
1924) estudi en las Universidades de Zaragoza y Madrid. Tras realizar
su tesis doctoral como becario del CSIC, obtiene en 1949 una ctedra de
Enseanza Media, comenzando ese ao su vida docente en el Instituto
Luca de Medrano de Salamanca. En 1960 pasa a ocupar la ctedra de
Fundamentos de Filosofa e Historia de los Sistemas Filosficos de la
Universidad de Oviedo, donde, en la actualidad, es Catedrtico Emrito.
Es fundador y director de la revista de filosofa El Basilisco (Biblioteca
Caja de Ahorros de Asturias).
Entre sus libros se pueden citar: El papel de la filosofa en el
conjunto del saber (Ciencia Nueva 1970), Etnologa y utopa (Azanca
1971; 2 ed. Jucar 1987), Ensayo sobre las categoras de la economa
poltica (La Gaya Ciencia 1972), Ensayos materialistas (Taurus 1972), La
metafsica presocrtica (Pentalfa 1974), Idea de ciencia desde la teora del
cierre categoral (UnivIntMenPel 1976), El individuo en la Historia (Univ.
Oviedo 1980), El animal divino, ensayo de una filosofa materialista de la
religin (Pentalfa 1985), Symplok (en col., Jucar 1987), Cuestiones
cuodlibetales sobre Dios y la religin (Mondadori 1989), Nosotros y ellos
(Pentalfa 1990), Materia (Pentalfa 1990), Sobre Asturias (Pentalfa 1991),
Primer ensayo sobre las categoras de las Ciencias Polticas (Biblioteca
Riojana 1991), Teora del cierre categorial, tomo I (Pentalfa 1992).
grupo helicn
Teora del Cierre Categorial
Gustavo Bueno
Teora del Cierre Categorial
Introduccin general
Volumen 1
Parte I. Proemial (sobre el concepto de Teora de la ciencia)
Seccin 1. Siete enfoques en el estudio de la ciencia
Volumen 2
Seccin 2. La Gnoseologa como filosofa de la ciencia
Seccin 3. Historia de la teora de la ciencia
ndice onomstico y temtico de la Introduccin y Parte I
Glosario
Volmenes 3 a 5
Parte II. El sistema de las doctrinas gnoseolgicas
Seccin 1. Las cuatro familias bsicas
Seccin 2. Descripcionismo
Seccin 3. Teoreticismo
Seccin 4. Adecuacionismo
Seccin 5. Circularismo
Volmenes 6 a 15
Parte III. La idea de ciencia desde el materialismo
gnoseolgico
Seccin 1. Campo y espacio gnoseolgico
Seccin 2. Principios y modos de las ciencias
Seccin 3. Teora de la verdad cientfica
Seccin 4. El concepto de Teora y las cuestiones de
reduccionismo
Parte IV. La clasificacin de las ciencias
Seccin 1. El problema de la clasificacin de las ciencias
Seccin 2. El concepto de ciencias formales (operaciones
autoformantes y heteroformantes: Lgica y Matemticas)
Seccin 3. El concepto de ciencias naturales
Seccin 4. El concepto de ciencias humanas
Parte V. Dialctica e historia de la ciencia
Seccin 1. Dialctica entre las ciencias
Seccin 2. Dialctica entre tecnologa, ciencia, ideologa y filoso-
fa: la historia de la ciencia
Volumen 1
Introduccin general
Siete enfoques en el estudio de la ciencia
(Parte I, seccin 1)
Reservados todos los derechos. Queda terminantemente prohibido
reproducir este libro, total o parcialmente, sin la previa y expresa autorizacin
escrita del editor.
Copyright 1992, Pentalfa Ediciones. Apartado 360. 33080 Oviedo (Espaa)
Diseo y composicin: Pirides C&S
Edicin preparada por: Meletea CJR
Grficos: Emilio Fernndez Riestra
Tratamiento informtico y filmacin: AZ Fotocomposicin
Imprime: Lidergraf. Gijn
I.S.B.N. del Tomo I: 84-7848-446-9
I.S.B.N. de la Obra completa: 84-7848-447-7
Depsito legal: AS-673-92
GUSTAVO BUENO
Introduccin general
Siete enfoques en el estudio de la Ciencia
(Parte I, seccin 1)
PENTALFA EDICIONES
OVIEDO 1992
Introduccin general
Preliminares
Propsito conspectivo
1976, 774 pgs.), Epistemologa gentica y filosofa (Ariel, Ariel quincenal n 160,
Barcelona 1981, 246 pgs.); Julin Velarde Lombraa, Gnoseologa de la gramtica
generativa (Tesis doctoral, Universidad de Valencia 1976, 341 pgs); Toms Ramn
Fernndez Rodrguez, Gnoseologa de las ciencias de la conducta (Tesis doctoral,
Universidad de Oviedo 1981, 690 pgs.); David Alvargonzlez Rodrguez, Anlisis
gnoseologico del sistema de clasificacin de Cari Von Linne (Memoria de licenciatura,
Universidad de Oviedo 1984, 188 pgs.), Anlisis gnoseologico del materialismo
cultural de Marvin Harris (Tesis doctoral, Universidad de Oviedo 1988, 734 pgs.),
Ciencia y materialismo cultural (UNED, Madrid 1989, 386 pgs.); Juan Bautista
Fuentes Ortega, El problema de la construccin cientfica en Psicologa: anlisis
epistemolgico del campo de la psicologa cientfica (Tesis doctoral, Universidad
Complutense 1985); Carlos Iglesias, Alberto Hidalgo y Gustavo Bueno, Symplok
(Jucar, Madrid 1987, 543 pgs.; 2a edic. aumentada, Jcar, Madrid 1989, 464 pgs.);
Carmen Gonzlez del Tejo, La presencia del pasado, introduccin a la filosofa de la
historia de Collingwood (Pentalfa, Oviedo 1990, 246 pgs.); Elena Ronzn, Notas para
una historia crtica de la antropologa espaola (Tesis doctoral, Universidad de Oviedo
1990, 586 pgs.), Antropologa y antropologas. Ideas para una historia critica de la
antropologa espaola. El siglo XIX (Pentalfa, Oviedo 1991, 515 pgs.); Alberto
Hidalgo Tun, Gnoseologa de las ciencias de la organizacin administrativa; la
organizacin de la ciencia y la ciencia de la organizacin (Tesis doctoral, Universidad
de Oviedo 1990, 1177 pgs.).
7
Real Decreto 1888/1984 de 26 de septiembre (BOE, 26 octubre 1984, pgs.
31057 y ss.).
14 Gustavo Bueno. Teora del cierre categoral
rico y pertinente que los anlisis que ellas pueden proporcionar. Pues
tampoco nos parece que la filosofa de la ciencia tenga que entenderse, bien
como crtica de la teora formalista de la ciencia, o bien como poltica, o
bien como anlisis de las filosofas (de la ciencia) espontneas de los
propios cientficos (fsicos, bilogos, &c.) cuando reflexionan sobre su
propio trabajo. Estas reflexiones habrn siempre de ser tenidas en cuenta;
pero el material de la filosofa de la ciencia est constituido por las ciencias
mismas (tampoco, es cierto, por la Idea de una ciencia o mtodo ideal que
fuera posible proponer como norma a todas las ciencias o a una clase de
ellas9).
El propsito de esta Introduccin no es y podra serlo,
justificatorio, ni es galeato, ni proemial, ni apologtico, ni preambular. Esta
Introduccin no busca regresar a supuestas cuestiones previas de la teora
que se va a exponer, consideradas necesarias para su cabal entendimiento,
puesto que suponemos que la exposicin que vamos a ofrecer incluye sus
propios fundamentos. Tampoco esta Introduccin es un prlogo. El
propsito de esta Introduccin podra calificarse como conspectivo, de una
materia que va a ser expuesta a lo largo de 15 volmenes: se trata de ofrecer
una gua panormica que ponga anticipadamente en manos del lector el
aspecto de una doctrina que va a ir siendo desplegada por extenso. Sin esta
Introduccin general el lector no podra advertir el alcance de cada paso que
se vaya dando, pues no estamos exponiendo una teora cientfica axiomtica,
susceptible de partir de muy pocas proposiciones primitivas, cuyas
consecuencias hubieran de irse recorriendo sucesivamente, de suerte que
cada conclusin fuera la que va manifestando el verdadero alcance de los
principios. Una teora filosfica, tal como concebimos la presente, no tiene
principios, o, si se prefiere, en cierto modo, todos sus contenidos lo son.
Por consiguiente, el mtodo de exposicin ha de ajustarse a una dialctica
circular y, por tanto, habr que suponer que cada paso adelante que se d,
como rectificacin de otras alternativas, procede de sus resultados, pues stos
son (entre otras alternativas posibles) los que obli-
9
Compartimos muchos puntos de vista, pero no todos, de los que mantiene
Francisco Fernndez Buey en su libro La ilusin del mtodo (Ideas para un
racionalismo bien temperado), Crtica, Barcelona 1991.
Introduccin. Preliminares 17
tanto, a su vez, como una cuestin de detalle, puesto que ella constituye
el cuerpo mismo de la teora. Es cierto que el lector que conozca las
publicaciones que hemos citado lneas arriba, u otras similares, puede
encontrar, al menos en parte, superflua esta Introduccin: slo en parte,
puesto que en tales publicaciones tampoco se tuvieron presentes los
propsitos de ahora, y, en cualquier caso, la obra que vamos a introducir
dejara de ser autnoma al hacerla tributaria de publicaciones que han tenido
lugar en otros contextos distintos de aquel en el que ella misma se inscribe.
Parte I. Proemial
1 Seccin 1. Siete enfoques en el estudio de la ciencia
2 Seccin 2. La Gnoseologa como filosofa de la ciencia
2 Seccin 3. Historia de la teora de la ciencia Parte II. El sistema de las
doctrinas gnoseolgicas
3 Seccin 1. Las cuatro familias bsicas
4 Seccin 2. Descripcionismo
4 Seccin 3. Teoreticismo
5 Seccin 4. Adecuacionismo
5 Seccin 5. Circularismo
Parte III. La idea de ciencia desde el materialismo gnoseologico
6 Seccin 1. Campo y espacio gnoseologico
7 Seccin 2. Principios y modos de las ciencias
8 Seccin 3. Teora de la verdad cientfica
9 Seccin 4. El concepto de Teora y las cuestiones de reduccionismo
Parte IV. La clasificacin de las ciencias
10 Seccin 1. El problema de la clasificacin de las ciencias
11 Seccin 2. El concepto de ciencias formales (operaciones autoformantes y
heteroformantes: Lgica y Matemticas)
12 Seccin 3. El concepto de ciencias naturales
13 Seccin 4. El concepto de ciencias humanas
Parte V. Dialctica e historia de la ciencia
14 Seccin 1. Dialctica entre las ciencias
15 Seccin 2. Dialctica entre tecnologa, ciencia, ideologa y filosofa: la historia
de la ciencia
5. Ciencias de la ciencia
19
Gustavo Bueno, Prefacio al Tratado de Lgica, en Julin Velarde, Lgica
formal, Pentalfa, Oviedo 1982, pgs. 9-12.
Captulo 2
Los cuatro tipos bsicos de teoras gnoseolgicas
26
Imre Lakatos, Historia de la ciencia y sus reconstrucciones racionales
(Simposio), Tecnos, Madrid 1974, pgs. 13-37.
70 Gustavo Bueno. Teora del cierre categorial
los retricos y de los polticos, por esto podramos decir hoy, sin
demasiado anacronismo, que Aristteles se enfrent con el problema de la
demarcacin, no ya, es cierto, como problema referido a la demarcacin
entre la ciencia emprica (ciencia natural) y la Metafsica (puesto que en el
siglo IV no hay todava ciencia natural, y porque lo que luego se llamara
Metafsica era ciencia para Aristteles, o, al menos, ciencia que se busca),
pero s como problema contrado a la demarcacin entre los silogismos
cientficos (geomtricos, aritmticos, astronmicos incipientes) y los
silogismos probables o sofsticos (retricos, &c). Esta visin deductivista
(silogstica) de los componentes formales de las ciencias efectivas que tena
ante sus ojos, empuj a Aristteles a buscar en la materia (en unos
componentes materiales procedentes de fuentes distintas de las formas
silogsticas) el criterio de demarcacin de los silogismoi epistemonikoi. Las
fuentes materiales habrn de ser distintas de las formas silogsticas, ante todo
porque deben estar dadas fuera de las cadenas silogsticas. La argumentacin
que ofreci Aristteles es clsica: se trata de la prueba apaggica acerca de la
necesidad de los principios de las ciencias. Si no hubiera principios viene
a decir Aristteles, o bien tendramos que ir al infinito (los principios de
cada silogismo deberan a su vez ser probados por otros silogismos), o bien
incurriramos en un crculo vicioso (las premisas del silogismo debieran ser
probadas o descansar en sus conclusiones). Y por qu Aristteles se cree
obligado a huir tanto del regressus ad infinitum como del circularismo? Nos
permitimos llamar la atencin sobre la semejanza de su argumentacin con la
argumentacin platnica de El sofista. En este dilogo, tras el dilema
fundamental (si todo estuviese conectado con todo, o si nada estuviese co-
nectado con nada, el conocimiento sera imposible), Platn propone,
tambin apagogicamente, la symplok (debe haber para que el
conocimiento sea posible cosas que estn conectadas con otras, pero a su
vez separadas de terceras). El dilema que propone Aristteles podra
considerarse, si no nos equivocamos, como una reproduccin del dilema de
la symplok ton genon, en el mbito de los razonamientos silogsticos: si
todo pudiera ser demostrado, o si nada pudiera ser demostrado, la
demostracin cientfica sera imposible; porque la demostracin cientfica
sabemos que se da en algunos terrenos en el terreno de la Geo-
Introduccin. 2. Los cuatro tipos bsicos de teoras gnoseolgicas 85
ser aplicada a otra totalidad cuya afinidad con la primera podemos dar
por supuesta. Ser preciso, eso s, que el propio lenguaje que se toma como
hilo conductor sea analizado a una escala tal que pueda decirse
proporcionada a la escala en que se configuran los conjuntos de teoremas,
que constituyen las ciencias. Y, para que esta proporcin pueda tener lugar,
habr de mantenerse precisamente la distincin entre unos componentes
personales subjetivos y unos componentes materiales del propio lenguaje.
Esto supuesto, y atenindonos a los anlisis clsicos del lenguaje que se
mantienen en la escala requerida (es decir, de los anlisis que clasifican a los
componentes del lenguaje en funcin de sus componentes personales-
subjetivos y materiales), nos referiremos a las doctrinas de Karl Bhler y de
Charles Morris, sobre las dimensiones lingsticas. Bhler estableci la
clebre triparticin de estas dimensiones, segn las tres relaciones que a cada
signo lingstico le seran constitutivas, a la manera como los lados son
constitutivos al tringulo: la relacin del signo al objeto significado (en
donde se da la funcin re-presentativa, de Vorstellung o Darstellung), la
relacin del signo al sujeto que lo utiliza (y que Bhler vea como funcin
expresiva o de Ausdruck) y la relacin del signo a los sujetos que escuchan o
interpretan al sujeto que habla (funcin apelativa o Appelt; dimensin que
subsume aquellas funciones del lenguaje que los analistas anglosajones,
con J.L. Austin, llaman actos perlocucionarios cuando la locucin ha
ejercido efecto constatable en la conducta del oyente y actos
ilocucionarios cuando el acto locucionario tiene la intencin de causar
efectos en el oyente, aunque no los cause de hecho47). Morris, por su parte,
distingue en los smbolos lingsticos un contexto semntico (el de la
relacin de los signos con los significados), un contexto pragmtico (el de la
relacin de los signos con los sujetos que los utilizan) y un contexto
sintctico (el de la relacin de unos signos con otros signos). j>i_
coordinamos el organon de Bhler con el de Morris, advertiremos, desde
luego, que la funcin representativa de Bhler se corresponde con la
dimensin semntica de Morris; las funciones expresiva y apelativa de
Bhler constituyen una subdivisin
47
J.L. Austin, How to do Things with Words, Oxford University Press 1962
(edicin espaola, Palabras y acciones, Paids, Buenos Aires 1971).
Introduccin. 3. Sobre la estructura general de la ciencia... 113
gira la teora cientfica. Una teora que aumenta los entes sin necesidad,
es decir, sin contrapartida emprica, no es que sea falsa; simplemente no es
teora cientfica, es falsa teora; podra compararse a lo que en msica
seran las falsas partituras o pseudopartituras, es decir, partituras con
notacin tan desbordada de las lneas principales o auxiliares de los
pentagramas, que son imposibles de interpretar en ningn teclado sonoro,
aun cuando cumplan los preceptos abstractos de la armona. Porque los
fenmenos son, para las ciencias, lo que los sonidos para la msica: no ya
verificadores o falsadores, sino la misma materia o contenido de su
textura. Desde este punto de vista habra que decir, por ltimo, que el
principio de simplicidad pierde su sentido en el supuesto caso de que hubiera
que optar por dos teoras explicativas de los mismos fenmenos: no
elegiramos la ms simple, por el hecho de serlo, sino porque era la que
quedaba al rechazar la ms compleja, en cuanto especulativa o gratuita,
siempre que lo fuera.
tancial del Hijo y del Padre (ousios) al caso lmite de una identidad
esencial de todos los predicados (kata panta). La misma nocin de
predicado, que en estos contextos se utiliza, es tambin una nocin ad hoc:
pues los predicados pueden ser distributivos o subsuntivos (tipo x = P(x),
siendo P un predicado distributivo), o pueden ser atributivos (adjuntivos,
tipo y = tangente x); los predicados distributivos se mantienen en el
horizonte de la unidad isolgica (x reproduce P), sea mondica, sea n-dica;
los predicados adjuntivos ponen a x en unidad sinalgica y (como cuando se
dice que y es la tangente de x).
En el terreno del Algebra, la sustituibilidad abierta por la identidad si
I(x,y), entonces x es sustituible por y, en contextos predicativos no
necesita formalmente precisar si lo que se sustituye es un signo (significante)
por otro, o si este signo nos remite a un significado sustancial o esencial;
depende del sentido semntico propio de cada caso.
Por lo dems, la identidad esencial es un modo extremo de la unidad
isolgica, as como la identidad sustancial lo es de la unidad sinalgica. (La
unidad isolgica, o isologa, no implica identidad en todos los predicados,
sino slo en algunos, como se ve bien en los casos de semejanza; la unidad
sinalgica, de synalallaso = 'juntar, casarse', por su parte, no implica
simplicidad, sino que es compatible con la complejidad de los trminos ajus-
tados por ella).
Ahora bien, lo que nos importa subrayar aqu es que la identidad, tanto
sustancial como esencial, por su reflexividad, tiende a presentarse como
identidad analtica. Pero es el concepto de esta identidad analtica el que
tenemos que poner en tela de juicio. La idea de analiticidad, explcitamente
implicada en la identidad, debe tambin ser discutida desde una perspectiva
gnoseolgica. No es este el lugar para tratar de frente una cuestin tan
importante como discutida (sobre todo en la dcada de los 50 y los 60 de
nuestro siglo: Quine, Beth, H. Putnam, Benson Mates, R. Hanson, Austin,
Piaget, &c); sin embargo, el concepto ha sido enfocado, ms desde el punto
de vista epistemolgico, psicolgico o lingstico que desde el punto de vista
gnoseolgico (que es el punto de vista que aqu nos importa). El concepto de
analiticidad es central en teora general de la ciencia, aunque l pueda
considerarse procedente de dos ciencias particulares: las Matemticas y la
Qumica.
Introduccin. 3. Sobre la estructura general de la ciencia... 153
son slo explanatorios (todos los cuerpos son extensos). Kant, por
tanto, excluye de la ciencia a las llamadas predicaciones idnticas, que ya
los megricos, Antstenes y otros, haban sealado cmo las nicas posibles
y que Hume como Leibniz haban utilizado como canon de las
Matemticas. Hume, a costa de hacerlas renunciar a su pretensin de
ciencias de la realidad. Pero para Hume (con espritu megrico) lo que
resultaban problemticos eran precisamente los juicios no idnticos, no
analticos. Qu alcance podran darse a las conexiones (que Kant llamaba
sintticas) entre la causa y el efecto?, no habra que decir que se trataba de
una conexin meramente psicolgica, emprica? Esto es precisamente a lo
que Kant llam el problema de Hume. Y lo que har Kant es mostrar que
estos juicios sintticos estn presentes precisamente en los conocimientos
cientficos; ms aun, que ellos son el conocimiento cientfico mismo. Pero
esto implica que el nexo ha de poder ser necesario, es decir, a priori
(independientemente de que haya sido conocido de un modo inmediato o
mediato, tras un largo proceso psicolgico, &c). Sobre todo, Kant se cree
obligado a demostrar (si las Matemticas son ciencias de la realidad) que los
juicios matemticos (7 + 5 = 12) son tambin sintticos (lo que le plantea las
dificultades propias de interpretacin de 7 + 5 = 12 como un juicio de
inherencia). En resolucin, el concepto de lo analtico no tiene un significado
gnoseolgico exento, sino que va ligado, en general, a un contexto o teora
(C-analiticidad) cuyo mbito pueda definirse; va ligado, en particular, a la
cuestin de si los teoremas de las Matemticas (o de la Lgica formal) son o
no son analticos, y si la Fsica (causal) contiene proposiciones idnticas.
(Hay crculo vicioso cuando se propone una derivacin lgica, como canon
de analiticidad, frente a las proposiciones empricas). Desde la perspectiva
de la teora general de la ciencia el planteamiento que hacemos parte de un
concepto de juicio analtico (o de anlisis, en general) autorizado por Kant:
analiticidad (en el contexto, por ejemplo, de juicio analtico) equivale a
conexin idntica total, a predicacin idntica o a identidad analtica.
Segn esto, juicios sintticos son simplemente aquellos que no son
analticos. No deja de tener inters constatar que la mayor parte de quienes
tratan del asunto dan como primitivo el concepto de analtico. Lo sinttico
(igual a no analtico) aparece como derivado: as Bunge. Por qu no al
revs? Desde un planteamiento
156 Gustavo Bueno. Teora del cierre categorial
dialctico de la cuestin, habra que decir que los juicios sintticos son
los juicios originarios; y que el concepto de juicio analtico es tan slo un
concepto lmite (como pueda serlo, en Geometra, el concepto de distancia
cero). Por ejemplo, la propuesta de definicin de analiticidad de U.
Moulines supone un paso al lmite en el gnero de la identidad del sistema
de axiomas; pues decir que una proposicin p es analtica en T cuando la
eliminacin de p determine la de T es tanto como decir que p es idntica
(como parte) al todo T, y esto slo puede admitirse en el lmite. De otro
modo: los juicios analticos no existen, como tampoco existe la identidad
analtica. Adems, si existiesen, seran superfluos (paradoja del anlisis).
Los juicios analticos slo existen intencionalmente como juicios-lmites (p
= p es un juicio intencionalmente analtico); esto explicara que los
candidatos a juicios analticos no siempre tengan la misma evidencia, por lo
que, en el plano lingstico-psicolgico, podran considerarse la clase vaca o
algo parecido (y es lo que habra advertido Quine, o Putnam, o Piaget). Pero
nosotros no sostenemos que, en el plano lgico, los juicios analticos no
existan; decimos que existen slo como un lmite dialctico de los juicios
sintticos. Todo juicio es, segn esto, sinttico; y lo es por su gnesis (porque
requiere la sntesis algortmica de operaciones) y slo, en el plano de la
estructura, puede darse, como caso lmite, ideal, el concepto de un juicio
analtico. Pero los ejemplos concretos de juicios analticos tomados del len-
guaje (natural o formalizado) por ejemplo, los juicios que utiliza Putnam:
el soltero es un hombre no casado y e = l/2mv2 resultan ser siempre
sintticos en el plano lgico. Porque el lenguaje natural no por serlo deja
de proceder por medio de operaciones lgicas (si B = casado y A = soltero,
habr que suponer clases del tipo C = AUB; slo en ese marco cabe construir
la relacin A = -B, 'los solteros no son casados', que ya es algortmico-
sinttica); y, para el caso del ejemplo del lenguaje formalizado, e no se
refiere, en Mecnica, como si fuera una definicin nominal (gramatical) slo
a l/2mv2, sino tambin a otros contextos empricos, operatorios (no
lingsticos) o estructurales (por ejemplo: mc2), lo que el propio Putnam
reconoce61.
61
H. Putnam, The Analytic and the Synthetic, en H. Feigl & G. Maxwell
(eds.), Minnessota Studies in the Philosophy of Science, Universidad de Minnessota
1962, Vol. III, pg. 358-397.
Introduccin. 3. Sobre la estructura general de la ciencia...157
&c), presupone una sucesin de los das que va corriendo, segn los
nmeros naturales, del 1 al 31, pues los perodos (semanas) representados
por las filas del calendario, se establecen sobre una sucesin acumulativa a lo
largo de las semanas, de suerte que, cclicamente, los das pueden inscribirse
en grupos diversos (representados por las columnas de un calendario: lunes,
martes, &c), as tambin la clasificacin peridica de los elementos qumicos
presupone dada una sucesin de los mismos (que va corriendo tambin segn
la sucesin de los nmeros naturales, del 1 al 173), y en la que los perodos
(o semanas) se establecen porque, cclicamente, los elementos repiten
ciertas propiedades que se asignan a las columnas de la tabla (y en funcin
de las cuales los elementos se clasifican en grupos). Pero la clasificacin de
los das sucesivos en perodos de semanas (y, concretamente, el llamar a los
das lunes, martes, &c), se tiene como artificial (cultural); puede decirse
en cambio que la clasificacin de los elementos qumicos en grupos es
natural? La cuestin es muy compleja. Por de pronto hay que comenzar
diciendo que la sucesin de los das del mes, en cuanto sucesin cronolgica
(diacrnica) es ms natural que la sucesin (cronolgica) de los elementos
de la tabla; porque, sin perjuicio de que hablemos, despus de Gamow sobre
todo, de una sucesin evolutiva de los elementos (el hidrgeno es anterior, en
el tiempo csmico, al carbono, &c), lo cierto es que, a los efectos de la tabla,
la sucesin de los elementos no necesita ser cronolgica (diacrnica), puesto
que es lgico-material y se mantiene en un plano sincrnico. Segn la
llamada regla del Aufbau, que es una regla de recurrencia, los elementos
de la tabla se construyen aadiendo al precedente (a partir del hidrgeno)
un protn (y neutrones) y un electrn; de este modo, el nmero Z expresa el
nmero de protones o de electrones del tomo elemental (la recurrencia no
tiene por qu ser fsicamente ilimitada; tampoco es ilimitado el proceso de
poner un sillar encima de otro sillar, al edificar una columna). En cualquier
caso, la ordenacin del conjunto (sincrnico, si se quiere) de los elementos,
segn la sucesin, ya sea de sus pesos atmicos, ya sea de sus nmeros
atmicos, no es arbitraria, como tampoco lo era la ordenacin de los das
segn su sucesin cronolgica. Pero la clasificacin de los elementos
sucesivos en perodos y grupos es mucho ms real que la clasificacin de
los
Introduccin. 3. Sobre la estructura general de la ciencia...175
das en semanas y das de la semana. Ello slo puede ser debido a que
las propiedades que se toman como criterio de perodo se aplican a los
elementos de un modo, por as decir, ms interno a como se aplican los das
de la semana a los das del ao; y diramos que las propiedades peridicas
son intrnsecas a los elementos qumicos, mientras que la propiedad de ser
lunes, martes, &c, es extrnseca a los das del ao (aunque tampoco sea en-
teramente subjetiva o gratuita). Ahora bien, el carcter intrnseco de estas
propiedades slo se nos puede manifestar por procedimientos
(manipulaciones) altamente artificiosos que son, adems, muy
heterogneos, pero que se entretejen mutuamente. Para abreviar,
comenzaremos sealando que las propiedades de los elementos son ya, ellas
mismas, de naturaleza lgica muy diferente entre s. Por un lado, hay
propiedades llanas (por ejemplo metlico, no metlico) y hay
propiedades climacolgicas o variacionales (por ejemplo peso atmico);
por otro lado hay propiedades peridicas y propiedades no peridicas. Por
tanto ser preciso distinguir entre propiedades peridicas llanas y
propiedades peridicas climacolgicas; y entre propiedades no peridicas
llanas y propiedades no peridicas variacionales. El peso atmico (o el
nmero atmico) es una propiedad variacional discreta, pero no es peridica.
La tabla originaria que descubri Mendeliev utilizaba propiedades
peridicas llanas, o tratadas como tales (metales alcalinos, halgenos,
ocho formas de xidos, hidratos cidos). El tratamiento llano de las
propiedades escogidas por Mendeliev es el que da a su tabla el aspecto de
un fichero administrativo-burocrtico; no por ello la tabla peridica original
dejaba de manifestar franjas de verdad muy profundas, relacionadas con
las identidades sintticas entre los elementos de un grupo copartcipes de una
propiedad llana. Pero tambin hay propiedades llanas que no son peridicas
(como pueda serlo la condicin de lantnido). Sin embargo, las pro-
piedades que estaban llamadas a ofrecer las verdades ms profundas al
respecto eran las propiedades variacionales peridicas, a las cuales se refiere
propiamente el descubrimiento (simultneo al de Mendeliev) de Lothar
Meyer. Queremos decir que el descubrimiento de Lothar Meyer no es
simplemente un duplicado del descubrimiento de Mendeliev; est situado
en una perspectiva lgica diferente. Las propiedades variacionales (es decir,
pro-
176 Gustavo Bueno. Teora del cierre categorial
mento; adems una clase puede ser ella misma una clase de clases (por
ejemplo, un gnero con diversas especies), o puede ser una clase primaria (la
especie toma de la tradicin escolstica). Cuando hablamos de
clasificacin de las ciencias es porque suponemos que ciencia es una
clase de clases, que son las que queremos determinar por medio de la
clasificacin; cuando hablamos de distincin de las ciencias, es suficiente
que nos movamos en el nivel de una clase primaria, puesto que la distincin
podr entenderse ahora como distincin entre los elementos de esta clase.
Ahora bien, la posicin extrema ms radical, que podramos denominar
monismo gnoseolgico, ser la que defienda la tesis de una ciencia nica, en
el sentido de la ciencia como clase unitaria; supuesto en el que no podra
hablarse propiamente ni de distincin entre las ciencias ni, menos an, de
clasificacin de las mismas (podra en cambio hablarse de demarcacin
entre ciencia y metafsica). A diferencia del monismo, lo que podra llamarse
univocismo reconocera la distincin entre las ciencias, pero dentro siempre
de una misma clase unvoca, la ciencia, que se resuelve, en realidad, en las
diversas ciencias particulares empricas, las cuaes constituiran un mosaico
cientfico (no se hablar propiamente de una sntesis). La unidad de la
ciencia, que quiz se ha perdido de vista a consecuencia de su dispersin en
los problemas especiales, hay que entenderla, sobre todo, como una unidad
de mtodo, sobre el cual la lgica moderna proyecta luz nueva; puede
esperarse que la Enciclopedia [se refiere a la International Encyclopaedia of
Unified Science, Chicago 1937] consiga grandes resultados en la difusin de
la conciencia de esta unidad, deca Neurath en el tomo primero; y Morris,
en el mismo tomo (pg. 68-ss.): El problema de la unidad de la ciencia se
convierte en el problema de la unidad de los procedimientos, de los fines y
de los resultados de las diversas ciencias. Para el univocismo gnoseolgico,
en todo caso, no tendr mayor sentido el proyecto de una clasificacin de las
ciencias, por cuanto todas las ciencias se considerarn de la misma clase.
Desde este punto de vista, por radicales que parecieran las posiciones de
Neurath en su defensa de una ciencia unificada, habr que decir que esta
defensa se mantena en la perspectiva del univocismo, con un rechazo
explcito del monismo gnoseolgico. En efecto,
Introduccin. 4. La clasificacin de las ciencias 191
***
El enfoque lgico-formal
y este proceso habra tenido lugar, de hecho, en los dos ltimos siglos
(sin olvidar los precedentes helnicos, en particular, los Primeros Analticos
aristotlicos)10.
El cierre operatorio de la Lgica formal habra tenido lugar mediante
un regressus operatorio, a partir de operaciones autoformantes, que nos
llevan a un cierto tipo de relaciones especficas de identidad (justamente, las
llamadas identidades formales, tipo aa = a), desde las cuales se
materializan las mismas operaciones autoformantes y aqu radica el
principio de distincin o los criterios de distincin con las operaciones
matemticas (heteroformantes)11.
Las relaciones y estructuras de identidad, cuando no se abren camino a
travs de los variados cursos cerrados de operaciones algebraicas
autoformantes, se nos dan en cambio a travs de cursos abiertos y se
muestran susceptibles de desempear la funcin (en su progressus) de
caones o reglas directivas de operaciones (que acaso no son por s mismas)
autoformantes y podran considerarse como el contenido mismo del campo
de la Lgica material. Este campo es amorfo e indeterminado, si se le com-
para con el campo categorial recortado por las operaciones autoformantes de
la Lgica formal; pero ello no significa que sea catico. Podramos agrupar
sus muy heterogneos contenidos en torno a tres crculos o modos de la
identidad material, que designaremos a partir de ideas de amplia tradicin
filosfica: el crculo de las identidades esenciales, el crculo de las
identidades caudales y el crculo de las identidades sustanciales. Las
identidades esenciales comprenden, por ejemplo, las relaciones de todo y
parte y, por tanto, la teora de la clasificacin; en torno al ncleo de las
identidades causales (siempre que la causalidad se considere como un
proceso vinculado a la identidad) habr que poner tambin, desde luego, las
relaciones de fundamentacin, principio o razn (en el sentido del principio
de razn suficiente); por ltimo, las identidades sustanciales encontraran
su determinacin ms rica en las identidades sintticas, en torno a las cuales
esta-
10
Julin Velarde, Historia de la lgica.
11
Gustavo Bueno, Operaciones autoformantes y heteroformantes. En
sayo de un criterio de demarcacin gnoseolgica entre la Lgica formal y la
Matemtica, El Basilisco, Ia poca, n 7 y 8, pgs. 16-39 y 4-25, 1979.
Parte 1-1.1. El enfoque lgico-formal 245
decir que el anlisis lgico de las ciencias hay que entenderlo como
anlisis lgico formal, y que si una teora es cientfica (y no necesariamente
especulativa) es porque a su condicin de estructura lgica (a su
coherencia deductiva) se le acompaar la condicin ad hoc de adaptarse a
los fenmenos empricos, especialmente, a aquellos que se esperan en un
futuro observable, ya que por ello, podrn llamarse predictibles: es la Idea de
ciencia, o de teora cientfica, en cuanto sistema hipottico deductivo con
capacidad de prediccin contrastada. Esta es la conclusin que, a nuestro
juicio, debe esperarse desde el momento en que contemplemos el significado
de las Geometras no euclidianas a la luz de los Segundos Analticos
aristotlicos.
Desde la perspectiva de la idea de la ciencia propia de la teora del
cierre categorial hay que decir, sin embargo, que el esquema de la ciencia
como teora hipottico-deductiva-predictiva (esquema parcialmente
asociado al popperismo) distorsiona y falsea el significado gnoseolgico de
las teoras de la ciencia natural. Tomemos, por ejemplo, la teora
(cosmolgica) del big-bang. Esta teora, despus de la crisis de la concepcin
einsteniana del universo esttico (con sus apuntalamientos posteriores,
basados en el principio cosmolgico), ha ejercido una hegemona in-
discutible durante las ltimas dcadas de nuestro siglo (una hegemona que
hoy comienza a contestarse, mostrando alternativas a la presunta unicidad
de solucin a ciertas ecuaciones que conducan a la conclusin de una
singularidad cosmolgica). Lo que aqu nos importa es denunciar la
explicacin (gnoseolgica) estndar que de la hegemona suelen ofrecer
muchos fsicos que se mueven en la perspectiva de la idea de ciencia
hipottico-deductiva-predictiva. Segn estos fsicos, la teora del big-bang,
construida en el contexto de una concepcin evolucionista (posteinsteniana)
del Universo e inspirada en abundantes ndices astrofsicos basara su
hegemona precisamente en la virtualidad predictiva de su sistemtica
deductiva. Lo que, en definitiva se dice, la teora del big-bang predice
es fundamentalmente: (1) la existencia de una radiacin de fondo uniforme
en todo el universo observable, (2) la expansin del universo fsico, (3)
las.proporciones de los elementos, y, en particular, la ubicuidad del elemento
hidrgeno en la composicin de la materia actual de nuestro mundo.
250 Gustavo Bueno. Teora del cierre categorial
mal (Ax V Sx) (Ax Sx), es decir, una regla establecida con
evacuacin de todo contenido o materia, no sirve ms que n su mundo de
caracteres tipogrficos, o en otros mundos coordinables con ellos. Sin duda,
tambin las ciencias pasan por este terreno, pero de un modo meramente
genrico, y aunque el anlisis genrico lgico formal sea esencial, no por ello
tiene por qu penetrar en la especificidad de la ciencia (salvo si la morfologa
de sta ya la suponemos dada), ms de lo que el anlisis fonolgico de un
texto (segn la distribucin de vocales abiertas o cerradas, de consonantes
dentales o labiales) puede penetrar en la estructura de un soneto de Gngora.
Por otra parte, el enfoque lgico formal suele ir acoplado con
referencias lgico-matemticas que seleccionan, como si fueran asuntos
propios de la teora general de la ciencia, cuestiones relativas, por ejemplo, a
la induccin, considerada desde el punto de vista estadstico (teorema de
Bayes, &c). Todos estos asuntos, sin embargo, nada tienen que ver, por s
mismos, con una teora general de la ciencia, entre otras cosas, porque no son
aplicables a todas las ciencias. La exposicin del teorema de Bayes, por
ejemplo, no corresponde a la Gnoseologa, sin perjuicio de que sea posible
instituir un anlisis gnoseolgico del mismo.
El enfoque psicolgico
lizada) o bien, por ltimo, una direccin que nos conduzca, de un modo
genuinamente dialctico, a los puntos en los cuales los procesos psicolgicos
se transforman en procesos lgicos o, lo que es lo mismo, a los procesos
lgicos en tanto se nos presentan como resultantes de procesos psicolgicos
(y no como procedentes de fuentes objetivas, ya sean temporales, ya sean
eternas). Ahora bien, la idea de ciencia asociada a la teora del cierre
categorial deja abiertos, desde luego, los caminos que pueden recorrerse en
concreto en estas tres direcciones. En efecto: la teora del cierre categorial,
en tanto sita a las ciencias en un espacio gnoseolgico, comienza
reconociendo en ellas (una vez supuesta su objetividad ligada a la verdad
cientfica) dimensiones que tocan directamente con el campo de la
Psicologa, en tanto este campo est constituido por sujetos corpreos
operatorios: en el eje sintctico son las operaciones las figuras que nos
remiten internamente (es decir, desde las propias estructuras cientficas) a los
sujetos psicolgicos; en el eje semntico, son los fenmenos los que nos
remiten tambin e los sujetos psicolgicos (por cuanto los fenmenos
constituyen la morfologa de los objetos apotticos que envuelven a los
sujetos operatorios); en el eje pragmtico son los autologismos las figuras
que incorporan formalmente al sujeto psicolgico (y en parte tambin los
dialogismos que participan de la capa sociolgica y las normas que
participan de la capa lgico formal). Es obvio que la aproximacin
psicolgica que obtenemos a travs de los diversos ejes no puede entenderse
como un mero contacto o yuxtaposicin; precisamente ' debe mediar una
dialctica que est dada en alguna de las direcciones que hemos apuntado.
As por ejemplo, refirindonos a la primera direccin: no se trata de que
junto a un autologismo delimitado en una ciencia como figura gnoseolgica,
se acopien procesos psicolgicos; se tratar de mostrar cmo esos procesos
psicolgicos son, en s mismos, a la vez que psicolgicos, lgicos.
Podramos tomar como ilustracin el proceso de asimilacin de ejemplos
de Kuhn, que hemos citado en el 9, siempre que la asimilacin logre ser
justificada objetivamente. Pero es obvio que un autologismo implica un
proceso individual en el que han de jugar los mecanismos analizados por los
psiclogos en relacin con la motivacin (a veces las habituales frustraciones
del experimentador cientfico slo podrn superarse cuando acten mo-
Parte 1-1.2. El enfoque psicolgico 277
El enfoque sociolgico
Ahora bien, lo que nos importa subrayar aqu es que este relativismo
universal al que Spengler dio una forma tan plstica y brillante, lejos de
haberse mantenido como mera especulacin ideolgica, reservada a
humanistas ajenos al mundo efectivo de la ciencia positiva y desconocedores
de la problemtica caracterstica de la teora de la ciencia natural, influy de
un modo decisivo (y an sigue influyendo), precisamente sobre los fsicos de
varias generaciones; fsicos y matemticos de la talla de Richard von Mises,
de Sommerfeld, de Hermn Weyl, de Werner Heisenberg, de Gustav
Doetsch y de tantos y tantos matemticos, fsicos o bilogos, sobre todo
alemanes que, despus de la Primera Guerra Mundial, se acogieron al
acausalismo, al indeterminismo y aun al irracionalismo gnoseolgico (Weyl
sostuvo que la Fsica es anloga a la Lgica formal y, por tanto, incapaz de
informarnos sobre la realidad a la que se aplican sus leyes; Doetsch deca
que el tratamiento matemtico del material que proporciona la experiencia no
imparte informacin acerca de la esencia del mundo, esto es, no produce
conocimiento verdadero). Paul Forman ha estudiado este caso en un libro
justamente famoso46.
(3) y (4). En cuanto al sociologismo absolutista (ya en su aplicacin
especial, ya en su aplicacin universal), no es fcil ofrecer (como pudimos
hacerlo con el sociologismo relativista) modelos de enfoques sociolgicos
que pudieran decirse ajustados formalmente a sus conceptos respectivos;
pero esto no significa que no pueda hablarse de ese sociologismo absolutista
como una tendencia difusa que rezuma de muchas de las versiones del
sociologismo relativista. Acaso se presupone que conformaciones
gnoseolgicas determinadas por cada sociedad expresan, sin perjuicio de sus
diferenciaciones particulares, ciertas categoras sociolgicas generales a
toda la sociedad humana, o, al menos, que van constituyndose como tales.
En el caso del sociologismo especial, referido a las disciplinas morales o
religiosas o lingsticas, los ejemplos podran multiplicarse (las ciencias
humanas expresan algunas de las categoras generales a todos los hombres,
46
Paul Forman, Weimar Culture, Causality and Quantum Theory, 1918-1927.
Adaptation by Germn Physicists and Mathematicians to a Hostile Intellectual
Environment (1967), trad. espaola, Cultura en Weimar, causalidad y teora cuntica
1918-1927, Alianza, Madrid 1984.
294 Gustavo Bueno. Teora del cierre categorial
El enfoque informtico
El enfoque epistemolgico
64
La cuestin es discutida por los historiadores (ya H. Vaihinger en 1876 public
el articulo berden Ursprung des Wortes 'Erkenntnistheorie'). Cristian Ernesto Tefilo
Reinhold (1793-1855), hijo del tambin filsofo alemn Carlos Leonardo Reinhold
(1758-1823), public en 1832, en Gotha, su Theorie des menschlichenvermogen und
Metaphysik, en donde utiliza 'erkenntnisstheoretisch' y 'Erkenntnisstheoretiker'. De
cualquier modo el trmino tambin haba sido utilizado, informalmente, en la Historia
de la Filosofa de Guillermo Tefilo Tennemann (1761-1819); y en el Kant de Beneke
(1832), pero referida a la teora del conocimiento de Kant. Otros consideran (por
ejemplo Cassirer) que como sintagma designador de una disciplina aparece utilizada por
primera vez en el escrito de Eduardo Zeller, ber Bedeutung undAufgabe der
Erkenntnistheorie, 1862.
330 Gustavo Bueno. Teora del cierre categorial
B. La Epistemologa filosfica
La Epistemologa positiva, segn lo dicho, no puede considerarse como
una disciplina que haya logrado, por fin, reducir los problemas filosficos
a la condicin de problemas primerizos, mal planteados y slo interesantes
en tanto que barrunto
Parte 1-1.5. El enfoque epistemolgico 347
El enfoque histrico
93
Abel Rey, Apogeo de la ciencia griega, Uteha, Mjico 1962, vol. 2, pg. 113.
Captulo 7
guno. Y, en todo caso, hay que tener tambin presente que el regressus
filosfico puede estar dado en funcin de ideas de ciencia configuradas a
escala diferente (por ejemplo, como institucin social, como creacin
cultural, como conocimiento,...) y que esta escala predetermina de algn
modo los sistemas de ideas envolventes. Aqu nos referimos, en todo caso, a
la ciencia en tanto que tomada a escala gnoseolgica, muy prxima a la que
se cpnfigura desde la perspectiva lgico material. En realidad, hay que hablar
de diversas filosofas de la ciencia, cada una de las cuales slo puede
caracterizarse desde el espacio que ella misma abre, por lo que sera absurdo
tratar de establecer una formulacin positiva general aplicable unvocamente
a todas.las filosofas.
Y, si esto es as, tampoco tenemos por qu presuponer que los
diferentes planteamientos filosficos nos remitan a un terreno neutral, o
asimilable por igual, por los diversos enfoques. Por el contrario, mucho ms
probable ha de aparecer la posibilidad de que una filosofa de la ciencia dada
mantenga una afinidad o parentesco mayor con alguno de los enfoques
positivos de referencia (o con ms de uno, conjuntamente) que con todos a la
vez, o con ninguno de ellos. Pues de lo que estamos hablando es de los
canales a travs de los cuales ciertas determinaciones positivas que hayan
logrado establecerse en el campo constituido por las ciencias mismas, nos
abren la puerta a otras Ideas (a su vez concatenadas con un tejido de Ideas
generales), capaces de dibujar una concepcin sistemtica en la cual la
Idea de ciencia alcance un lugar definido. De este modo, podramos quiz
hablar de filosofas de la ciencia de cuo psicolgico trascendental (la
teora de la ciencia de J.T. Fichte podra ser un ejemplo); como hablaramos
de filosofas de la ciencia de cuo epistemolgico (la Crtica de la Razn
Pura, en toda su parte primera o Elementologa); hablaramos tambin de
filosofas de la ciencia de cuo sociocultural (las ciencias como
creaciones culturales en E. Cassirer u O. Spengler); o incluso de filosofas
de la ciencia de cuo lgico (la concepcin de la ciencia de Bolzano o de
Husserl, constituida en torno a la idea de fundamentacin, podra servir
como buen ejemplo de un logicismo trascendental).
El enfoque que nosotros denominamos gnoseolgico es, desde luego,
un enfoque filosfico; pero no podra decirse de l que
366 Gustavo Bueno. Teora del cierre categorial