Professional Documents
Culture Documents
CAPITULO
III
MODOS GNOSEOLOGICOS
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
689
CAPITULO III
MODOS GNOSEOLOGICOS
11
Sobre en concepto de modos gnoseolgicos
1.- Los modi sclendi son los mtodos internos del cierre ghoseolgico considerado en sus unidades mnimas. Llamaremos "teoremas" a estas unidades mnimas ("clulas
gnosolgicas") desbloqueando este trmino del molde al que se le somete en lgica formal, n donde "teorema" (cnclusio) se especializa cmo designacin de la
"demostracin por derf:/4^ci6n", que ser, a su vez, coft
siderada aqu como un caso particular de un modus -
sciendi. Hay otros muchos ejemplos de este proceso de
"bloque" lgico formal: el trmino "implicacin" tien
de a quedar bloqueado n el marco de los funtores co-nectivos (p-+q; pq: implicacin formal, implicacin material, megrica) pese a que tambin se utiliza, al
margen de la lgica f ortnal, para designar relaciones que no son siquiera intrpropsicionales, sino relacio
nes de clases extensionales ("espaol implica europeo",
en donde "implicacin" puede sustituirse tcnicamente
por la "inclusin") o relaciones intensionales ("el fe
mur implica la pelvis"). Hablaremos de "bloqueo" para
indicar 1) que la especializacin lgico-formal no -agota siempre los dems sentidos del^ trminos bloqueado; 2) que los sentidos que quedan fuera de la e s p e
clalizacin lgico-formal no han perdido su sentido l
gico, a veces recogido en otros captulos de la propia
lgica formal (caso de la implicacin, en tanto se ha
"desdoblado" en "-^", " o " ) ; 3) que la conexin entre estos diversos sentidos no es siempre emprica (como si el trmino fuese meramente equvoco o polismico) sino que puede ella misma tener un alcance lgico mate
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
690
rial (la conexin entre los funtores lgico formales "->-", "c" no es slo lgico-formal, sin perjuicio de la
posibilidad de definir correspondencias entre ambos
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
691
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
692
lumnas, por ms que sea posible permutar convencionalmente estas atribuciones. Podramos ensayar diferentes
criterios. Por ejemplo, atribuyendo a las filas la fuii
cin representativa de una perspectiva lgico-formal (tipologa de funtores) y reservando para las columnas
la perspectiva lgico-material (o recprocamente). No
adoptaremos este criterio, en primer lugar, porque tam
bien la perspectiva lgico formal (en nuestro caso: la
tipologa de funtores) es aplicable a las columnas; en
segundo lugar, porque no slo vamos a oponer las filas
entre s (o las columnas entre si) segn rasgos l g i
co-formales (tipologa de funtores), sino tambin ras
gos holticos coordinados con aqullos. El criterio
que adoptaremos para diferenciar la "perspectiva de fi^
la" y la "perspectiva de columna" ser el siguiente: Las filas representarn la aplicacin parcial (dentro
de cada teorema) de los modos gnoseolgicos abstractos
(4ue pueden considerarse representados en los cuadros
de la diagonal principal) entendidos como la mera al-ternativa o suma lgica de las cabeceras de fila o columna correspondiente; las columnas representarn la aplicacin total o global de esos modos abstractos al
conjunto del teorema, de suerte que una columna represente la escala global del teorema en tanto puede estar
organizado sobre otros estratos o escalas materiales dadas en otros modos, representado en filas. El "teore
ma del sistema peridico", por ejemplo, acaso podra ponerse globalmente en la columna segunda (una clasifi^
cacin), sin perjuicio de que esta clasificacin est
organizada sobre otras mltiples formas de construc- cin, dadas en los restantes modos, simbolizados por las filas. Los cuadros de la diagonal principal se con
sideran definidos a su vez abstractamente - abstractamente desde el punto de vista gnoseolgico, que corres
ponde a la matriz, por tanto, a las cabeceras de fila
y de columna (y esta abstracin tiene como contenido -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
693
Modo 2
Modo 2
Modo 3
Modo 4
modo 1
abstr.
jyiodo 2
bstr.
Modo 3
Modo 3
bstr.
Modo 4
Modo 4
Abstr.
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
694
dros diagonales) nos conducirn al establecimiento de correspondencias entre los modos gnoseolgicos (correspondencia n es identidad) y los que tradicionalmente (salvo el modo 1) se llaman modi sciendi, a saber, con
la definicin, la clasificacin y la demostracin. El
modo 1 lo ponemos en correspondencia con el mtodo de los modelos; el modo 2 lo hiremos corresponder con las
clasificaciones; l modo 3, con las definiciones y el modo 4 con las demostraciones.
Encontramos tambin estos conceptos redefini'
dos (dentro de su cierre categofil) por la Lgica-forrmal^ incluso "bloqueados" por ella, respectivamente, en
el concepto de modelo (sobre el cual descansa toda la frtil doctrina formal d la "teora de modelos"), en el concjito formal de clasificacin (por ejemplo, en la
forma de la "teora de los desarrollos booleanos"), en
el concepto lgico formal de la definicin (teora sintctica de la definicin) y en el concepto lgico for
mal de la demostracin (teora lgico formal de la d-rvaciri, teora lgico formal d la induccin). Estas
concepciones lgico formales (modelos, derivaciones
etc.) desempean, pir btra parte una importante fun- cin gnoseolgica, en tanto constituyen formas tpicas
de utilizacin de la lgica formal en su servicio de
"teora de la ciencia". La razn principal por la cual
distinguimos el nivel gnoseolglco (lgico material)
del tratamiento de los modi sciendi, de su tratamiento
lgico formal es sta: que este tratamiento no es lgico-general (como muchas veces se ha pretendido) sino
lgico-especial; ms an es un tratamiento que corres
ponda a una ciencia en su papel de tecnologa de cien
cias particulares o de grupos de ciencias particulares;
es el tratamiento de la Lgica formal, utilizada como pauta o metro. La teora lgico-formal de los modelos,
por ejemplo, al nivel del tratado clsico de A. Robin-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
695
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
696
j
>'
X .
1
f (x^)
X .
f (x^)
f(x^)
^"^^-^^if(x^),fXj)
n
g(x^,Xj)
f g(x^,x.)^"-"->v....,^^^^
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
h
\
697
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
698
especializadas, o recprocamente.
3.- l hilo conductor para distinguir los modos abstrae
tos de los que hemos hablado lo tomamos de una d i v i
si6n combinatoria de los funtores (coordinada con una
divisin de las relaciones holticas, que aproxima
aquella divisin al terreno gnoseolgico) basada en la consideracin de su papel sintctico respecto de los trminos y relaciones (cfue venimos considerando cmo constitutivos objetiv^ d los campos cientficos,
en el eje semntico). Suponemos tambin la coordinacin entr trminos y partes, respecto de relaciones
y todo (una relacin "a < b" es un todo respecto de -los trminos "a" y "b", a los qu atribuimos el papel
de partes, respecto de aqul). Se trata pues de un
"hilo conductor": n modo alguno proponemos una divisin estricta (cientfica) sino nicamente un crite
fio tal que, aplicado a un campo tan indeterminado co
mo l de las formas segn las cuales procede la construccin cientfica, permite introducir una cierta or
ganizacin de las mismas, algo similar a una sistematizacin completa (an con el riesgo de que no siem
pre permita trazar los lmites de las diversas regiones, salvo en algunos casos protottipos).
Dada la significacin qUe hemos asignado al cierre objetual y al cierre proposicional y, sin perjuicio de que el cieifre objetual "arroje" proposiciones (sin que ello excluya el que^ en el easo del dssa
tTQllQ cientfico, sea el n i ve 1 jp ropos 1 e 1 ona 1 algo c
paz de eliminar y absorber al nivel objetual) , la cla_
sificacin de los funtores ms adecuada para nuestro
propsito ser aquella que tenga en cuenta la virtud
de estos funtores para desarrollar el cierre objetual
el cierre proposicional, o para pasar del uno al otro,
y, por supuesto, los diferentes gneros de funtores -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
699
que aqu distinguimos no son, por si, modos gnoseol6-gicos, puesto que pueden aparecer en contextos que no
son teoremas. Son "hilos conductores" abstractos, que
combinados con los gneros de relaciones holticas,
nos suministran una forma muy general para distinguir
las funciones sintctico-semnticas de los diferentes
modos gnoseolgcos.
I
4.- El nivel de distincin de los funtores que nos interesa alcanzar es, segn lo dicho^ muy similar al que H.B,
Curry introdujo en su conocida clasificacin ternaria,
si bien aqu haya de agregarse al sistema (incompleto)
de Curry un cuarto tipo de funtores, que denominaremos
"determinativos" (2).
(I)
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
700
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
701
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
702
|todo) /(todo,
(b<c)^(a<c).
S coordina, por 'jemE^io, jiutualmnte (mantenindonos en las correspondencias entre relaciones y -totalidades) con el cas [(tdoj todo)/(todo)] .
5.- trata d utilizar est sistema de Ibs fntores (cb
dinados con el de las relaciones holticas) como hilo conductor para ua clasificacin d los modi sciendi. La posibilidad de esta Utilizacin s comprende si re-^cordambs la naturaleza operatoria (formalmente operatoria) del concepto de modus sbidi. Ahora bien, es evidente qu las opeiraibnes de las que en gnoseologa general debemos hablar son las bperacione gnoseolgicas
eh cuanto figuras n las cuales los trminos y relacioB U& os apareaban IK dtftilhaein de "generadas",
"ostruidaa'', "produbldas" o "determinadas" por otras
trmlnoe y gelacihes (confusivamfite tomados) . S aho-^
ra, cundo precisamente nos situamos en la perspectiva
operatoria interna (el cierre categorial), cuando podemos distintamente considerar tales determinaciones de los trminos y relaciones es decir, cuando podemos distinguir:
(I)
(II) Los trminos, en cuanto determinados por las relaciones (la totalidad determinante de las partes) dibujan el contexto del segundo modo, realizado por
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
703
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
704
12
I Modo primero. Modelos
1.- Nuestra primera tarea, al enfrentarnos con el anlisis
gnoseolgico de los modelos, es establecer las diferen^
tes acepciones o planos desde los cuales los modelos - tal como son utilizados de hecho en el proceso cientfico - desempean su funcin de tales, as como tambin determinar la rzri de esta multiplicidad de planos, puesto que slo as nos ser posible delimitar el
concepto estrictamente gnoseolgico de "modelo" como iftodus sciendi (4). Nuestros resultados al respecto son
los siguientes: Primero; existen principalmente tres planos diferentes - oBtolgico> epistemolgico, cate-gorial - en los cuales los modelos cientficos ejercen
su papel de tales, y, correspondientemente, sobre e s
tos tres planos se han edificado diversos conceptos de
modelo: el ontolgico, centrado sobre el concepto de causa (fabricacin o produccin), el epistemolgico -(sobre el concepto de "representacin") y el catego- rial (sobre el concepto de "interpretacin"). Cada uno
de estos conceptos de modelo pretende constituir el ge^
nuino, o, al menos, suficiente sentido propio de la -teora de la ciencia.
Segundo: Ninguno de estos tres planos contiene adecuadamente el concepto gnoseolgico de modelo como modus
sciendi
Tercero; El concepto gnoseolgico de modus sciendi no
es independiente de las acepciones dibujadas en los -tres planos precedentes, que "cortan" al concepto gnoseolgico segn lneas diferentes de su superficie - - lo que explica la posibilidad de que, confusamente,
desde cada una de las acepciones de referencia, pueda
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
705
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
706
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
/u /
Por otra parte, parece evidente que el concepto ontolgico de modelo tiene que ver con los procesos
de fabricacin o de produccin (sin perjuicio de que, metafricamente, pueda utilizarse al margen de esos con
textos - caso del bilogo gentico). "El arquitecto - - dice Marx - a diferencia de la abeja, se representa su edificio antes de construirlo". Si interpretsemos el texto de Marx en una perspectiva no mentalista, h a
bra que concluir que esa representacin (modelo, pa;radigma) es otro edificio preexistente n la realidad fca y, en ltima instancia, independiente d la conciencia (6) .
La determinacin ontolgica d la Idea de nra
dlo, s verifica^por tanto, en contextos extragnoseol
gicos, tecnolgicos - sin que ello quiera decir que ri
sea aplicable (incluso necesariamente) a los modelos ^
cientficos. encillinte, se trata de una determina
cin genrica que afecta, tanto a contextos naturales como a contextos artsticos, tecnolgicos o cientficos
y sinpire segn fotmas muy variadas ^ De dos maneras (se
gtin las coordenadas epistemolgicas), afecta esta deter
minacin a los modelos gnoseolgicos;
a) O bien objetivamente, cuando se dice que la
realidad es el verdadero modelo que la ciencia debe iml^
tar, si quiere reflejarla (tesis del realismo ingenuo,
pero tambin del empirismo).
b) O bien (y sobre todo, puesto que ahora ya se cree estar situado en el plano gnoseolgico) subjeti^
vamente, cuando se dice que la ciencia fabrica modelos
a los cuales trata de ajustar el material emprico para
"salvar" los fenmenos" (el modelo astronmico de las rbitas circulares homocentricas de Eudoxio, o el modelo de rbitas elpticas de Kepler).
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
708
Parece evidente que, desde esta perspectiva, podr describirse una gran cantidad de aspectos de los
modelos cientficos y en muchos tratados (citemos el de Mars W. Wartofsky, (7), esta perspectiva es casi
prcticamente la que se mantiene en exclusiva. El propio Rene Thom, en su obra Modeles mathmatiques de la
morfogense
(8) mantiene esta perspectiva cuando en-tiende a sus modelos topolgicos como marcos matemticos en los cuales pueda ajustarse la morfologa empri^
co-fenomnica. Tambin es verdad que Thom (con la ambigedad caracterstica de los "estructuralistas" fran^
ceses) dota a sus nodelos topolgicos de una suerte de
realidad "platnica", que permitir hacer pensar en su
adscripcin a la posicin a) los modelos topolgicos seran la exposicin matemtica de modelos ontolgicos,
de estructuras reales universales, comparables a los sistemas de von Bertalanffy (la diferencia, en cuanto
'al contenido, es que este tiende al "armonismo" y - -aquel al "catastrofismo"). En cualquier caso, el componente gnoseolgico de b ) , desde nuestro punto de vis
ta reside, no en los modelos, ni en la realidad fenom
nica, sino en su conexin constructiva: la construc- cin de los trminos del campo fenomnico, segn un mo
dlo, ms bien que segn otro, sera un modo de c o n s
truccin cerrada, en los lmites del propio modelo.
Habra que decir en todo caso, que el trata- miento de los modelos desde esta perspectiva genrica,
aunque recoge muchos aspectos interesantes, no incorpo
ra la especfica perspectiva gnoseolgica.
3.- La segunda determinacin (genrica) que sealamos en el concepto de modelo es epistemolgica. Nos referimos
aqu a lo que venimos llamando "Epistemologa clsica",
que se toma en cuenta como sistema de coordenadas i n
dispensables para situar una gran cantidad de doctri
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
/uy
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
El concepto de modelo, en esta perspectiva - epistemolgica, dice referencia explcita a los proce-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
711
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
712
(individual o social), mental o cerebral, abstracto; una representacin que se "proyecta" sobre una materia
objetiva (amorfa, "substancia del contenido" como dir
Hjemslev) y determina de ese modo el acto del conoci
miento. Modelos sern ahora tanto las formas percep
tuales de los gestaltistas (por medio de las cuales -tendra lugar la percepcin) como las hiptesis o sistemas de hiptesis de la epistemologa ficcionista de
Vahinger (10) o las estructuras sociales, por respecto
a las superestructuras que las reflejan (la sociedad de libre mercado es el modelo de la ideologa calvini
ta, segn el conocido ejemplo de ngels).
Queremos tambin constatar que las determina
cibns epistemolgicas del Concepto de modelo tampoco
son especficamente ghoseolgicas (sin perjuicio de su
gran importancia para la filosofa y para la prctica
de la ciencia) . Su carcter genrico desborda la esf^
ra Cientfica. E sentido episteinolgico, son modelos
tanto los paisajes geolgicos conformadores de la percepcin no cientfica de animales o de hombres, como las estructuras ideolgicas o mticas conformadoras
del propio paisaje geogrfico, segn lneas precisameii
te prcientficas. Pero, evidentemente, la perspectiva epistemolgica cubre todo el campo de los modelos cientficos e incluso constituye una de las principa-les metodologas desde las cuales puede abordarse la teora de la ciencia (crtica de Bachelard al "modelo
de Bohr"). insistimos en que la interseccin de la
perspectiva genrica epistemolgicas con un material constituido en exclusiva por modelos cientficos, no debe confundirse con la perspectiva gnoseolgica, an
cuando esa interseccin sea del mayor inters para la
filosofa de las ciencias.
4,- La tercera determinacin del concepto de modelo que --
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
713
consideramos es ya especficamente gnoseolgica. Estamos hablando del concepto de modelo en el sentido ms estricto, el concepto de modelo formal, en torno
al cual se ha constituido toda una disciplina lgico
matemtica, la "teora del modelo" (11). Modelo significa ahora "modelo (como sistema formal) por respec
to de un sistema". Precisamente por ello, consideramos esta acepcin de modelo como especficamente gnoseolgica, por cuanto ahora el modelo aparece en el contexto intern (diamrico) del propio proceso cientfico, de las construcciones formales ante otras - construcciones formales. Vinculamos la teora lgica
de los modelos con lo que podramos llamar la tecno
logia gnoseolgica de los modelos (construccin de
conceptos como el del "grupo de transformaciones", mo
dlos topolgicos. . .) que suele iir acompaada, en los
tecnlogos, por ideologas inadecuadas. (En la obra de Thom, habra que distinguir su teora de los modelos, cuasimtfsica a nuestro juicio, y los modelos
topolgicos positivos que ofrece> y cuya utilidad depende de su aplicabilidad la Biologa, a la E c o n o
ma I^oltica etc) . Un sistema formal (una teora desarrollada segn las reglas sintcticas de la Axiomtica) es ahora puesto en conexin con otro sistema -formal (por ejemplo, la teora de los conjuntos) que
constituye una interpretacin semntica (o un modelo)
del primero. La teora de los modelos muestra la necesidad que un sistema formal A tiene de un modelo a
que sea una interpretacin del primero. El teorema de
deduccin, el teorema de completud (la coherencia de
una teora solo puede tener lugar cuando es posible dar un modelo de la misma) el teorema de Lowenhein
etc, etc. establecen todos ello^,la relacin interna entre dos o ms teoras (o sistemas fo,rmales) y la nece
saria conexin de isomorfismo que entre ellas ha de mediar para que pueda hablarse de verdad y de cohe- -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
714
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
715
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
716
En todo caso, la especificidad gnoseolgica que atribuimos a los modelos formales no excluye la -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
717
posibilidad de que ellos desempean funciones ontolgicas y epistemolgicas en el sentido dicho; incluso
podra afirmarse que las determinaciones ontolgicas
estn siempre presentes, as como tambin las episte
molgicas, aunque estas sean mucho mas confusas en el
momento de su aplicacin (cmo hemos visto en el ejem
po d la esfera euclidianaj.
El problema que tenemos as planteado podra formular;
se d ste modo: Puesto que el concepto d model for
mal cubre ua parte del territorio constituido por -los modelos cientficos (ghosigicos) Habr que de
sarrollar un concepto gnoseolgico capaz de cubrir el
resto del territorio cientfico bien esto es imposa^
ble y, por tanto, habr que atenerse a las acepciones
genricas (ontolgicas o epistemolgicas) cuando quie
re qu hablemos de los modelos no formales?. En cual^
qief^ aso* l que no parece aceptable es pretender dubrir la totalidad del territorio gnoseolgico con el concepto de modelo formal, tratando de beneficiarse del rigor de la teora de modelos como si con ella
tuviramos ya la base de un concepto unitario que pudiera aplicarse con seguridad en todos los campos. En
el campo de las ciencias humanas, como es sabido, se
ha distinguido Levi Strauss en la utilizacin de este
Concepto de modelo formal en campos no formales, sino
empricos, que quieren ser "estructurales" (lo que le
lleva a practicar la inversin ordinaria - por respe
to de los ejes epistemolgicos, y slo por respecto de estos ejes-del concepto de modelo formal, porque ahora el modelo ser la teora formal, ms que el objeto (12)). Alain Badiou h mostrado con gran claridad (13) el sentido ideolgico que esta utilizacin del concepto de modelo (concepto corresponde a lo que
aqu llamamos Idea) puede tener en manos de Levi -
Strauss (o del empirismo lgico). Si bien las coorde
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
718
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
719
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
720
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
721
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
722
diferente de la misma relacin entre las dos partes. Esta "eifiterioridad" entre las partes que intervienen en el proceso del modelo puede compararse a la exterio
ridad de las partes constitutivas del proceso de la m
tfora - y mejor an, de la parbola o de la alegora,
en el sentido de Aristteles (17) y, por tanto, del
mito platnico (18). El primer modus sciendi dsarro^
lal, en cierto modo> la metodologa del mito platnico.
Segn esto, podra afirmarse que los modelos funcionan
como mitos platnicos, tanto como que los mitos platnicos funcionan como modelqs,
ta dialctica de este modus sciendi podramos
hacerla consistir en el proceso segn el cual ia parte
determinada debe quedar exterior (en uanto a los fundamentos de su construccin) ai contexto determinante
- y, la vez, esta debe estar present en aqulla para determinarla; Esta dialctica se desarrolla por medio de la distincin entre el ordo ihyentionis y el -otp doctrlnae, que deja de ser de stefflsdouna dis-
tincin psicolgica o histrica (extra-gnoeol6t|ida) y se convierte en una distincin gnoseolgica intrnse^
ca. La exterioridad de modelo y modelado ordo inven-tionis (en donde el concepto de modelo recibe plenamen
te las determinaciones genricas que hemos llamado - epistemolgicas y ontolgicas) se resuelve ordo doc- trinae en el proceso de irre, por identificacin de
ambos trminos exteriores (identificacin: "interpre
tacin", "transformacin"). Por cuya virtud, la exterioridad desaparece y, con ello tambin, el modelo en
cuanto exterior. Por tanto; en cuanto modelo, (en su
momento genrico ontolgico) en virtud e un proceso de
"emancipacin" del sistema ensamblante. Esta dialct_i
ca cubre tambin la circunstancia de que los modelos gnoseolgicos, a la par que han de remitirnos a una -identificacin interna al campo (ordo doctrinae), deben
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
723
reconocer la independencia de las partes enfrentadas (en el ordo inventionis), eliminar el modelo como "se
elimina la escalera despus de haber subido": dejndola a mano, para poder volver a bajar. Bachelard tiene
en gran parte razn al afirmar que el "modelo planetario" de Bohr slo cundo es abandonado por los fsicos
comienza a rendir sus resultados cientficos - deja de
bloquear el desarrollo de la teora atmica con sus
"imgenes mitolgicas". Pero, al mismo tiempo, la teo
ra atmica regresa constantemente a este modelo, aun
rectificndolo, hasta tanto no encuentra otiro mejor.
La funcin de model la ponemos as en el proceso por el cual un contexto determinado suministre a
otro contexto (indeterminado o, ya a su vez, determina
do) un sistema de organizacin operatoria (un "ensamblaje") tal que, por el hecho de suministrrselo, aparezca el campo organizado al nivel fisicalista (al ma
gen del cual no cabe hablar de ciencia categorial). El
nivel esencial, en este modus aciendi, estara reali
zndose en el proceso mismo de identificacin. La m o
delacin es, por tanto, un proceso "orientado" (no simtrico, aunque tampoco asimtrico) en tanto toma la forma de una relacin (correspondencia, transformacin)
que procede de un contexto que suministra "el ensambla,
je" - sea este el que suministra el campo fisicalista
o no y se dirige al contexto que lo recibe. Llamare--"
mo "A" al contexto que sutinistra el ensamblaje (no el componente fisicalista) y "a" al que suministra el
componente fisicalista (aunque no suministre el ensamblaje) . (A), ser el "contexto formal"; (a), el "contexto material". La clave del concepto gnoseolgico de
modelo que estamos exponiendo reside ahora precisamente en disociar el aspecto "suministro de un ensamblaje" del aspecto "suministr del componente fisicalista"
(algunas veces designado cdmo el componente "intuiti--
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
724
vo", "concreto", etc.). Ambos aspectos pueden estar cruzados y este cruce dara razn de la inversin ca-racterstica que tantas veces se observa entre los modelos formales y los no formales. En efecto, supuesta
la transformacin (t (A, a)) ser preciso distinguir dos opciones - o, si se quiere, dos sentidos de la modelacin, dentro de una misma direccin metodolgica o
modus sciendi:
(I) Aquella en la cual el "componente fisica-lista" procede del mismo contexto (a) que recibe el n
samblaje suministrado por (A) . Ahora (A) ser el mo-delo, aunque el componente fisicalista proceda del modelado.
(II) Aquella en la cual el componente fisica
lista" procede del mismo contexto que suministra el en
samblaje (a). Ahora (a) ser l model, segn lo d i
cho, y, a, la vez, suministrar un ensamblaje que se su
perpondr al ensamblaje suministrado por (A).
El caso (I) es el de los modelos materiales -(fsico, sociolgicos, etc) . El modelo (A) (un conjura
to de hiptesis, de ecuaciones, etc.) suministrar un
ensamblaje, por si no fisicalista, a un material fisicalista, que, por decirlo as, no tiene forma, con anterioridad a la recepcin del modelo. "No tener forma"
designa uha situacin relativa; ser "materia sin forma"
es slo cas lmite (mate r i a _pr ima), precisamente porque suponemos que todo material esti informado por
las operaciones tecnolgicas que preceden a la cons- truccin cientfica (incluso cuando el material es "na^
turaleza. pura", como pueda serlo el material astron6m_i
co, cuyas representaciones las supondremos informadas
o conformadas a travs de las medidas tecnolgicas relativas a los desplazamientos del propio sujeto corpo-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
725
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
726
terial fisicalista (que interpreta o satisface al sistema (A)). El caso I es el caso de una identificacin
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
727
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
728
camente operatorios, y de ah el cierre perfecto que puede conseguirse (sin que ello signifique tautologa),
las ciencias empricas son ciencias cuyos contextos de
terminados ya no son, en su lmite, gnoseolgicamente
operatorios. Pero las ciencias humanas (por su plano 3-operatorio) son ciencias cuyos campos estn ya dete
minados operatoriamente, y, en consecuencia, se a p r o
ximan a las ciencias formales por este lado - los modelos econmicos, polticos o sociolgicos estn tan prximos a los modelos lgicos que puede hablarse con
sentido de una lgica de las ciencias humanas (19).
8.- La circulridad entre el contexto formal (A) y el contexto material (a) de todo modelo lejos de ser solo in^
dicio de construccin viciosa (BadioU), envuelve la -forma del cierre que corresponde al primer modus - - sciendi. Este cierre es diferente en campos de tipo I
y en campos de tipo II. En cualquier caso, las cien- cias que slo pudieran construir cierres segn el primer' modo (cierres fenortinicoa) en la situacin I, se-rlan ciencias gnoseolgicamiente diferentes de otras
ciencias que pudieran construir cierres en campos II o
tambin ciencias que puedieran constuir cierres segn
otros modo sciendi. A. G. Papandreu sostiene, por - ejemplo, la tesis de que la Economa Poltica, mas que
una ciencia terica (una teora) es un "conjunto de mo
dlos" y que debera abandonar su errnea autoconciencia de "teora cientfica" (20).
9.- Segn el nivel de especificidad del modelo (respecto |del material) habr que distinguir los modelos genricos, que ofrecen un marco al material, pero no lo de-terminan (modelos - marco, como pueda serlo una retcu
la plana o una retcula elptica con respecto a un material biolgico o fsico) y modelos especficos, que
ofrecen un contexto determinado especfico. Por otro
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
729
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
730
casi emprico (por ejemplo el concepto de los modelos
cuantitativos, en cuanto que la cantidad es un tipo de
totalidad). Si nos atenemos a la distincin de las totalidades segn dos criterios distintos, pero suscepti^
bles de cruzarse, a saber, un criterio A, que distin-gue las totalidades atributivas
(nematolgicas) de las
dis-
(isolgicos-diairlogi-
e o s ) . Las superficies jabonosas, son modelos de la -cristalizacin; el roble es un modelo de faros (Smeaton) y de torres (Eiffel); las "superficies termodin
micas" son modelos de sistemas termodinmicos ; la tari
gente a una curva es un modelo de la velocidad de un mvil.
Modelos 3 (Prototipos), heterolgicos-nemato-lgicos. El crneo, es modelo de las vrtebras del mis^
mo animal o de la especie (la "vrtebra tipo" de Ocken)'
el tablero de Galton es un prototipo de una "curva de
distribucin normal".
Modelos 4 (Cnones) heterolgicos -diairolgicos.
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
731
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
732
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
733
13
Modo Segundo. Clasificaciones
1.- El modo de la clasificacin es considerada muchas ve-ces como de rango inferior: se habla, con cierto d e s
precio, de las ciencias "puramente taxonmicas" o del
.estadio clasificatorio" de una ciencia. Dice John - Searle: "antes de Chomsky la Lingstica era una ciencia clasificatoria y,as lo proclamaba Hockett, una e
pecie de botnica verbal". Condenemos que esta opi- nin sobre el modo de la clasificacin tiene fundamento, pero> a la vez, es completamente errnea tomada en
general (la misma comparacin con la Botnica puede eri
tenderse en otro sentido, segn una tradicin proceden
te precisamente de Schleicher (21). Como discriminar
las situaciones en las cuales la clasificacin es un procedimiento semicientlfico (o seudo cientfico) y -las situaciones en las cuales la clasificacin es un autntico modus sciendi?. Evidentemente, h cabe apelar a la "realidad": "una clasificacin ser cientfica cuando discrimine aquello que en la realidad est separado por sus junturas naturales - en expresin pla_
tnica - y ser pseudo cientfica, cuando sea externa,
artificial". Porque esta distincin aunque fuera legtima, n s no sera griosolgica. Adems, no toda -clasificacin "real" es cientfica o tiene relevancia
cientficas y muchas clasificaciones tiehtlflcas son "aiftifieists" o esta dadas plano blcuo (las
clasificaeiohs de las estrellas segn sus magnitudes
aparentes).
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
734
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
735
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
736
GO. Las cabeceras de fila, en cuanto opuestas a las de columna, se aprovecharn para simbolizar la o p o s i
ci6n entre un gnero de un sistema de opuestos; lo mi
mo en las columnas. Una disposicin de esta ndole
(en las que las relaciones de izquierda/derecha, arriba/abajo se coordinan con los opuestos) puede conduci
nos a una tabla de clasificacin que es ms que una
"representacin didctica" (es un "modelo de clasific
cin). No confundimos por esto figuras del primer modo (modelos) con figuras del segundo (clasificaciones)
porque, en todo caso, estaramos ante una situacin en
la cual el modo de clasificacin estara dado material^
mente, como contenido de los modelos ((a)^(A)) de un mo
do formalmente primero. Por lo dems, caben diversas
disposiciones de las tablas de desarrollo:
b
b'
ab
ab'
a a a ' ab"
b ba' bb'
a'
b'
a'
aa
ab
aa-
ab'
ba
bb
ba'
bb'
b'
a^b'
b'b-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
737
AGUDAS
ORDEN
ORDEN LABIAL
DIFUSAS
DENSAS
ORDEN VELAR
f
P
DENTAL
'
ORDEN PALATAL
El anlisis gnoseolgico de estas tablas (tareas de la Gnoseologa especial) es muy rico y debe tener en cuenta la "presin" que la propia tipologa
d las relaciones dadas en la tabla (arriba/abajo,
ett), ejercen sobre el eampo, a ttulo de metro dire
tiv de relaciones internas (El modo de la elasificci6n se entreteje con el modo primero, de los modelos)
3.- El concepto de clasificacin, coma 'modo '^gnoseolgico, d
be ser l mismo classificado y no entramos aqu en l
cuestin acerca de la especie a la que pueda pertenecer la propia clasificacin ( es una taxonoma? es
una tipologa?).
Comenzamos distinguiendo, segn un primer cri.
terio, las divisiones y las tipificaciones. La oposo^
cin es terminante, eft principio, aunque la mutua referencia de afnbos opuestos asegura la unidad del concepto dividido. No deja de ser paradjico que dos opQ
raciones consideradas distintas sean determinaciones
de un mismo proceso (regresus/progresus) de clasifica_
cin. Pero la paradoja se produce (creemos) cuando no se tiene en cuenta el concepto de campo dimensio
nal y se trabaja en "campos planos", de dos dimensiones (todo y parte), T(t) y no, por lo menos de tres -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
738
dimensiones: TiZit),
entendiendo por dimensiones hol6ticas de un campo el nmero de diferentes estratos o niveles de partes constitutivas de ese campo.
El fundamento de la unidad de ambas operacio-^nes (divisin y tipificacin) es la semejanza de sus result/Jados: la clasificacin. La unidad del concepto
de clasificacin, en tanto est compuesta de dos opera
clones distintas, exige presuponer campos de dos o ms
dimensiones, campos estereogrficos, estrcturaaos, -por l menos, en tres estratos: el estrato del todo -(T ) , el de las parte tomas (t.) - tomos segii la es^
cala considerada - y el de las parte intermedias iZ)
Por ejemplo, l todo puede ser l gnero, las partes "tau" las especies y la partes tomas los individuos
de l extensin. (Los individuos no constituyen un tipo absoluto: l hivl de las partes tomas es relativo
l todo).
Pero st es tanto como obligaremos a fecono
cer en las clasiicaiones planas o bidimensionales la
presencia oculta de n tercer estfato - o bien negir
les el carcter de clasificacin. Que con campos unidimensionales cabe clasificacin, es algo que todos
concedern. Si de A obtengo A, no hay clasificacin.
Pero, en cambio, se suele dar por supuesto que si de A
obtengo B y B, he clasificado A. Desd nuestra pers-pectiv slo habra clasificacin de A en B y B cuando,
a su vez, B y B Contengan partes de A tales como A., ^
^2
^1' ^2
En la divisin procedemos del todo a las par-tes y de estas partes a otras partes (todo ^ partes
-> partes) : la divisin es una separacin un anli
sis. En la tipificacin procedemos, recprocamente, de
las partes a otras partes y finalmente el todo (partes
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
739
2 3
1 2 3
t^, t j ^ ) , ' ^ 2 ( t 2 , t^, t^)
1 2 3
y ^ 3 ( t 2 , t^, t^) como p a r t e s
de T^ puedo decir rigurosamente que la divisin k y la tipificacin k son mutaumente reciprocas. Lo ordinario ser que sobre un T, de referencia las divi-sones y las tipificaciones se llevan a cabo con conocimientos mutuo, y que el ajuste se produzca por mu
tua adaptacin.
Divisiones y tipificaciones encuentran su un_i
dad solamente por referencia a las materialidades ndimensionales (n> 2) "f, - al margen de ellas seran simplemente operaciones distintas - a saber, en cuanto que operan sobre una materia T, resultados similares y eventualmente idnticos.
3.- El segundo criterio que introducimos para clasificar
las clasificac-ones se funda en la diversidad lgica
de las relaciones entre las partes del nivel clasifi
catorio o nivel "tau". Distinguiremos dos situaciones distintas: O bien las relaciones son simtricas
o son asimtricas. Cuando son simtricas (por ejemplo, la semejanza) y, eminentemente, cuando adems -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
740
son transitivas y, por tanto, reflexivas, es decir, cuando son relaciones de equivalencia, entonces las clasificaciones de un todo T, conduce a clases de - equivalencia de nivel "tau". Cuando las relaciones "son asimtricas, sean o no transitivas, hablaremos d
clasificaciones atributivas La distincin entre totalidades atributivas y distributivas es abstracta, porque, en concreto (por referencia a una mtriali-dad dada en un conjunto de conceptos) una totalidad puede simultneamente desempear funciones atributi-vas o distributivas, aunque, por respecto a diferen
tes trminos de referencia, mplicados entre s. Un
Estado nacional es una totalidad nematolgica (atri
butiv) por respecto sus partes integrantes; pero,
a la vez, es un elemento de la "clase de los Estados
ntldhales". Y como las relaciones internacionales
pud interpretarse dbno parte integrante de cada Es^
td nacional, se coiriprender que esta totalidad atf
butiva slo tenga sentido a travs (o pt medio) de ^
una totalidad diarolgica (distributiva), as como "
olprocamente. En este cafeo, como en otros muchos,
las totalidades atributivas y distributivas se compbr;
tan como conceptos conjugados.
Los aspectos atributivo y distributivo de un
concepto dado aparecen superpuestos en muchos contextos. Pero deben ser disociados cuidadosamente en abstracto, si no se quiere incurrir en error. Si el silogismo no es meramente tautolgico, es porque no se
mantiene solo en el plano diarolgieo. 11 trmino medio "M" funciona como trmino distributivo. Pero,
de tal suerte, que si el trmino menor hubiera de ser
enteramente absorbido l, entonces, propiamente la
conclusin, de por si, sera errnea. Pero si no qu
da absorbido, no puede hablarse de distribucin pura.
Sea el silogismo "Del viviente (M) es propia la r e
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
741
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
742
clasificacin
Diairolgicas
(Distributivas)
Divisiones
Clasificanes t i p o a
(Taxonomas)
Tipificaciones
clasificaiones t i p o
3
(Tipologas),
Nematolgicas
(Atributivas)
Clasificaciones t i po Y
(Desmembramientos)
Clasificaciones t i p o 6.
(Agrupamientos)
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
743
clones asimtricas que las partes guardan con sus contiguas) , las constelaciones, como agrupaciones de e s
trellas, las agrupaciones de las sociedades actuales en ciento cincuenta Estados (en virtud de las relaciones de cada pueblo con diferentes poderes centrales).
Supongamos que vamos a clasificar el conjunt
(emprico) de los cinco poliedros regulares. Si forma
los conjuntos aproximando loS que tienen caras poligonales de la misma clase, obtendremos una tipificacin,
incluso seriada (tipo 1: cdn caras de tres lados - tetraedro, octaedro, icosaedro; "tipo 2: de cuatro lados
- cubo; tipo 3: de cinco lados - dodecaedro - ) . Tam-bin ser una tipificacin (aunque ella organizar el
campo d otro modo) la que result de atenerse al nflni
ro de aristas (tipo 1: con 6 aristas - tetraedro; tipo
1: oon 12 aristas '^ octaedro y cubo; tipo 3: con 30 -^
atristas ieosaedr y dodecaedro. Esta tlplficaciri ^nos aproxima al ohcpto d "poliedros Conjugados'*) . Otro criterio de tipificacin (que eri cawbio confluye
por us resultados c l anterior) l siguiente: -*
tipo 1: con vrtices y Gafas d guma ofho (4+4=8, te-tadro); tipo 2 vrtices y caras de suma 14 (8+6, - 6+8): cubo y octaedro; tipo 3: vrtices y caras de suma 32 (12+20, 20=12): Icosaedro y dodecaedro. Advirtase que todas estas clasificaciones no son propiamente divisiones, sino tipificaciones, in perjuicio de su importancia; y, sobre todo, que la divisin (sistemtica) de los poliedros simples en cinco especies (di^
visin que ni siquiera supone un agrupamiento, pues c
da especie no se agrupa con otra - aunque todos los -agrupamlentos estn parcialmente dados en esta divi- sin) es ella misma un proceso cientfico, es un teo
rema: un teorema que incluye una cuantificacin (Euler,
Schfli, Poincar), pero orientada precisamente esta divisin sistemtica.
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
744
5.- Las operaciones de clasificacin son muy diversas en cada caso. En el tipo a las operaciones seran ms
bien combinaciones de marcas abstractas de clase. En el tipo 3 las operaciones incluyen comparaciones. En el tipo Y las operaciones pueden ser permutaciones entre rasgos abstractos o acumulaciones de estos rasgos.
En el tipo 6 las operaciones pueden ser composiciones
de relaciones por correspondencia con un paradigma dado.
6.- No est generalmente claro el tipo (a, 3^ Y/ S) de una
clasificacin dada. Una clasificacin puede atenerse a dos o ms tipos y cambiar de sentido segn sea inter
pretada como perteneciente a h tipo ms bien que a -otro. Podra ejemplificarse sta situacin con la cl
sificcin de los cuerpos qumicos en metales y no me-tales.
1.-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
745
ficado, pero sin alcanzar por igual a todas las par-tes tipificadas (a muchas de 1 s c ales solo llega
acaso de modo oblicuo o negativo, como en las divisio
nes dicotmicas ordinarias). Tal es el caso de muchas
clasificaciones zoolgicas o botnicas, en las cuales
las especies (o los gneros) pueden interpretarse como tipificaciones (agrupaciones de trminos por relaciones diamricas, "especies mendelianas"); sobre - ellas se extiende una reclasificacin (segn el modo
de la divisin) en ordenes, clases o tipos. En g e n e
ral, faltara la conciencia de sta distincin de modos de clasificacin, o bien esta conciencia se hara
presente segn formulas inadecuadas, extralgicas o metafsicas. "Classis et Ordo est sapientiae, Genus et Species opera Naturae", decia Linneo. o podra'
mos pensar si entr "especies" y "gneros" * por un la^
do, y "ordenes" y "clases", pbr otro, ms que una dis^
tancia epistemolgica y ontlgica (la que media en-"
tre lo que es natural y objetiv y lo qm' .S artifi
cial y subjetivo) no habra una distar ^a lgico-mate
rial (la que media entre las tipifi cienes y las divisiones)? Habra que ensayar tam' jn otros criterios
intralgicos (atributivo/distr' .tivo) ai tenemos en
cuenta que las clases linnea* ^ parecen muchas veces
tipificaciones ("peces", "aves", et..) - La enumera"
cin de las categoras de los ^'Sf;ritos aristotlicos
se aproxima a la forma de una tipificacin; las "fundamentaciones" que los scciisticos frdian de tal enumeracin, eran d visiones ad hoG (puesto que los "
criterios de desarrollo eran heterogneos en cada rama y calculados en cada caso para ajustarse a la tipi^
ficacin). La lista de "tropos" de Enesidemo qu nos
transmite Laercio es una tipificacin, pero es sus-ceptible de una reclasificacin por divisin que Pone
de manifiesto relaciones escondidas (y confluyentes -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
746
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
747
14
Sobre el significado gnoseolgico de la cuantificacin y de la matematizacin.
1.- La importancia de la cuantificacin n la constitucin
de los organismos cientficos es algo indiscutible. fe
trata, no de discutir esa iifiportancia, ni de hcarecer^
la, sino de analizarla gnoselgicamente. Y no es nada sencillo encontrar la "escala gnoseolgica" adecuada para emprender ste anlisis, porque, con gran fac_i
lidad, al intentar penetrar eii las claves del significado gnoseolgico d la cuantificacin, nos deslizamos
hacia el plano de las fundamentacibnes ontolgico-epis^
temolgicas. "La realidad (al nnos la realidad cog
noscible) ea cuantitativa". Tanto d qU sa premisa
se entienda en una pespctiv realista-iflaterialista (atomismo clsico, caftsianisiti) o e entiende en una
peiespctiva idealista ^matematiclsta (tradicin pitag
rica, doctrina kantiana de la Esttica trasndental)*
Porque, en todo caso, la respuesta sera de esta ndole: "la importancia de la cuantificacn cientfica deriva de la naturaleza cuantitativa de los campos que
las ciencias tratan de conocer". De donde habra que
extraer consecuencias como las siguientes: Primera;
"luego toda ciencia es ciencia en lo que tiene de mat
mticas". Segunda: "luego sera suficiente determinar
una" magnitud, y cuantificaria, para poder hablar de
una ciencia de esa magnitud, de ese campo cuantitativo.
Ahora bien, primero la conclusin no concuerda
con la realidad efectiva de la situacin de las cien-cias: la Fonologa no es una ciencia cuantitativa (aun
que eventualmente contenga "episodios" matemticos) ni
no es la Lgica formal (aunque se ayuda de la combinatoria, por ejemplo, cuando expone las tablas de funci
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
748
nes de verdad). Pero aunque concordase, no por ello la premisa que le daba origen, sera satisfactoria. En
efecto, teniendo en cuenta que la naturaleza cuantitativa de la realidad es algo que no puede ponerse independientemente de la propias actividades cuantificadas
de las ciencias, esa premisa se aproxima demasiado a la explicacin de la capacidad somnfera del opio por
la virtus dormitiva. - Segundo: conocer la distancia de la Tierra a la Luna no es de por si un conocimiento
cientfico; si este conocimiento tiene algo que ver
con la ciencia es en tanto se compara la distancia conocida con otras distancias (cuando la cuantificacih,
como diremos, se compone con otras cuantificaciones, lo que ya est implcito en el concepto de medida). Pe
ro entonces la ciencia no consiste en cuntificar, sino en los procesos por los cuales se llega a esa cuantif icacin o medida y. Sobre todo, por la composicin
d cuantif icaciones diversas. Esta comgosicin y sus desarrollos incluyen ya un contpto lgico-material -gnoseolgico ("medir" es un procedimiento cientfico slo en el contexto de estas composiciones etc). D e
terminar el nmero de los emperadores romanos es, sin
duda, "cuntificar" un material histrico (un conjunto
de nombres). Pero, evidentemenete, esta cuantifica- cin ni siquiera es un conocimiento histrico por si mismo. El historiador de Roma puede incluso exponer la
serie entera "sin haberse parado a contar sus elemen-tos" y slo puede comenzar a ser una determinacin pe
tinente (histricamente) cuando, por ejemplo, ese cardinal se pone en conexin con otras cuantificaciones,
la de los Faraones de la XVIII dinasta o la de los Em
peradores germnicos. Ni siquiera cuando la relacin
cuantitativa es verdadera (por ejemplo la relacin (6,
12, 8 ) , (8, 12, 6 ) , de vrtices, aristas y caras de cu
bos y tetraedros) podemos decir que estamos ante un co
nocimiento cientfico, que slo lo ser en el contexto
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
749
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
750
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
751
tativo debe contener por lo menos dos magnitudes (de las cuales una poda ser acaso la misma magnitud organizada segn unidades distintas, las que se toman como
unidad formal de medida). La cuantificacin de estos
campos es, por ejemplo, una forma de clasificacin, de
enclasamiento, en el sentido gnoseolgico. Llamemos matematizacin a todo lo qu se refiere a todas estas
cuantificaciones, ms los procesos ulteriores. Ahora
bien; si las cantidades figuran como trminos del campo, sera tentador pensar, para bosquejar el modelo -ms sencillo de campo cuantificad con sentido gnoseolgico, en una sola operacin (la adicin) y h una so
la relacin (la igualdad). De este modo, obtendramos
por lo menos n esquema de anlisis de las magnitudes
como entidades privilegiadas en la constitucin de los
dampos cientficos. Porque las magnitudes (en su forma
ms sumaria) suelen definirse por medio de la adicin
y la igualdad. Cuando hemos definido la adicin y la igualdad en un dominio podemos tener la seguridad de qu estamos ante n magnitud. Ahora bien: No podr^
mS atriblif a la igualdad el papel de una re las ion, en 1 Sentido gnosolgleo?. Y, eon elli ya tendra'-'^
moa una respuesta gnoseolgica, desde la teora del -cierre categoirial, a la cuestin del por qu las magni^
tudes son entidades gnseolgicamente privilegiadas: ellas incluyen (adems de los trminos cuantitativos)
relaciones y operaciones, es decir, los componentes
sintcticos de un proceso de construccin cientfica.
De donde la cuestin: "Por qu las magnitudes parecen
especialmente adecuadas para constituirs en temas de
la construccin cientfica?", tendra una respuesta
bien sencilla: "porque ellas son ya campos gnoseolgicos, porque ellas son ya el resultado de una actividad
gnoseolgica" - sin necesidad de apelar a supuestas -Virtudes ntolgicas o epistemolgicas de la cantidad.
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
752
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
753
Los procesos de iriatematizacin pueden ser ya gnoseolgicos, Comportan operaciones que nos remiten a
otros trminos del campo, que se recombinan con los da
dos - y es en este proceso de construccin compleja, ya en marcha, en donde habr que ir a buscar el significado cientfico de los campos cuantificados. Sabe
mos que determinados "nmeros", por ejemplo el nmero
e, desempean importantes papeles en la estructuracin
de los campos materiales mas diversos (biolgicos, eco
nmicos, fsicos). "Cuantificar" dichos campos por me
dio de esos "nmeros privilegiados" no es un tarea qu
puede llamarse cientfica, por el hecho de someterla a
esta cuantificacin. Ms an: diramos que, cientficamente, esa Cuantificacin carece de sehtido absoluto.
Por ejemplo, fracasaramos si tratseinos de dar un s
nificado a la expresin decimal de los campos cuanti
ficados por medio de e = 2, 7182....; ni siquiera saca
ramos algo cuando nos atenemos su significado operatorio conceptual: e = l^m. (1+1/n) . Es la insercin
de "e" en un curso de operaciones tales como la drivaCin e integracin de funciones (y = ae r3y'=kae )
aquello que puede conferir sentido cientfico a esta -^
cuantificacin, porque es en est curso o proceso en donde "e" y su marco funcional alcanza el privilegio -
(dado en el curso operatorio) de reproducirse, segn una suerte de idempotencia, que marca el ritmo de una
variacin. n vano intentaramos, segn esto, dar algn sentido al priviletfio del nmero e sobre i a base ^
de penetrar en su definicin absoluta, tratando de relacionar el valor 2> 7182... con supuestas estructu
ras cuantitativas del campo. Serla tan vano intento como el de querer penetrar en el significado de a = 1
a partir de la definicin absoluta de "potenciacin" y
de "O". Pero desde la perspectiva de estos cursos ope
ratorios, el papel de estas matematizaciones se nos re
vela en su verdadero alcance. Desde el punto de vista
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
754
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
755
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
756
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
757
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
758
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
759
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
760
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
761
textos operatorios en los cuales las propias medidas estn funcionando y este anlisis exige, en cada caso,
penetrar en la naturaleza ontolgica del campo, porque
slo as el anlisis gnoseolgico puede llevarse ade-lante.
La importancia gnoseolgica d la matematiza-cin (en las ciencias fsicas o sociales) reside, s-bre todo, en su naturaleza operatoria, eri el hecho de
que suministra procedimientos operatorios muy variados
de construccin que permiten la edificacin de los cam
pos organizados sobre clases atributivas, que abren -perspectivas especialmente frtiles dentro de un cie-rre categorial.
7.- De las premisas que nos har conducido a considerar la
cuantificacin como un prociedimiento interno y an - Sdial d la construOciii cientfica> O cabe infe-lr que este proeediminto haya de considerarse como el nico camin seguro de toda ciencia - aunque si d
algunas, o de algunas partes de otras. Desde nuestras
coordenadas, podemos establecer un criterio general
(an cuando su aplicacin a cada caso particular pr-senta grandes dificultades): la cuantificacin y la -matematizacln son indispensables en aquellos campos constituidos por clases nematolgicas que sean totalidades isolgicas, organizadas cada una de ellas en for
ma de magnitud Por lo dems, el terreno obligado para contrastar el criterio, es el anlisis de la transformacin d la Fsica de Aristteles (que s ocupa ya
de magnitudes, pero sin cuantificarias) en la Fsica cientfica, mediante la cuantificacin (38) . iPero esto no implica que todo el campo de una ciencia cuantificada sea cuantificable; ni tampoco que los campos to
dos de las ciencias hayan de ser cuantificados para -que sus disciplinas respectivas se transformen en dis-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
762
ciplinas cientficas.
La Fsica ilustra el significado de la cuantificacin precisamente pbrque en su campo figuran dife=rentes clases cuntificables y porqu sus principios establecer la relacin entre esas clases; como principios de relaciones heterolgicas. El tercer principi
de Newton postula una igualdad entre magnitudes, no s
lo distintas sino opuestas (la accin y la reaccin) que, adems, dicen referencia a otra magnitud, a la ma
sa; el segundo principi vincula magnitudes diferentes
(no porque sean disociables sino porque pueden variar
independieritemen) como lo son las fuerzas, las masas,
y las aceleraciones; y el primer principi tambin vin
cvilattignitdesdiferentes, a saber, adems de la m a
Bt el movimiento, cuntificado Isologitamente (el - timfjo) y la longitud (l lnea recta) . Mientras que
el tiempo es una magnitud isolgica, el Concepto de -"velocidad uniforme" es ya un concepto hetrolgic
que tiene, adems, l forma de un cohepto cientfico "
abstracto. En general, las frmulas de la fsica es-
tan compuestas de trminos que simbolizan magnitudes (o dimensiones) heterolgicas, aquellas qu se explici^
tan precisamente en las llamadas frmulas o "ecuacio'
nes dimensionales". Se comprende que una ecuacin f2
sica (del tipo F - G(m. .m/r )) reducida a su forma d-L
mensional, nos de una identidad. En el ejemplo citado,
-2
si sustituimos F por su definicin M. L. T , escribiremos M.L.T."^ = G(M.M/L^); como M = L'^.T"^, para G-1,
tendremos: M . L . T " ^ = (M.L^.T~^)/L^ = M . L . T " ^ (39).
8.- La funcin gnoseolgica de la cuantificacin, en cuanto proceso mismo (constructivo) del ;"cuaitificar concr
to" (no en cuanto "indicio" epistemolgico, en cuanto
fenmeno, de otras esencias que hubieran de ser rein-terpretadas cabalsticamente) es decir, en cuanto al -
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
763
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
764
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
765
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
766
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
767
- Las operaciones (a travs de las cuales ha de desarrollarse cerradamente ese campo categorial, en
la propia experiencia) tienen aspecto de operaciones aritmticas, abstractas (formales) - pero en rigor,
son, n primer lugar, operaciones aritmticas concre
tas, es decir, con unidades especficas, determinadas
o concretas). Estas operaciones son precisamente aque
lias que B. Thomson hubo de llevar adelante. Dejamos
aqu de lado otras series de operaciones que parecen taan lugar entire el calrico y los cuerpos: por ejem
po, la "mezclas" de calrico con cuerpos (cundo simplemente estos s calentaban, segn proporciones varia
bles de intensidad o temperatura) o las "combinaciones"
(cuando l calrico trafenforrhaba l cuerpo, vaporizndolo, fundindolo etc). En particular, citaremos la operacin en virtud de ia cual el calrico se mostraba
dapaa de pasar de un grado de intensidad mayor a otro
menor - la "caida de calrico" de Sadi Carnot (41) - -^
- de erte qu esa calda de calrico ee transformase
en un tra3ajo que resultba ser proporcional a la inten^
sidad del calrico, independientemente de las substan-^
cas de la clase K en las que puediera ir alojado/ -segn la frmula fundamental: ( T , - T^) /T.. (Queremos
subrayar que esa supuesta transformacin del calrico
en trabajo adaso no fuese propiamente incompatible, al
menos formalmente, con lo que despus se llamara el "printipio de la conservacin de la energa"; la incom
patibilidad aparecera en el momento en el cual el calrico fuera suprimido como substancia, porque enton-ees, es cierto, el trabajo habra salido de la nada da^
do que nada era la propia "caida"; pero desde el su- puesto del calrico - substancia, la caida de intensidad ya era algo, como lo era la caida del agua en la turbina). Pero, atenindonos a Is operaciones del con
de Rumford diremos que ellas podran interpretarse como el proceso mismo del desarrollo categorial del cam-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
768
po presupuesto, y, por tanto, como la misma construccin de la teora (no como alguna de sus consecuen- cias). En efedto: la cuantifioacin (la matematiza-cin de las dos totalidades cuantitativas K, Q) den-tro del marco presupuesto, no era otra cosa, sino la
misma conexin (o nexo) d ambas totalidades atributi^
vas, a travs de sus partes alcuotas. Y reciprocadmente (Protjifessus / regressus) una masa especfica K,
(un cilindro de bronce) a la que se supona asociada
una cierta cantidad Q, de calrico (en virtud de un regressus caiASal, puesto que eran las partes de esa masa - las virutas producidas jbor la mecha perforante
- las que, al desprenderse, emanaban grandes cantidades de calrico) al ser '^pulverizada" (infinitesimalfflsnte, digamos) desprenderla el calrico ntegro que
en su interior aprisionaba homogneamente: por tanto,
a mayor cantidad de partculas, mayor cantidad de calrico desprendido. La cantidad de calrico desprendido sera proporcional a la cantidad de partculas (inversamente proporcional a su tamao), medida por su pes, Esta proporcionalidad cuantitativa es ella
misma el nexo de identidad entre Q y K* Por tratarse
de totalidades atributivas isolgicas^ la operativi
dad (aditiva y proporcional) permitan mltiples composiciones (experimentales) dentro de la frmula gene
ral:
K^<
^1^
Las cantidades de calrico liberado (x.q) habrn de ser proporcionales las cantidades (masas) de
partculas obtenidas (y.K): (x^. q/y .K) = (x ,q/x.K)
= ... Desde el punto de vista de la teora del cie-rre categorial, lo que importa destacar es esto: que
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
769
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
770
El anlisis de este curso del cierre catego-rial de la Termodinmica es muy incompleto, pero no corresponde a una exposicin de la Gnoseologa gene-ral. Nos limitaremos, pues, a llamar la atencin sobre el papel que, en el cierre de este teorema, co- rresponde a las identidades sustanciales (las partes
de K - las virutas - deben figurar como siendo la - misma masa o sustancia repartida que K; y si bien el
calor de esas partes podra ser sustituido por el calor del agua, comunicado por aquellas, a efectos del
clculo, las partes deben siempre mantener su condi-cin de tales, precisamente resepcto de un todo - el
cilindro - que ya no es "perceptible", sino "pensa- ble").
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
771
15
Modo tercero. Definiciones
Llamaremos definiciones, en cuanto modi sciendi a aquellos procedimientos de construccin gnoseolgica
por medio de los cuales formamofe configuraciones (partes)
a partir de otras operaciones con otras partes, en el marco de alguna relacin. (Tambin las definiciones clsicas
aunque referidas al concepto, sfe daban en el marco del - juicio). Este concepto constructivo de la "definicin" -puede remontarse a Platn, en tanto entiende la defini- cin (42) como la expresin (respondiendo a quien pregunta
por alguna cosa) de los elementos de la cosa, lo que, a su
vez, la diferencia de los dems (43).
Lo caracterstico e las definiciones, es, en
este contexto, su capacidad de construccin de configura
cones que, de algn modo, se desgajan dialcticamente de
las relaciones generadoras, sin perjuicio de que estas pe
manezcan implcitas. ste concepto de definicin gnoseo-lgica - que supone ya el campo (constituido en sus trminos operaciones y relaciones) resulta muy adecuado a lo -^
que las ciencias constituidas llaman precisamente defini
cienes. La definicin 10 de Euclides construye la configja
racin geomtrica, "ngulo recto" partir de la relacin
igualdad entre dos ngulos contiguos formados por una recta levantada sobre otf. La definicin I d Newton cons^
fclfuye l concepto d "cantidad d materia" (digamos: "m")
a p^ctiX' & la relacin (mtrica) entre la densidad y el volumen? la definicin II construye el concepto de "cantidad de movimiento" a partir de la relacin (mtrica) entre
la cantidad de materia y la velocidad (digamos: q=m.v.) de
suerte que "q" se recombina con "m" o con "v".
Tambin aqu debemos entender "definicin" en
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
772
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
773
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
774
(5 = df. 5 - 0 ) ; (5 = ^^_ 10 - 4)
Y si tambin puedo escribir:
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
775
(5 = ^-r 12 - 7) (que ya no parece contener crculo) sin embargo, (12 - 7) = (22, 10) - (15, 5) ,
en donde se reproducen las configuraciones de partida.
Ahora bien, no por ello esta redefinicin es viciosa. Es
cierto qu los nmeros enteros no son costruidos por me-^^
dio de los nmeros relativos; son reconstruidos, redefini^
dos, en un sistema mucho ms rico de relaciones. Ahora Z
aparece como el conjunt cociente NXN/ R (R es una rela-cin de equivalencia, generadora de clases tales como - {(1, o ) , (4, 3 ) , (6, 5) ...} y permite la ampliacin interna a los nmeros negativos: {(O, 1 ) , (4, 6)...}. Lo que> en cambio, es preciso no olvidar es que las redefin_i
clones son procedimientos genuinamnte cientfico categoriales en tanto son procedimientos dialcticos, que no
son autnomos, pues los trminos redefinidos no brotan
del campo categorial, si no estaban ya dados. Quien lo o_l
vida recae en la pedantera de quien piense que slo tiene un concepto de nmero entero aquel que lo defina por los enteros relativos.
3.- Una situacin particular muy importante dentro de los piro
cesos gnosolgicos de redefinicin est determinada cuati
do los contextos por lo que definimos D son oblicuos al campo recto de la figura. No por ello la redefinicin ha
de ser menos rigurosa, si bien ella entraar la dialecto^
ca de los campos oblicuos con los campos rectos (44) . Es
un procedimiento, por lo dems, comn aunque acaso remite
a un tipo de "idealizacin" genuinamnte caracterstico de las ciencias. Supongamos dos espejos formando ngulo
que reflejan un mismo objeto: las imgenes K- y K^. Si redefino el objeto (por ejemplo, un rbol) como "aquello
que es reflejado por otros espejos" en condiciones tales
que pueda regresar a un objeto tal que k. = k = K^^, e n
tonces K_, es anterior a k. y a k y estos se me dan en
dos planos oblicuos
(los espejos) a K^. No puedo fingir
O
que k no brota de k. y k; pero si puedo tomar a los es-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
776
pejos como coordenadas y exigir que k se me de a travs de k, y kp. Advertimos que lo que se llama "logicizacin de las matemticas" (el bourbakismo) se resuelve, en gran
medida, en un proceso de redefiniciones desde contextos
oblicuos al campo matemtico (circuios de Euler, flechas,
etc). Defino, por ejemplo un operador como una aplicacin
en la que es precisa una operacin para pasar de un elemein
to a su imagen; muchos suelen pensar que, con el uso del concepto de "aplicacin", se ha penetrado en el "ltimo -fondo" del concepto de operacin. En rigor, lo que hemos
hecho es determinar un metro , por medio del cual redefi-nimos la nocin lgica de operacin (incluso "desdoblando"
un conjunto o crculo de Euler N en dos N x N para luego reobtener el primero cuando de a
N y t N, resulta a =
b) .
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
777
16
Modo cuarto. Demostracin
1.- Este modo es la forma ms estricta del cierre preposicional. Es quiz el procedimiento ms potente, aunque
no el nico, del cierre categorial y en este procedi-miento estn, mediatamente al menos, incluidos todos los restantes. Por este motiv, puede decirse que con
razn puso Aristteles en la demostracin el ncleo de
la ciencia. Por lo menos es evidente qu una ciencia
que sea capaz de proceder demostrativamente, ha de dis_
tinguirs, en cuanto a su rango cientfico, de otra
ciencia que slo puede ofrecer definiciones o clasificaciones, o incluso estructuraciones. Los modi sciendl srt as criterios muy ptofndos para una tipologa
de las ciencias estrictariiente gnoseo.log.tca, una tipolo
ga que pfceda por la forma ghosolgic y no por la
nateira de las tiencias. (La Lingstica estructural
s gnosol6gicamente ms afn a la Geologa de lo que
pueda serlo a las Matemticas; porque, si bien por la
materia del campo. Matemticas y Lingstica se ocupan
de smbolos, por la forma gnoseolgica Geologa y Lingstica se mantienen ms bien al nivel de clasifica
cienes y estructuraciones, mientras que las Matemti
cas proceden demostrativamente). Una ciencia que ofre
ce demostraciones rigurosas en gran abundancia es m u
cho ms frtil, como ciencia (en sus procedimientos de
construccin cerrada), que otra que ofrescan (infinitas
definiciones, o incluso deitiostraciones dbiles, ocasio
nales o cuasi tautolgicas. Segn este criterio, las
ciencias matemticas vuelven a ofrecrsenos como el -verdadero prototipo de la cientificidad.
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
778
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
779
nes "autoforinantes" (a = b)/\ (b = c) > (a = c) es mucho menos informativa que una demostracin que supone
la asociacin de trminos muy alejados, cuya composi^
cin "fertiliza" inesperadamente el proceso de cons-truccin demostrativa (como cuando las relaciones geo
mtricas dadas en el plao se insertan en un contexto
de slidos).
b) Cuando no hacemos distincin entre una dmostracin en general y la demostracin interna al -campo de referencia - es decir, cuando confundimos la
i
prueba epistemolgica, oblicua
al campo de referencia
(por ejemplo la demostracin de existencia de un suce
so histrico, a partir de documentos) y la prueba gno
teolgica (la insercin d ese suceso histrico en l propio erso d la historia). Porque la prueba -epistemolgica no se constituye propiamente en el interior del campo considerado cmo referencia.
3.- En cualquier casO; la demotracin es una'construc- cin dentro d un contexto determinante, constituido
por un ensamblaje de partes distintas (sintticas) y,
sin itibargo, necesariamente vinculadas, en el dentido
de que el "acoplamiento" de partes exteriores produce
el mismo Oonsecuencias internas en el sistema y exclu
ye otras; la demostracin aparece as como una determinacin, dada en el marco de n sistnta operatorio,
de otras alternativas "^posibles" (posibles solo opera^
teriaiehte) i De suet que slo por rgpec3to ete
espacio de posibles composiciones operatorias tien sentido concebir a la demostracin como una determina
cin de esas posibilidades operatorias, por especto a
una caracterstica dada (una relacin) - y acaso m u
cho de lo que se contiene en el criterio de la falsabilidad de Popper tenga que ver con esta disposicin
gnoseolgica encubierta por la perspectiva epistemol
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
780
El contexto determinado contiene todas las posibbles quebradas ((P X Q ) . Se trata de determinar
cual es, entre todas estas quebradas, la que tiene menor longitud. La multiplicidad de posibilidades opera
torias est aqu dada en la multiplicidad infinita de
quebradas. La determinacin que buscamos es aqu: qu
quebrada"(si ekiste - cuestin de los isopermetros, respecto;de las reas) est determinada por ser "la ms corta" (sta determinacin es una reldin laf
tifs^ no tiene sentido absoluto lo que manifiesta tjue
iS quebradas "elminad&s" son, sin embargo, necesa- rias en el proceso). La demostracin busca aqu construir una serie de relaciones entre estas quebradas, orientada a determinar un elemento tnico de esta clase
seriada. Hern no se mantuvo en el semiplano superior
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
781
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
782
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
783
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
784
ras de la geometra rectilnea (tringulos o rectngulos) a la figura circular. Hay pues, una construccin
y el signo "=", deja de ser analtico o retrico; es sinttico, porque, est caso, es una ad-igualdad -(una identidad sinttica). No es la letra S (en cunto sustituible algebraicamente en las ecuaciones por nr ) lo que consideramos, sino S n cuanto designando
una regin circular del plano (el "redondel" de Poihca
r) reconstruida a partir de figuras rectilneas y d
la circunferencia (2TTr) . Enfocada la cuestin de este
modo, la construccin tiene la siguiente estructura: S
es una totalidad lmite, construida a partir de un coii
junto de pattes (representadas por irr2) . La igualdad
g = irr 2 S l identidad sinttica entre un conjunto '2
de partes (nr ) y el todo (S).
Ahora bien: Al "todo" S podemos llegar a par-^tir de sisteffla de pactes muy diferentes entre s Con
slderaremos los siguientes: () El sistema segn el -cual el crculo aparece descompuesto "radialitiente", co
mo un "conjunto de gajos". Estos gajos se aproximan a
la figura de un tringulo issceles; su conjunto es un
polgono regular y l circul es el lmite del rea de
ese polgono. (II) l sistema segn el cual el crculo aparece descompuesto (circularmente), en "bandas".
Estas bandas, en su lmite, tienen la figura del rec-tngulo y el crculo se nos da ahora cmo el lmite d
una figura compuesta del rectngulo.
Gdfistruccin segn l -^
Sistema & partes (I)
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
785
(3) P , en e l l m i t e ,
es
(3) en e l
=vr'
(4) lueqoj
l m i t e Jo
rdr
2TTr
(4) Luego
(2i\r .r) /2
2iT r d r = (2-n
R ) / 2 = vR'^.
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
786
partir de unidades diversas. El camino I utiliza un algoritmo de sumar tomado de la propiedad distributiva
de suma y producto (suma que corresponde a la yuxtaposicin de los tringulos; producto a su repeticin). Y la metbasis tiene lugar en la aproximacin de P a 2Trr. El camino II utiliza el algotimo de la integra
cin. Parte ya de la evaluacin 2-nr y el paso al lm^
te tiene lugar por medio del signo de integracin. La
diversidad algritmica de caminos es mucho mas profunda de lo que podra aparecer a simple vista, y se evidencia analizando la procedencia heterognea (en el
2
plano algortmico) del exponente de "r ". En el camino, I el cuadrado de r procede de la circunstancia par
ticulr d que l apotema es igual al radio (en el l2
2
mita); por ello, obtenemos 2Tir.r/2 igual a 2irr /2 =r .
En el camino II, el cuadrado de r procede dle "automatismo" del algoritmo de la integracin de funciones po
tenciles (J x^ dx=x"^ ) , para el caso 2Tf/rdr = r / 2 .
As ifiismo, l divisor 2 de 1 pfced de la frmula del
ifea del tringulo (seitiiguma de base poif altura) y can
cela l factor 2 de l fmul 2'nt.
Pero ert 11, el d
visor 2 que cancfel este factor (eh 2-t) ptocede del
autoitiatismo de irttegifcin de las funciones potencia-les (que ya no tienen nada qu ver con la estructura ~
del tringulo). Por consiguiente, puede decirse que la coincidencia en la cancelacin del factor 2 de 2iTr,
es debida al azar, no a un "algoritmo holstico". La confluencia de estos algoritmos es una verdadera sin-tesis, no un anlisis; una sntesis que tiene lugar en
el mismo reino de la construccin algortmica. Tam- bien est es un reino de pluralidad, de heterogenedi
dad y no de simplicidad.
Ahora bien: Qu tiene que ver la confluencia
de estos caminos con la demostracin de la frmula S=
2o
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
787
lizada en el camino I y en el camino II, tomados por separado?. Se tratara d una confluencia de demostra_
cions y no de una demostracin por la confluencia. Mi
respuesta es de esta ndole: precisamente la existen-cia de estas dos demostraciones es la prueba misma de
que cada una de ellas es insuficiente, porque cada camino muestra que el otro contiene una metSbasis, sin ulterior justificacin. Al confluir con la otra, en un cierre perfecto, ambas demostraciones se realimen-tan, n cierto modo (histricamente) es el camino I el
que sirve de garanta al II (a la manera como los silo
gisms sirvieron para probar la lgica de Boole).
Las demostraciones por recurrenci - el mtodo de de-mtrcin para prpostohes Con variable discretas d Valorea naturales - son consideradas nuchas veces eofflo las demostraciones gnuinmente arithticas. Pes^
tos eft l alternativa que ofreca la doctrina clsica
en la demostracin - deduccin inducdjn '- y dado que l dmestracin por recutrencia no se ajustaba al
aquma de la deduccin clsica, se prefiri interpretar esta demostracin en el sentido de una induccin ("induccin matemtica"). Ello arrastraba el peligro
de tener que encajar la demostracin por recurrenci en la forma lgica atribuida a la induccin baconiana.
"Tras haber observado que una propiedad P es realizada
por diferente^ elementos de una clase - P (x, ) , P(x ) . .
- extenderemos inductivamente esta propiedad a todos los elementos de la clase, es decir, concluiremos (x)
P (x)", (siendo x una variable cuyo campo de variabil_i
dad sea la clase N ) . Pero este anlisis de la demos-tracin por recurrenci es muy tosco, precisamente po
que, en l, la nocin de extender "inductivamente" encubre el carcter constructivo y necesario de la "gen
ralizacin". Y si bien recoge esta nocin el componen^
te inductivo del procedimiento, lo frmula desde el es
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
788
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
789
...+p = p.(p+l)/2 ; f(1+2+3+...+n = n.(n+l)/2 configuran una frmula general que tiene "la apariencia de
una esencia". A partir de estas formulas (de la formu
la fr), "empricamente" fundada, arranca la demostra-cin. La demostracin progresarla (recurrencia) hacia
^^ esencia de este modo:
- Por un desarrollo horizontal (digamos, por contigidad de la frmula (f^), un desarrollo de p a p+1. A partir de la frmula fenomnica, construiremos
otra frmula que tiene que ser dada en virtud de las leyes generales de la construccin algebraica. Por
ejemplo, si agregamos al mismo valor (p+1) a los dos miembros de la frmula emprica, obtendremos otra frmula vlida (an cuando no conozcamos su campo de apli^
cacin):
1+2+3+. . .+p+(pi-l) = [p. (p+l)/2j + (p+l)= [(p+1)
(p+l+l)J/2
- Por un desarrollo "vertical" (diramos por semejanza o por sustitucin) tal que, a partir de la frmula (f^) sustituyendo n por p+1) rios remata a una
frmula que confluya por identidad (algebraica, tipo-^
grfica) con la frmula obtenida por construccin "horizontal". Y en esta confluenaia consiste el cierre de est modo gnseolglco. El desarrollo "vertical" es, sgn esto, indispensable no tanto paira probar la
verdad de la frmula fenomnica "para el ntmero siguion
te" (funciones recursvas) cuanto para probar la construibilidad de la frmula para el nmero siguiente.
Es esta confluencia precisamente la que demue^
tra el teorema para todo nmero n, desde la esencia -misma de la clase atributiva (acumulativa) segn la -cual cada elemento, a partir del primero, brota del an
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
790
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
791
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
792
i i r t
.iTrii.rii...1II
I...
'
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
793
no son slrnboli qumicos sino lgico materiales, gnoseolgicos - A cada cantidad (absoluta) de la clase A y a unas proporciones dadas (variables por lo dems,
entre las clases A y B, a travs de C, corresponde
una cantidad A, determinada funciorialmente. Estable
cer esta relacin es, pues, el objetivo propio de la demostracin. Como la relacin se "representa" en - ciertas curvas (de las que slo consideraremos dos) po
demos decir que la demostracin s termina precis-amente en la construccin de estas curvas standard a las que, n consecuencia, habr qu atribuir un papel gnosolgico superior al que les Corresponderan si se
las interprtase como meras "abreviaturas", o como sim
pl recrss didctidS o ekpsitivSsi Las curvas
ttinn lias niiSms, en tntlt) sori iifeerpretadas n
al eampo semntieo correspondiente, las relaclonea ^ ~
construidas. Estas relaciones por tanto, no pueden
considerarse como construidas antes de la representa
cin (como si estuviesen "relatadas" meramente por - ella). Una vez establecidas las curvas standard se -utilizarn como metros para determinar cantidades A
dadas en muestras ulteriores, conociendo cantidades da
das en A ^
Prescindiendo en nuestro anlisis como hemos dicho/ de otros constitutivos del contexto determinado
indispensables, en todo caso, para que este se organi'ce (entre estos constitutivos habra q citar ciertas
enz.itnas y ciertos inhibidores de los propios terminas
d las clases que intervienen en el primer plao de la
demestracin) y prescindiendo tambin^ por lo tanto, de la propia construccin del tal contento (la obten-cin de la proteina quinasa, la obtencin del inhibi-dor de proteina quinasa etc, corresponden a esta fase
de preparacin del contexto determinado), reducimos el
contexto determinado del teorema que consideramos a la
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
794
na
- Una clase C de molculas complejas, constituidas por el entrelazamiento de los trminos de las
clases A y B. Por tanto la clase C es en rigor la
reunin de dos subclases: C=jrc*- C J. En cambio, escribiremos (connotacin no distributiva, sino atributiva, acumulativa): C = [ B + Aj; C^ = fB + A ^ ] .
Desde el punto de vista gnoseolgico, la ca- :
se C puede considerarse como el resultado de operar con las clases A y B. Como (C = C V C^) y (C = B +
A), (C^ = B + A ^ ) , podramos escribir: C = [(B + A)
<J (B + A )J . La clase C consta, por tanto, de dos operaciones diferentes: una de ellas (c/) estrictamente lgica (suma lgica); otra (+) de carcter aritmtico. Ahora bien, la operacin "+" corresponde a un
proceso real de "entrelazamiento molecualr" (la incubacin) que no es operatorio (salvo antropomorfismo);
sin embargo, este proceso, gnoseolgicamente, toma la
forma de una operacin que, formalmente, tiene lugar
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
795
La estructura total del contexto determinado tendra pues la siguiente frmula lgica:
{A^,
B",
D"}J
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
C".
796
(El contexto determinado K es la clase constituida por los conjuntos - cada una de las muestras o recipientes o fases de un mismo recipiente - formados
por las clases A, B, C, D ) . Hay que agregarse el contador, como operador E. El contexto determinante f KJ
tiene en rigor la formula [K] = {K, E}.
Las relaciones constitutivas de K, como contex
to determinante, seran principalmente las siguientes:
(1) Para cantidades fijas de A las cantidades
de C estn determinadas estadsticamente por las cantidades de A . Evidentemente, supuesta una probabilidad igual (en funcin de la igualdad hipottica entre
o
6
A y A respecto de su composicin con B) de composi
cin, se comprende que cuando en K. se hayan suprimido
todas las molculas A (es decir, A = 0 ) , entonces,
la clase C estar constituida por molculas (A + B ) ,
es decir estar identificada con C , pues quedan reteo
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
797
de A es pequea en K, la cantidad de cuentas por minuto (c.P.m.) en el contador E sern muy altas, dado
que las protenas enlazantes estarn saturadas con mo
lculas A retenidas en el filtro y, por tanto, emiso
ras de radiaciones registradas en el contador. A medida que aumentan las molculas A , desplazarn (en o
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
798
de A , es decir, la ratio I /I .
El autor del
X
o X
trabajo razona de este modo: "cuando en la muestra K -
do I , por tanto, aumentando la ratib I /I ". Evidentemente esta ratio siempre ser > 1 (puesto que nunca
I puede arrojar ms cuentas que I ) . La curva resultante es una recta (un esquema de identidad):
A
2500
2000
1500
1000
500
18
16
14
12
10
8
6
4
2
10
O'
10
Curva I
20
p moles
de C-AMP
*/
10
Curva II
20
p moles
de C-AMP
Ahora bien:Como interpretar la relacin entre estas dos curvas? Por qu representan un mismo proceso y en
qu condiciones esta representacin es precisamente la
demostracin por confluencia
(de I y II) de que el
procedo est presidido por las relaciones hipotticas
que confiiguran el contexto determinante?. Sugerimos la siguiente interpretacin: La curva II representa en
ordenadas la razn I /I , pero esta razn es una reacin ms compleja que la representada en la curva I. La curva I contiene la representacin de las variacio-
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
799
ciones internas a K )
Y el segundo (representado en
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976
801
trapruebas) sino que se fundan en las relaciones materiales (categoriales) dadas entre los trminos del -campo, en sus "relaciones hipotticas".
Gustavo Bueno & col., Estatuto Gnoseolgico de las Ciencias Humanas, Oviedo 1976