CAPITULO CUARTO.
CONSTRUCTIVISMO TRASCENDENTAL
EL OBJETO MATEMATICO1. CONSTRUCTIVIDAD Y TRANSCENDENTALIDAD EN LA MATEMATICA
En toda crisis de principios de la ciencia, la filosofía busca un fundamento que permita salir de la misma. Ante el desarrollo científico de la matemática y de la ciencia de finales del s. XIX y principios del s. XX, Zubiri toma como fundamento de todo lo demás: el mundo de la objetividad. Dice en 1921:
"Si la filosofía ha sido en todas las épocas una fundamentación teórica de la ciencia, la Filosofía, no ya moderna, sino contemporánea, debe cambiar de norte respecto a los clásicos del siglo XIX, y fundamentar críticamente ese mundo de la objetividad, base de todos los demás"[1]
Ahora bien, ¿puede la objetividad pura dar razón del Teorema de Gödel (1931) sobre la incompletitud de la aritmética? No. Hay verdades que se nos imponen y que no son demostrables ni refutables en el sistema en que se formalizan. ¿Qué rumbo tomar, pues, para fundamentar la matemática? ¿Cuál es la nueva base filosófica de todas las ciencias? En su etapa metafísica, Zubiri responderá que el mundo de la realidad o la transcendentalidad es la base de todos los demás. De ahí que Zubiri diga: "toda verdad es metafísica" [2]. Esta afirmación choca con la mentalidad de la filosofía clásica. Y, a nuestro modo de ver, responde a una de las claves de la aportación original de la filosofía de Zubiri. Esta afirmación general aplicada a nuestro objeto de estudio implica que toda verdad matemática es metafísica. Pero ¿cómo se puede decir que toda verdad es metafísica y, en concreto, que toda verdad matemática es metafísica? Esta cuestión es capital. La respuesta es lo que nos lleva a caracterizar la filosofía de la matemática zubiriana como Constructivismo Transcendental.
En este capítulo pondremos de manifiesto que la base de la construcción matemática es el momento transcendental de "la" realidad sentida. Es lo que denominamos transcendentalismo de la matemática. Sin "la" realidad de lo matemático no se puede construir la matemática, por lo mismo que "sin sentir lo matemático, no se puede construir la matemática". Ambas afirmaciones son congéneres porque cuando hablamos de sentir lo matemático se trata, ya lo vimos, de sentir la formalidad campal de realidad; y, recíprocamente, la realidad de lo matemático es impresión de realidad dada en aprehensión primordial. El sensismo de la matemática es "a una" transcendentalismo de la matemática. La matemática sólo es posible por el momento transcendental de la física realidad campal dada impresivamente en aprehensión primordial de cualquier cosa real. La construcción sentiente es construcción en el ámbito transcendental de "la" realidad sentida. De ahí que desde el punto de vista del objeto, el nuevo Constructivismo de Zubiri es un Constructivismo Transcendental, así como Sentiente (según nos fijemos en la intelección o en el objeto de la matemática). Son aspectos congéneres. Esquemáticamente:
/
/
/1. Sentir lo matemático
Sensismo de la Matemática
CONSTRUCTIVISMO SENTIENTECondición de posibilidad de la construcción matemática: Sentir "la" realidad de lo matemático.
\
\
\2. La realidad de lo matemático
Transcendentalismo de la matemática.
CONSTRUCTIVISMO TRANSCENDENTAL
El Constructivismo transcendental da una respuesta original a importantes cuestiones de la actual filosofía de la matemática, por ejemplo: ¿son reales las construcciones matemáticas?, ¿en qué consiste su realidad física?, ¿cómo existen los objetos matemáticos?, ¿qué tienen que ver con las cosas sensibles?, ¿son dependientes o independientes de la mente del matemático? Todas ellas cobran nueva luz considerando como fundamento de la matemática el ámbito transcendental de realidad.
1.1. Transcendentalismo de la Matemática.
La idea "medular" de toda la filosofía de la matemática de Zubiri es que sin la realidad de lo matemático no se puede construir la matemática. En el capítulo anterior implícitamente esto ya ha quedado reflejado, pues la construcción de los conceptos, de los objetos, de los juicios y de las pruebas es en "la" realidad. Pero ¿qué es la realidad de "lo" matemático? ¿Es distinta de la realidad de "lo" físico, de "lo" biológico, de "lo" histórico, de "lo" novelado, etc.? No, es la base metafísica común a cualquier intelección, esto es, el momento de transcendentalidad del campo "físico" de realidad o, más brevemente, el ámbito transcendental. La matemática y todas las ciencias (también cualquier intelección campal y racional) se fundamentan en el ámbito transcendental. A pesar de que todas las ciencias viven de esa base, sin embargo, no es objeto de análisis de ninguna de ellas; es, por el contrario, una tarea inexorable para el filósofo de la ciencia, y en nuestro caso para Zubiri. El estudio de la transcendentalidad es objeto de la metafísica y en este sentido las verdades metafísicas son distintas de las verdades matemáticas o de las verdades científicas. Pero, en cuanto que la transcendentalidad es la base en la que se construye la matemática o se crea la ciencia, podemos decir que sus verdades son metafísicas, bien entendido que no es en su contenido sino en su formalidad de realidad. Son verdades de realidad. No se aclara todavía con lo que llevamos dicho esta cuestión, hilo conductor de toda esta parte, porque ¿cómo son verdades de realidad las verdades matemáticas?, se irá viendo más adelante. Para que se entienda de qué modo lo transcendental es la base metafísica de la matemática nos vemos obligados a exponer qué significa para Zubiri el término "transcendentalidad".
1.1.1 Nuevo Paradigma de "Transcendentalidad"
La transcendentalidad es una noción fundamental de la filosofía. Su significado en la tradición, según Zubiri, pende de su conceptuación desde la inteligencia concipiente. Su repercusión es grave en la metafísica y en la matemática. De ahí que se proponga una nueva concepción desde la inteligencia sentiente.
"Transcendentalidad es un concepto central en la filosofía tanto antigua como moderna. Pero esta filosofía conceptuó la transcendentalidad (como no podía menos de ser) desde la inteligencia concipiente. La inteligencia sentiente nos lleva a un concepto distinto de la transcendentalidad" [3]
Así como un nuevo paradigma de sentir conduce a una nueva concepción de la intelección matemática, un nuevo paradigma de "transcendentalidad" nos lleva a una nueva concepción del objeto matemático. Esquematizamos a continuación el giro en la noción de "Transcendentalidad" de concipiente (tanto del idealismo como de la Escolástica) a sentiente.
Transcendentalidad concipiente
"versus"
Transcendentalidad sentiente
1. a) Estructura del sujeto puro
b) Momento de la realidad "allende"
la impression
1. Momento de la realidad en impresión
2. Carácter del contenido de la impresión
2. Carácter de la formalidad de realidad en impresión.
3. a) Es "trans" en el sujeto transcendental
b) Es "trans" "fuera" de la impression
3. Es "trans" en la formalidad "de suyo" de la realidad campal.
4. Momento conceptivo
4. Momento físico de las cosas reales dadas en impresión.
5. Es Comunidad universal de lo concebido
5. Es Comunicación ex-tensiva real
Veamos más detalladamente en qué consiste este cambio paradigmático de "la transcendentalidad" a fin de extraer todas sus consecuencias respecto del Constructivismo Transcendental.
En primer lugar, lo verdaderamente revolucionario está en considerar la Transcendentalidad como un momento de la realidad en impresión. Zubiri elimina toda su carga idealista; sostiene, frente al idealismo transcendental de kant, que la transcendentalidad no está puesta por el yo puro, ni su término es la objetividad, sino el orden de lo real, anterior al orden de la verdad y fundamento de ésta En cuanto objeto de la inteligencia sentiente, es realidad dada en impresión.
"¿Que es lo transcendental? Lo que es transcendental es aquello que constituye el término formal de la inteligencia, a saber, la realidad. Y esta realidad nos está presente en impresión. Por tanto, quien es transcendental es la realidad en impresión"[4]
La Transcendentalidad es, pues, un carácter real, no de una realidad "fuera" de la impresión, sino de la formalidad de realidad dada en impresión. La filosofía clásica ha conceptuado el "Trans" en la línea del contenido de la impresión de realidad, lo que le ha llevado a afirmar que este contenido es transcendente. Pero esto siempre es problemático y precisa una justificación. No puede identificarse, según Zubiri, transcendencia y transcendentalidad. Mientras que la primera se refiere al contenido de realidad, la segunda se refiere a la formalidad de realidad. "Trans" no significa "estar allende" la aprehensión. Esto sería impresión de lo transcendente, no impresión transcendental. Dentro de la aprehensión, la formalidad de realidad es transcendental porque es "más" que cualquier contenido determinado de lo real.
"La impresión de realidad no es impresión de lo transcendente, sino impresión transcendental. El trans no significa, por tanto, estar fuera o allende la aprehensión misma sino estar "en la aprehensión", pero "rebasando" su determinado contenido"[5]
Del mismo modo que transcendentalidad no es transcendencia, hay que afirmar que no es tampoco inmanencia. Ambas nociones hacen referencia al contenido. Según Zubiri, la realidad está en la impresión, pero independientemente, esto es lo que significa formalidad "de suyo" o "en propio".
"Esta formalidad no es formalmente realidad allende la aprehensión. Pero tan enérgicamente como esto ha de decirse que no es puramente inmanente, empleando una terminología antigua y literalmente inadecuada. La formalidad es por un lado el modo de quedar en la aprehensión, pero es por otro el modo de quedar ‘en propio’, de ser ‘de suyo’". [6]
La Transcendentalidad es comunicación ex-tensiva real. Esta noción veremos que es sumamente novedosa y fecunda para la filosofía matemática. Zubiri rechaza la concepción tanto greco-medieval como la kantiana de lo transcendental, a saber, aquello en que coincide todo lo concebido, sea objeto o ser. Sólo desde una inteligencia concipiente puede ser"comunidad universal" de lo concebido. Desde una inteligencia sentiente, transcendentalidad es el carácter de una formalidad que desde una cosa real transciende a otras; es comunicación ex-tensiva real. Zubiri lo hace plástico con la imagen de una gota de aceite que se extiende desde sí misma, desde el aceite mismo. Se trata de una "ex -pansión", de una "ex -tensión" física de la formalidad de realidad desde cada cosa real a otras. Transcendentalidad es el momento del "ex" de la formalidad de lo real en impresión.
"La transcendentalidad es algo que, en este sentido, se extiende desde la formalidad de realidad de una cosa a la formalidad de realidad de toda otra cosa. Transcendentalidad entonces no es comunidad, sino comunicación. (...) La formalidad misma de realidad es constitutiva y formalmente "ex-tensión". Por tanto, no se trata de mera universalidad conceptiva, sino de comunicación ex-tensiva real. El trans de la transcendentalidad es un "ex" de la formalidad de lo real" [7]
La Transcendentalidad es un momento físico de las cosas reales dadas en impresión. El "Trans" no es un carácter conceptivo de máxima universalidad, sino que es de carácter físico, es la comunicación ex-tensiva de lo real. Hacemos hincapié en este carácter físico. de la transcendentalidad porque al referirnos a la realidad física del objeto matemático nos estaremos refiriendo a este carácter físico de la transcendentalidad sobre el cual se construye la matemática. La filosofía clásica sólo ha atribuido el carácter de "físico" al contenido de las realidades dadas, y esto es así, pero insuficiente, pues también el momento de la formalidad de realidad es físico, si bien sea de un modo distinto. ¿Y en qué sentido es físico el momento de formalidad de realidad? La formalidad de realidad es algo que yo no he concebido, sino que me es dado impresivamente a través de la aprehensión primordial de cualquier cosa real; se me impone con una fuerza propia, de tal modo que me hace estar en "la" realidad. Pues bien, la formalidad de realidad por tener estos caracteres no es conceptiva, sino física. Zubiri toma el término físico como lo opuesto a conceptivo. Físico es equivalente a lo real e idénticamente a lo sentible (sea impresión sensible o impresión transcendental). Es fuente de confusión identificar lo físico y lo sensible. ( ya vimos esta distinción en el capítulo anterior a propósito de la ampliación del paradigma de sentir según lo entiende Zubiri). La transcendentalidad no es un momento sensible (no tiene un contenido dado, sino que transciende cualquier contenido, es "más" que cada uno de ellos), pero es un momento físico dado impresivamente (porque es un momento de la formalidad de realidad).
"La unidad del acto de esta inteligencia sentiente es la aprehensión impresiva de lo real. Esta aprehensión tiene un contenido específico y un momento inespecífico de realidad. Por este momento es por lo que la aprehensión de lo real nos instala inmediatamente en el campo transcendental de lo real como tal. Y recíprocamente, la forma radical, primaria y primigenia de la transcendentalidad es impresión. La transcendentalidad es así un momento físico y no conceptivo de la impresión"[8]
Y
"la transcendentalidad no es de carácter conceptivo, sino de carácter físico. Es un momento físico de las cosas reales en cuanto sentidas en impresión de realidad. No es algo físico al modo como lo es su contenido, pero es, sin embargo, algo físico: es lo físico de la formalidad, esto es, la física del trans en cuanto tal" [9]
La transcendentalidad es el "trans" que posee la formalidad "de suyo" de la realidad campal respecto de las realidades concretas. La realidad es una formalidad, es siempre y sólo lo que es "de suyo", "en propio". No es una "zona" especial, de cosas. Zubiri amplía el término de realidad, de tal modo que no sólo conviene a lo transcendente o "allende" la impresión, sino que algo puede ser también real "en" la impresión. Por tanto, realidad de los objetos no significa independencia o allende nuestra inteligencia sentiente. Zubiri no defiende ni un realismo ingenuo, ni crítico, sino un realismo transcendental. Realidad no es una zona de cosas "allende" la impresión, sino que realidad es mera formalidad. Habrá cosas reales "en" la inteligencia sentiente y cosas reales "allende" la inteligencia sentiente. Lo real "en" la inteligencia sentiente puede que no sea real más que en la inteligencia sentiente, pero esto no implica que no sea real "en" ella. Pudiera ser que los objetos matemáticos no fueran reales más que "en" la inteligencia sentiente, pero no dejan por ello de ser reales. Es otro punto capital para entender el Constructivismo Transcendental.
"Realidad, repito, es formalidad del "de suyo" sea "en" la impresión, sea "allende" la impresión. Lo impresivamente real y lo real allende coinciden, pues, en ser formalidad del "de suyo"; esto es, coinciden en ser reales." [10]
Y un poco más adelante, añade:
"Por esto más que de realidad y realismo (tanto crítico como ingenuo) habría que hablar, según dije páginas atrás, de reidad y reismo. "Reidad": porque no se trata de una zona de cosas, sino de una formalidad. "Reismo": porque este concepto de reidad o realidad deja ahora abierta la posibilidad de muchos tipos de realidad" [11]
Aunque ya hemos adelantado alguna idea de la repercusión que tiene este cambio paradigmático de la transcendentalidad en la filosofía de la matemática, pasamos a analizarlo más detalladamente a continuación.
1.1.2. Ambito transcendental: Principio metafísico de la construcción matemática.
Gödel[12], consideraba "un prejuicio de la época" suprimir la metafísica. También Zubiri lo debió de ver así, y su intento es restaurarla dentro de la vida intelectual, volviendo a otorgarle el puesto que ya Aristóteles reservó para ella (aunque su noción de metafísica es muy distinta de la aristotélica, pues ésta es concipiente y la suya es sentiente). El empeño está justificado; no sólo los positivistas lógicos, también los intuicionistas rechazan cualquier tipo de fundamento metafísico de la Matemática. Oigamos, por ejemplo, a Heyting:
"... me parece que para aclarar el sentido de su pregunta tiene que apelar de nuevo a conceptos metafísicos, a cierto mundo de objetos matemáticos que existiesen independientemente de nuestro conocimiento de ellos, y en el que "1 = 1" sería verdad en cierto sentido absoluto; ahora bien, repito que las matemáticas no deberían depender de conceptos tales como ese."[13]
Y continúa:
"En realidad, todos los matemáticos (incluso los intuicionistas) están convencidos de que en cierto sentido las matemáticas se refieren a verdades eternas; pero cuando trata uno de definir con precisión tal sentido se enreda uno en un laberinto de dificultades metafísicas; y la única forma de evitarlas es proscribirlas de las matemáticas."[14]
Zubiri pensará que la metafísica proscrita, y con razón, de la matemática es la metafísica concipiente, pero pensará ¿dónde está escrito que este concepto de metafísica sea el único posible? ¿no es posible una metafísica de índole sentiente que esté a la base de la realidad matemática y de sus conceptos? En efecto, la metafísica, dirá el autor, no es una disciplina de conceptos abstractos y a priori, tampoco de la realidad transcendente. Comparte la convicción de la época de que una metafísica concipiente no puede fundamentar la matemática. ¿Cuál es el objeto de la metafísica sentiente? Según hemos visto, es el momento del ex de la "física" formalidad de realidad sentida. Lo "trans" pende de las cosas reales. No es un orden a priori, como tampoco es a posteriori; se funda en la formalidad en que "quedan" las cosas reales en la inteligencia sentiente. Metafísica es, pues, la "aprehensión sentiente de la física transcendentalidad de lo real."
"no se trata de inteligencia sensible, sino de inteligencia sentiente: impresión de realidad. En este sentido de "física del trans", y sólo en este sentido, la transcendentalidad de la impresión de realidad es un carácter formalmente metafísico: es lo metafísico no como intelección de lo transcendente, sino como aprehensión sentiente de la física transcendentalidad de lo real"[15]
Sólo en este sentido de metafísica nos referimos al principio metafísico de la matemática en el nuevo Constructivismo de Zubiri. Principio último de la Matemática no son los conceptos, ni los juicios primeros o fundamentales. "La conversión del principio en juicio fundamental, nos dice Zubiri, es uno de los avatares más graves de la historia de la filosofía"[16]. Principio es lo que activa nuestra inteligencia y, por tanto, no puede ser más que la realidad en su apertura, en su transcendentalidad. Estamos poseídos por la realidad, de lo contrario nos sería imposible crear la matemática como ciencia de realidad. El principio de la Matemática es un principio real o "físico", no conceptivo. "Lo" matemático es "lo" metafísico o "lo" transcendental que, insistimos, no es "más allá" de lo físico, sino "más allá" de este contenido concreto de lo real sentido. Para Zubiri no hay una fundamentación lógica de la matemática (en oposición al logicismo matemático), como de ninguna otra ciencia, sino que hay una fundamentación metafísica. El cambio de paradigma de "transcendentalidad" está a la base del giro de la lógica a la metafísica en el fundamento matemático. "La realidad como principio, nos dice Zubiri, está en la razón no sólo objetivamente, sino realmente"[17] La condición de posibilidad de cualquier intelección racional es el ámbito trascendental de realidad. Éste no tiene una realidad por sí mismo, sólo existen las cosas reales, pero la realidad de éstas al ser formalidad abierta en respectividad es más que cada una de ellas y podemos darle cierta autonomía liberándola del contenido concreto. Este ámbito es el que posibilita la libre construcción en él de un contenido postulado según conceptos, y así construimos la matemática. Y no sólo la matemática sino cualquier ciencia y cualquier intelección racional es libre creación del contenido de la realidad transcendental. Apoyándonos en la afirmación que hiciera Zubiri en 1921: "Toda ciencia es una elaboración trascendente, y, sin saberlo ni quererlo, vive de la Metafísica" [18], podríamos poner en su boca (porque no lo hemos hallado explícitamente), ya en su etapa metafísica, esta otra afirmación: toda ciencia es una creación transcendental, y, sin saberlo ni quererlo, vive de la Metafísica. Y en el caso que nos ocupa: la Matemática es una libre construcción transcendental, y, sin saberlo ni quererlo, vive de la Metafísica. Todas las ciencias tienen como principio último la realidad en su momento transcendental. "El principio de todos los limitados principios de la razón es ‘realidad’ "[19]. Este principio último de la Matemática y de la Ciencia no es nada acabado, absoluto, sólo es una formalidad de realidad como ámbito transcendental, pero queda averiguar cuál es su contenido en cada caso y esto siempre es problemático y provisional.
El momento de la física transcendentalidad de la formalidad de realidad sentida es un ámbito de realidad que hace posible que la inteligencia humana se mueva libremente. Esto es fundamental. La matemática no es un movimiento de la inteligencia de unos conceptos a otros, en un plano meramente mental, sino que es un movimiento en la física formalidad de realidad en su momento transcendental.
"Dice Zubiri: "...el momento de realidad no solamente es un carácter que tiene cada una de las cosas, sino que es una especie de ámbito en que la inteligencia queda, precisamente porque es más que aquello en que la cosa real consiste; porque excede o transciende físicamente a lo que es cada una de las cosas. La realidad como ámbito es el momento de realidad en cierto modo tomado en su transcendentalidad, respecto de las cosas reales que hay en la realidad. Al ocurrir esto, la inteligencia queda en una situación curiosa ". Está atenida al momento de realidad, pero como ámbito." [20]
La inteligencia al quedar en la realidad como ámbito transcendental, esto es, como "de suyo", pero sin un contenido concreto, puede construir libremente los objetos matemáticos como contenidos de este ámbito transcendental. Ya hemos dicho que es en el momento de transcendentalidad de la realidad, en el que la inteligencia se mueve libremente y construye los objetos matemáticos por postulación, donde hay que fijarse para decir que los objetos matemáticos tienen una realidad física. Para Zubiri la realidad física de los objetos matemáticos consiste en el momento físico de transcendentalidad de la realidad que está a la base de la construcción matemática. La realidad física de lo matemático no se debe al contenido postulado, sino a la proyección de éste en la impresión de realidad.
"...la realidad de los objetos matemáticos es el momento de transcendentalidad que tiene el momento "físico" de realidad como ámbito en el cual están constituidas las cosas y dentro del cual se mueve la inteligencia humana.(...) Los objetos matemáticos son determinaciones construidas dentro del momento "físico" de realidad y precisamente por el momento de realidad como ámbito."[21]
El transcendentalismo matemático significa, pues, que la matemática está constituida[22] en el momento transcendental de la realidad de cada cosa real sensible. Al ser este momento de la física realidad "más" que su contenido concreto posibilita la libre construcción del contenido matemático.
"La realidad de los objetos matemáticos es el "más", ese mismo "más" de toda cosa real en y por sí misma. Y precisamente por ser un "más" es por lo que se presta a tener un libre contenido por postulación."[23]
Ese "más" donde se construyen los objetos matemáticos es el momento campal de la formalidad de lo real sentido. De ahí que la campalidad, en cuanto ámbito transcendental, es la base de la construcción matemática. El papel que juega esta noción de campalidad en la filosofía de la matemática es crucial, lo hemos visto en la intelección, ahora en el objeto y posteriormente en la verdad, sin ella su filosofía de la matemática sería imposible. Así como esta noción de campo es importantísima en la física, no lo es menos en la matemática, si bien no es un campo "allende" la impresión de las cosas reales sino "en" la impresión de las cosas reales. El campo es un momento transcendental de la realidad física sentida y lo matemático es realidad física sentida por ser una construcción en él.
"Ambito y transcendentalidad no son sino dos aspectos de un solo carácter: el carácter campal de lo real sentido. Este carácter es al que unitariamente llamaremos ámbito transcendental. La formalidad de lo real tiene así dos aspectos. Es por un lado, la formalidad de cada cosa en y por sí misma, lo que pudiéramos llamar muy laxamente formalidad individual. Pero por otro lado es una formalidad excedente en ella, esto es, es una formalidad campal. Y esta campalidad es ámbito transcendental." [24]
Zubiri insiste continuamente en que el ámbito transcendental, base de la construcción matemática, es la realidad campal sentida. Se trata, pues, de la formalidad de realidad dada en impresión en su momento campal. El "trans" de la dimensión campal de las cosas reales no es un "allende" ellas, sino un "trans" o un "más" "en" ellas; es estar "en aprehensión, pero ‘rebasando’ su determinado contenido. La transcendentalidad es un momento de la respectividad de lo real en cuanto sentida en impresión de realidad, esto es del campo. El momento de transcendentalidad del campo es el que nos lleva de unas realidades a otras y el momento de ámbito es el que aloja a otras realidades.
"El campo es "más" que cada cosa real, pero es más "en" ellas mismas. El campo es, en efecto, la respectividad misma de lo real en cuanto dada en impresión de realidad. Y esta respectividad es "a una" transcendentalidad y ámbito. Son los dos caracteres que dan su pleno contenido a la respectividad. Como transcendentalidad, la respectividad constitutiva de lo real lleva en cierto modo a cada cosa real desde sí misma a otras realidades. Como ámbito es el ambiente que aloja a cada cosa real." [25]
Zubiri denomina la base metafísica de la construcción matemática con las nociones: campo de realidad (en cuanto tal realidad), ámbito de realidad, ámbito transcendental y "la" realidad. El sentido de cada uno debemos verlo englobando todos los demás. El campo de realidad es un ámbito de realidad que tiene también el carácter de transcendentalidad, y en cuanto momento autonomizado de la formalidad individual de lo real concreto puede denominarse "la" realidad. Este término de "la" realidad, si atendemos al contenido de realidad, no es unívoco, porque puede referirse a la realidad campal y a la realidad mundanal. Y mientras que en la realidad campal el contenido es sentido, en la mundanal es pensado. Ahora bien, si atendemos a la formalidad de realidad es numéricamente la misma: es la formalidad de realidad dada en aprehensión primordial de realidad por cada cosa real. Pues bien, el término "la" realidad alude a este segundo sentido. De ahí que Zubiri use el vocablo "la" realidad sin mayor especificación, la única precisión está en tomarla no en su momento individual sino en su momento transcendental.
"El mundo de la realidad es el mismo que el de la realidad campal en cuanto realidad. No es la mismidad de un concepto objetivo sino la identidad física y numérica de un ámbito. (...) La realidad campal es "la" realidad en el campo, es la realidad en su estructura aquende; "la" realidad mundanal es esa misma realidad en su estructura allende. Ambas estructuras no son independientes. Su dependencia se manifiesta en su mismo carácter. La respectividad campal es la misma respectividad mundanal pero, en cierto modo en cuanto sentida."[26]
Este texto de Zubiri es uno de los más complejos si lo referimos a la matemática. Aparece una cuestión que en su filosofía de la matemática no resulta clara, de ahí que tengamos que ofrecer nuestra interpretación del mismo al hilo de su pensamiento general. En el texto, Zubiri distingue en "la" realidad una estructura "aquende" y una estructura "allende", estructuras que no son independientes, puesto que se trata de la "misma" realidad, de la "misma" respectividad. La distinción de la realidad campal y la realidad mundanal está en el contenido, pero no en la formalidad de realidad que es idéntica. El contenido en el campo es dado (sentido), mientras que en el mundo es creado o construido (pensado). Por ejemplo el contenido del verde nos es dado en una impresión sensible, mientras que el contenido de fotón es esta misma realidad del verde pero con un contenido pensado. En el primer caso es la estructura "aquende" del fotón y en el segundo caso es esa misma realidad en su estructura "allende". Ahora bien, si entendemos así la noción de campo y la noción de mundo, ¿cómo se aplica a la matemática? ¿Qué estructura "aquende" tiene un número irracional y qué estructura "allende"? Esta distinción está claro que en los objetos matemáticos no se establece. No hay ningún contenido dado "en y por sí mismo" porque no hay ninguna impresión sensible de lo matemático, no tenemos aprehensión inmediata sino sólo transcendental. El contenido es construido en la impresión transcendental. El matemático no piensa el contenido mundanal de un contenido campal, esto es, dado o sentido; a diferencia del físico que parte de un contenido concreto sentido campalmente, y desde él marcha en busca de su fundamento mundanal. Sus situaciones son evidentemente distintas. El matemático, repetimos, no parte de ningún contenido concreto sentido, lo hace de "la" realidad como ámbito transcendental. Ésta no es ningún contenido concreto, pero es sentido campalmente, y es un momento físico de realidad, que le lleva a pensar cuál es su estructura mundanal. Este ámbito es igualmente campal y mundanal porque no tiene un contenido sentido o dado, sino que los trasciende a todos. En cuanto ámbito, decía Zubiri en el texto, son idénticas la realidad campal y la realidad mundanal. De ahí la vacilación entre tratar lo matemático sólo como mundanal (en el sentido de estructura "allende" o pensada) o también como campal (en el sentido de estructura "aquende" o sentida). En este sentido, podemos hablar entonces respecto de los objetos matemáticos de una estructura aquende y una estructura allende. La matemática parte de un momento sentido, dado y físico, que si bien no es un contenido determinado o concreto, sí es un ámbito transcendental. El matemático piensa de él su contenido mundanal. La realidad de "lo" matemático, o ámbito transcendental matemático, es la física dimensión campal de las cosas reales aprehendida en la aprehensión primordial de cualquier cosa real, pero autonomizado del momento individual.
"Lo real en y por sí mismo es real de un modo transcendentalmente campal. La actualidad de lo real actualiza entonces con autonomía el campo como ámbito transcendental. La campalidad es un momento de la aprehensión primordial de realidad; que pueda funcionar con autonomía respecto del momento individual no significa que sea independiente de la aprehensión primordial. Este momento nos está dado pues allí donde lo real mismo nos está dado: en la impresión de realidad. La impresión de realidad es, pues, aprehensión primordial sentiente de lo real en su formalidad individual y campal: es impresión transcendental." [27]
El ámbito transcendental es un carácter físico de las cosas, Zubiri lo denomina: el ambiente "en" las cosas determinado por ellas mismas. Es la respectividad como ámbito. De ahí que no sea un vacío de realidad, sino un ámbito de la física formalidad de realidad. En cambio es vacío de contenido concreto. Pero ya hemos dicho que realidad y contenido no se identifican. Precisamente porque el ámbito transcendental es realidad vacía de contenido posibilita la libre construcción de un contenido postulado. Y el contenido consiste en notas y en la existencia. De este modo, en la construcción matemática se postulan libremente unas notas y la existencia de objetos matemáticos en "la" realidad. Zubiri considera un grave error de la Escolástica haber identificado realidad y existencia. Ésta no es que sea una nota del contenido, pero concierne al contenido. La formalidad de realidad es meramente el carácter "de suyo"[28]. La realidad es un momento "anterior" a su existencia y a sus notas. No una anterioridad de índole temporal, sino en el orden de la fundamentación. Sólo siendo real tiene la cosa existencia y notas. Se ve ahora que sólo porque estamos en "la" realidad podemos construir las notas y la existencia de los objetos matemáticos. Recordemos que Zubiri entiende la matemática como ciencia de realidad y no de meros conceptos, y, supuesto esto, ¿cómo podríamos tener ciencia de realidad si partiéramos de meros conceptos? Imposible. Gracias a la inteligencia sentiente estamos ya en la realidad y en ella podemos construir la matemática.
A lo largo de este punto se ha ido poniendo de manifiesto la repercusión que tiene el cambio de paradigma de la "transcendentalidad" en la filosofía de la matemática, y en qué sentido la matemática es un transcendentalismo. La base transcendental en la que se construye la matemática es un momento no de un sujeto transcendental, ni de la realidad "allende", sino de la realidad en impresión; es un momento del carácter de la formalidad "de suyo". Y el "trans" es de la formalidad campal de realidad respecto del momento individual, es un momento físico y no conceptivo; es, por último, comunicación ex-tensiva real y no comunidad universal de lo concebido. En definitiva, el ámbito transcendental de lo matemático es realidad física. Luego ¿no serán los objetos matemáticos, en cuanto construcciones transcendentales, realidades físicas? Y, por lo mismo, ¿no existirán físicamente? Volveremos un poco más adelante sobre esta cuestión.
Antes de concluir este punto es preciso destacar algo que Zubiri dice explícitamente y que, sin embargo, no ha insistido en ello en su filosofía de la matemática. Se trata del carácter de funcionalidad que tiene el ámbito transcendental. Ya nos fijamos sobre esta cuestión en el primer capítulo, a propósito de la repercusión filosófica de la noción de función matemática en el pensamiento de Zubiri, pero es preciso verlo en este contexto. La funcionalidad es el carácter intrínseco del campo. El campo es campo de funcionalidad. Esto, a nuestro modo de ver, es capital para entender la construcción matemática. Es un carácter que concreta la noción de campo. Y de este modo viene a cubrir un problema que no obviamos en la concepción zubiriana de la matemática. Respecto del campo o ámbito transcendental matemático no resulta explícito qué estructura tiene, qué papel exactamente tiene en la construcción matemática. Pues bien, he aquí algo que, de algún modo, viene en ayuda de esta dificultad y que por ello nos parece tan importante. Dice Zubiri:
"La funcionalidad, pues, no es una relación de unas cosas con otras, sino que es un carácter estructural del campo mismo en cuanto campo: unas cosas dependen de otras porque están incluidas en un campo que es intrínseca y formalmente campo funcional. (...) El campo es en sí mismo campo de funcionalidad. Sólo por ello cada una de las cosas puede depender de otras. Puede inclusive ser independiente de algunas de ellas. Independencia es un modo de funcionalidad" [29]
La funcionalidad concierne primariamente a la formalidad de realidad, no al contenido de las notas de lo real, es, por tanto, funcionalidad de lo real en cuanto real. Al ser estructura del campo es un momento dado "físicamente", esto es, sentido. Con las palabras de Zubiri volvemos a insistir en esta importante cuestión.
"El sentir humano es un sentir intelectivo, es radicalmente impresión de realidad; es algo dado "físicamente". Por tanto la intelección ulterior se mueve físicamente en esta realidad físicamente dada. La intelección no tiene que llegar a la realidad sino que está ya formalmente en ella. Ahora bien, como esta realidad se actualiza campalmente, la campalidad es un momento de la impresión de realidad. Y por tanto, la funcionalidad misma es un momento dado en impresión de realidad. Está dado como un momento formal suyo."[30]
La dependencia funcional es sentida como un momento estructural del campo de realidad como realidad. Los modos de funcionalidad son diversos. La sucesión, la coexistencia, la posición, son tipos de funcionalidad. También el espacio, la espaciosidad son tipos de funcionalidad.
"Sucesión, coexistencia, posición, espaciosidad y espacialidad, etc., son tipos de funcionalidad. No pretendo ni remotamente una enumeración completa: sólo he apelado a estos casos para ejemplificar lo que es dependencia funcional."[31]
Recordemos que en el primer capítulo decíamos que la función era el objeto básico de la matemática y que incluso S. MacLane decía que en la matemática "todo es función", pues aquí puede hallarse un fundamento filosófico que lo apoya. La matemática se construye, según Zubiri, en el momento campal de realidad cuya estructura es la funcionalidad. La base de la matemática es el campo funcional. Esto explica que la descripción de la realidad matemática no sea de tipo predicativo sino funcional. Tanto Russell como Zubiri recurren a la matemática para poner de relieve este tipo de descripción funcional de la realidad. Aún teniendo todas las ciencias por objeto la funcionalidad (y no la causalidad), ninguna como la matemática se mueve en la mera funcionalidad en cuanto tal. Queremos decir que la matemática crea sus objetos en el campo funcional con total independencia de los contenidos campalmente sentidos, mientras que las demás ciencias no crean los contenidos de la funcionalidad con total independencia de los sentidos. Por otra parte, hay que decir que el campo de funcionalidad está determinado por las cosas sentidas, y, por tanto, la matemática no es totalmente independiente de éstas. Si hablamos de independencia del contenido matemático respecto de todo lo campal es en el sentido exclusivo de su contenido concreto, sin embargo no puede hablarse de independencia respecto del campo de realidad funcional que abren las cosas dadas inmediatamente. Así la espaciosidad es funcionalidad de lo real determinada por la posición de los puntos en que consisten las cosas materiales, puntos que son un ex-de (fuera-de otros). Y la espacialidad es la estructura funcional de la espaciosidad de las cosas espaciosas, se funda en ésta.
"Las cosas reales materiales están constituidas por puntos. Cada punto está "fuera" de los demás: es un ex. Pero no es algo que está simplemente fuera, sino que es un ex que está en unidad constructa respecto "de" los demás ex puntuales de la cosa. Lo expresamos diciendo que todo ex es un "ex-de". En su virtud cada punto tiene una necesaria posición respecto de otros puntos por razón de su "ex-de". Esta cualidad de posición en el "ex-de" es lo que llamo espaciosidad. Es una propiedad de cada realidad material"[32].
Y continúa diciendo,
"Pues bien, la funcionalidad de las cosas reales espaciosas en cuanto espaciosas es el espacio: es la espacialidad. El espacio está fundado en la espaciosidad. Y esta funcionalidad pende de las demás notas de las cosas. Es decir, son las cosas las que determinan la estructura de la funcionalidad, esto es, la estructura del espacio"[33]
A continuación tratamos más detenidamente la espaciosidad como ámbito transcendental y funcional de realidad donde se construye el espacio geométrico.
1.1.3 Espaciosidad: Ambito transcendental posibilitante del espacio geométrico.
Zubiri rechaza, por un lado, la postura fisicalista que afirma que el espacio geométrico es una representación del espacio físico (así se entendió el espacio euclidiano durante siglos), y, por otro lado, la postura conceptualista que reduce el espacio geométrico a una índole conceptual.
"Ningún espacio geométrico, empezando por el propio espacio euclidiano, son en cuanto geométricos espacios físicos. Sin embargo, un espacio geométrico no es un mero concepto ni una síntesis de conceptos"[34]
Si el espacio geométrico no es intuición ni concepto, ¿qué es? En El Espacio [35], Zubiri plantea la cuestión en términos de Constructividad y Transcendentalidad, de tal modo que el espacio geométrico no es otra cosa que una construcción transcendental. El punto de partida de la construcción geométrica, según acabamos de ver, es la realidad de "lo" geométrico, o el ámbito transcendental de la realidad en cuanto espaciosa. "Lo" transcendental posibilitante de la construcción del espacio geométrico es la espaciosidad. Por tanto, el transcendentalismo geométrico significa que sin la espaciosidad no se podría construir el espacio geométrico. Y ¿qué es la espaciosidad del espacio geométrico? Es un principio estructural, no causal, que posibilita la libre construcción de estructuras espaciales. En cuanto principio transcendental (sin un contenido determinado), la espaciosidad se impone a la inteligencia con la fuerza de ob-ligarla a realizar como contenido suyo una estructura libremente construida.
"La realidad como ámbito tiene un principio estructural, no causal, que es la espaciosidad. Esta no tiene estructura, pero hace posibles las estructuras. Lo "real" de la posibilidad consiste en que "permite" que haya espacios de una u de otra estructura. Las estructuras son co-posibles. Pero la espaciosidad no sólo "permite" varias posibilidades estructurales, sino que "fuerza" a que se realice una de ellas." [36]
El espacio geométrico es la unidad de la libre con-junción de puntos con una determinada posición[37] según un fuera y un dentro. Cada punto está "fuera" de los demás: es un ex-de. El "ex" tomado en y por sí mismo, se convierte en "ámbito" físico de realidad. Zubiri lo denomina ex-tensidad, esto es, la tensidad (dar-de-sí) respectiva de aquello cuya forma de realidad es un "ex-de". La extensidad es idénticamente la espaciosidad. En ella se mueve libremente la inteligencia y construye las formas del "de", esto es, los distintos sistemas topológicos.
"En el carácter "ex-de" del punto es en donde radica formalmente la espaciosidad. El modo de unidad de aquello cuya forma de realidad es un "ex-de", es "ex-tensidad", la tensidad respectiva de aquello cuya realidad es un "ex-de". (...) Pues bien, la espaciosidad es idénticamente la extensidad de lo real. Y la estructura de la extensidad es el espacio tanto geométrico como físico. La espaciosidad, la extensidad es el principio constitutivo de que las cosas se constituyan en espacio: la espaciosidad es principio estructural de espacio."[38]
El trans de la realidad en que consiste la espaciosidad o ex-tensidad es el "ex". El "ex" es el ámbito transcendental que hace posible que la inteligencia se mueva libremente y proyecte en él unas estructuras geométricas (topológicas, afines, métricas) construidas con independencia de todo contenido campal.
"Por esto la matemática construye las estructuras geométricas (topológicas, afines, métricas) dentro de la libertad que le confiere un "ex", que es así el carácter principial de todo espacio geométrico. Es una libre construcción en la realidad misma; no es una construcción de realidad. La extensidad como principio de libertad de infinitas estructuras espaciales co-posibles es la espaciosidad geométrica."[39]
Los espacios geométricos no son construcciones de realidad sino más bien realidades en construcción. De ahí que en rigor de los términos tendríamos que denominar la postura de Zubiri, desde el punto de vista de la naturaleza del objeto matemático, no tanto Constructivismo Transcendental, sino Transcendentalismo constructivo. Así pues, el espacio geométrico es la espaciosidad o extensidad, dada físicamente como ámbito transcendental, con una estructura libremente construida. Los distintos contenidos posibles de la espaciosidad constituyen las distintas Geometrías. Se ve, pues, que todos los espacios geométricos son posibilidades reales y no meramente lógicas. Son construcciones en "la" espaciosidad.
"La espaciosidad geométrica presenta tres tipos de estructuras: conjuntos en los que los puntos están unos "junto-a" los otros; en "dirección-hacia" y "a-distancia-de". Estas tres estructuras no son intuitivas ni puramente conceptivas; son estructuras dentro del ámbito de realidad. De modo que no se trata de una construcción de realidad, sino de una realidad en construcción."[40]
No entramos en el análisis del espacio físico por no ser objeto de la matemática sino de la ciencia física. Basta aquí la idea de que la espaciosidad o extensidad es el principio real tanto del espacio físico como del espacio geométrico, del primero como principio de libre construcción, del segundo como principio de libre movilidad. La espaciosidad como principio real común justifica el isomorfismo entre el espacio geométrico y físico. Esta es una ventaja del constructivismo transcendental de Zubiri respecto de otras filosofías de la matemática. Esto es crucial.
"La extensidad hace posible el cambio respectivo y por tanto el espacio físico, y hace posible también la libre construcción del espacio geométrico, así como hace posible el isomorfismo entre ambos."[41]
La espaciosidad o extensidad espacial es un momento de la transcendentalidad o extensidad transcendental, ahora bien, es preciso matizar que ésta no se reduce totalmente a aquélla. La espaciosidad es la primera y primaria forma de transcendentalidad, esto es, de apertura de lo real en cuanto real. En ella se fundan otras formas de transcendentalidad: la dis-tensidad (el ex consiste en estar "después-de"), in-tensidad (forma de reversión del ex al in ), la pre-tensidad (fuera-de sí pretendiendo) y la obs-tensidad (alteridad en impresión). Ninguna de estas formas sería posible sin la extensidad espacial. Por ello puede hablarse de una dimensión matemática en todo lo real, pero sólo en el sentido primario y básico, y no como constituyente esencial de la realidad de las cosas (y menos de las personas).
"Dentro de este sistema, la ex-tensidad espacial tiene un rango primario y fundante, porque todo otro modo de extensidad transcendental es posible tan sólo fundado en el modo primario de la extensidad transcendental, que es la extensidad espacial. El fundamento no está en el carácter de la espaciosidad del espacio, sino en el carácter transcendental de la espaciosidad."[42]
En síntesis, la extensidad como ámbito transcendental constituye el principio estructural de libre construcción, de libre movibilidad y de libre inteligibilidad. Es la realidad el principio fundante, posibilitante e impelente de todo cuanto existe y cuanto el hombre intelige y construye.
"La inteligencia en este esfuerzo dentro del ámbito de lo real fundado en extensidad y no limitado a lo extenso, va desplegando sus creaciones libres, libres de lo que las cosas reales son, en el ámbito de realidad en que su ex consiste, y liberadas de lo que son determinadamente en cada caso. Todo producto cultural está adscrito a la extensidad y surge en función de ella; la extensidad es "a una" el fundamento primario y estructural de la realidad del cosmos en cuanto realidad. Es "a una" el momento estructural y primario de la intelección y de su verdad." [43]
Zubiri al cambiar de paradigma de transcendentalidad se opone sobre todo al idealismo transcendental de Kant, así vemos que la espaciosidad para el primero es ámbito transcendental de realidad, mientras que para el segundo el espacio (no distingue espacio y espaciosidad) es una forma a priori del sujeto transcendental. La idealidad del espacio y del tiempo es la clave de todo el idealismo trascendental de la matemática del Constructivismo sensible. Según esta concepción, espacio y tiempo no son conceptos sino intuiciones puras, pues su carácter es único, sólo hay un espacio y un tiempo, aunque podamos distinguir distintas partes en cada uno. No son ninguna propiedad de las cosas, ni en sí mismas ni en sus relaciones; no existen independientes de nosotros; su carácter es ideal y son la condición subjetiva de la sensibilidad, el espacio de la externa y el tiempo tanto de la externa como de la interna.
Para Kant, la idealidad del espacio hace posible la geometría y la idealidad del tiempo, la aritmética. Sólo por ser el espacio y el tiempo intuiciones puras, es posible construir los juicios sintéticos a priori de la matemática. La geometría y la aritmética establecen las propiedades del espacio y del tiempo sintéticamente, por ser éstos intuiciones; pero no a posteriori sino a priori, por ser formas a priori de la sensibilidad. De esta idealidad del objeto de la matemática resulta su carácter apodíctico de todo cuanto se diga sobre él. Por ejemplo, Kant dirá que es necesario que el espacio sólo tenga tres dimensiones. Como no son juicios empíricos o de experiencia, nunca podrán ser refutados por ella. Las verdades matemáticas gozan de un carácter universal y necesario. El progreso de esta ciencia será acumulativo. Dice Kant:
"La geometría es una ciencia que establece las propiedades del espacio sintéticamente y, no obstante, a priori. ¿Cuál ha de ser, pues, la representación del espacio para que sea posible semejante conocimiento del mismo? Tiene que ser originariamente una intuición, ya que de un simple concepto no pueden extraerse proposiciones que vayan más allá del concepto... Esa intuición tiene que hallarse en nosotros a priori, es decir, previamente a toda percepción de objetos, y, consiguientemente, ha de ser una intuición pura, no empírica. En efecto, las proposiciones de la geometría son todas apodícticas..."[44]
Zubiri opone a la idealidad de la matemática su realidad. Parte de que la ciencia matemática no es un conjunto de juicios sintéticos a priori sino una forma de actualización de la realidad. Además la condición de posibilidad de la matemática es la realidad, el único apriorismo, si queremos usar el término, es la realidad misma como prius , "de suyo" respecto de la aprehensión. Por tanto, espacio y tiempo no son "a priori" de la realidad sino que se fundan en ésta. No son independientes de las cosas. No es la idealidad fundamento de la realidad. Espacio y tiempo no son estructuras trascendentales del sujeto, prueba de ello es su pluralidad. Dice Zubiri:
"Contra lo que Kant pretendía, cada espacio no es fragmento del espacio único, sino que el espacio es constitutivamente plural. Los espacios, además, son plurales según las estructuras que tengan. Con la agravante de que muchas de estas estructuras son incompatibles entre sí"[45]
Mientras que Kant considera el espacio como una intuición pura y sin estructuras, Zubiri dice que el espacio no es algo vacío y amorfo sino que tiene estructuras, incluso incompatibles; rechaza totalmente el apriorismo del espacio defendido por el primero. El espacio está en función de las cosas en cuanto espaciosas.
"No hay espacio a priori, sino que el espacio pende del comportamiento de las cosas; está fundado en ellas, no es absoluto"[46]
Para Zubiri la espaciosidad es ámbito de realidad posibilitante de la libre construcción, y, dejando aparte que no es lo mismo que espacio, no es una forma a priori de la sensibilidad. La sensibilidad o impresión se funda en la espaciosidad. Sólo hay impresión de lo que de un modo u otro está inscrito en la espaciosidad (algunos modos de la espaciosidad de la realidad son la ocupación —en los cuerpos—, la definición —en la psique— y la presentidad—la personeidad—). La respectividad entre realidad e inteligencia es lo que posibilita la actualización de la realidad en la inteligencia, y, dado que la respectividad de la realidad es extensividad, es ésta la que posibilita la intelección. La transcendentalidad de la realidad o formalidad de realidad en cuanto comunicación ex-tensiva real es el fundamento del conocimiento matemático, y en general de la intelección. Un texto que nos parece clave para contraponer el realismo trascendental (Zubiri) al idealismo trascendental (Kant) es el siguiente:
"Esto no significa que el espacio sea, como quería Kant, una forma de intuición pura a priori, en primer lugar porque no se trata del espacio sino de la espaciosidad, diferencia que como hemos visto es fundamental; y en segundo lugar porque la sensibilidad es formalmente impresión y el supuesto mismo de la impresión es la espaciosidad. La condición primaria de toda la aprehensión física de la realidad es la ostensividad en un ex, en el que coinciden las cosas y el hombre como realidad material. Lo intuitivo es consecuencia de lo ostensivo en impresión y la ostensión impresiva sólo puede darse en extensidad, porque justo el hombre comparte homogéneamente esta condición con la realidad física"[47]
1.2. El objeto matemático: constructo transcendental.
1.2.1 Objeto matemático: Realidad "en construcción"
Un grave problema de la epistemología matemática es la cuestión de si el objeto matemático es una libre postulación, o construcción, cómo puede tener algo que ver con la realidad o ser él mismo real. Pues bien, en la filosofía de la matemática de Zubiri, el Trascendentalismo se concilia con el Constructivismo. No hay oposición entre el carácter transcendental y el carácter construido del objeto matemático. De tal modo que el objeto matemático es un constructo transcendental. Esta conciliación es posible porque el trancentalismo matemático no afirma que el contenido de la realidad matemática sea dado, ni transcendente. El ámbito transcendental de realidad, decíamos, nos deja en libertad para determinar su contenido concreto que siempre es una opción creada e histórica. Por razón de su contenido hay que afirmar, según Zubiri, que la matemática es una obra tan creativa como la literatura de ficción. Pero en cuanto construcción (aplicación del contenido "según conceptos") en el ámbito transcendental es realidad. Los objetos matemáticos son construcción en el momento transcendental de "la" realidad sentida en aprehensión primordial, y, por tanto, no son objetos ideales sino que son objetos reales. Pero insistimos que se trata de realidad en impresión. No es realidad transcendente, sino realidad transcendental.
La construcción de las distintas geometrías ha invalidado el realismo clásico en matemáticas, por ello proliferan toda clase de posturas no-realistas. Ahora bien, ¿qué entienden por realidad? El convencionalismo, el instrumentalismo y el irracionalismo, atienden meramente al contenido, y suponen un concepto de realidad concipiente: realidad es zona de cosas que está más allá de nuestras impresiones. Pero, según Zubiri, la realidad es un momento de formalidad y no de contenido. La innovación de Zubiri para resolver esta cuestión y mantener un realismo que salve todas las dificultades que la nueva matemática plantea, consiste en partir de una inteligencia sentiente que hace la distinción entre formalidad de reidad y contenido de realidad. Sería contradictorio afirmar que la matemática es libre creación y que su objeto es real si se refirieran ambas cosas al contenido de la realidad, único aspecto tenido en cuenta por la inteligencia concipiente. Ahora bien, el realismo hace referencia a la formalidad, y la libre postulación se refiere al contenido de la realidad. La tesis realista de la matemática se fundamenta en el momento de formalidad de realidad que nos es dado en la aprehensión primordial de realidad, y que es el mismo momento de realidad en el campo y en el mundo. En la matemática no creamos la realidad, ésta nos es dada por las cosas reales sensibles, creamos meramente el contenido de realidad. De ahí que Zubiri repita insistentemente que el objeto matemático no es construcción de realidad sino realidad en construcción. Las realidades matemáticas son, pues, realidades postuladas. Este término es equivalente a nuestra denominación de constructos transcendentales. Si preferimos éste es porque caracteriza más específicamente la aportación de Zubiri, e incluso creemos que evita la polémica que despierta hablar de realidades postuladas, porque al oir el vocablo "realidad" de modo inconsciente nos deslizamos a un paradigma de realidad transcendente y sensible, y ya hemos advertido que no es el zubiriano.
Sólo si partimos de un paradigma de realidad, como realidad sensible o realidad con un contenido dado, podemos negar el carácter de realidad a lo matemático. El situarnos meramente en la vía del contenido de la realidad es lo que nos lleva a preguntarnos: ¿las realidades postuladas son ellas mismas realidad o no lo son? Esto es claro si abandonamos la perspectiva de inteligencia concipiente y nos situamos en la perspectiva de inteligencia sentiente o en la vía de la formalidad de realidad. En efecto, la inteligencia sentiente aprehende de modo sentiente las cosas reales tanto en su formalidad como en su contenido. No es lo mismo realidad y contenido. Esta distinción nos permite sostener que los objetos sensibles y los objetos matemáticos son reales en la misma formalidad de realidad, no obstante, ser diferentes sus contenidos. En los objetos sensibles nos está dado tanto la formalidad de realidad como su contenido, mientras que en los objetos matemáticos nos está dada la formalidad de realidad (es la de cualquier cosa sensible) y libremente construido su contenido. Por tanto, el objeto matemático es real, si bien, claro esta, realidad en construcción (idénticamente podría decirse realidad en postulación , o realidad en libertad ) .
Del mismo modo que en su concepción hay una ampliación del paradigma de sentir respecto de la tradición filosófica y no sólo se siente lo sensible, sino que se siente lo real; vemos que hay una ampliación también del paradigma de realidad respecto de la tradición filosófica. Realidad física no es meramente realidad sensible o transcendente, sino que realidad es formalidad "de suyo", cualquiera que sea el carácter de su contenido, si es dado tenemos realidades "en y por sí mismas", y si es construido tenemos realidades "en y por postulación", pero en ambos casos la formalidad de realidad, el carácter "de suyo" es idéntico. Zubiri no conceptúa la realidad en la línea del contenido sino en la línea de la formalidad. Y el resultado es una mayor amplitud del término.
Reflejamos esquemáticamente este cambio paradigmático de la concepción de la realidad, operado por la sustitución de la inteligencia sensible por la inteligencia sentiente. Es de suma importancia para la filosofía de la matemática.
Paradigma de realidad desde
inteligencia sensible
Paradigma de realidad desde
inteligencia sentiente
La realidad sensible
lo transcendente
La física formalidad de realidad.
lo transcendental
Zona de cosas "fuera" de la impresión
formalidad "de suyo"
(sea su contenido sensible o postulado)
Realidades "en y por sí mismas"
Realidades "en y por sí mismas"
realidades "en y por postulación"
Objeto de impresión sensible.
Objeto de impresión transcendental.
Hay que añadir que el término "realidad" no lo emplea Zubiri en sentido equívoco respecto de la tradición filosófica. "Realidad" conserva el sentido de lo físico, frente a lo conceptivo. Es independente del sujeto, frente al un mero producto suyo. Nos impresiona impositivamente, frente a lo concebido libremente. Está ante la inteligencia, frente a lo meramente puesto por ella. Todos estos caracteres se encierran en el término denominado por Zubiri "de suyo" o "en propio". Desde inteligencia sensible o concipiente (que sólo se fija en el contenido) sólo sería aplicable a las realidades "fuera" del sujeto, sin embargo, desde inteligencia sentiente (que se fija en la formalidad de realidad) es aplicable tanto a las realidades "allende" el sujeto, como a las realidades "en" el sujeto. La razón está en que la inteligencia es sentiente, esto es, su acto es impresión de realidad. En la aprehensión primordial de realidad aprehendemos los contenidos sensibles en formalidad de realidad. Esta formalidad "de suyo" tiene carácter físico, es independiente de la inteligencia, y se nos impone con una fuerza propia. Por ello decimos que la inteligencia está en la realidad de las cosas reales y que se mueve inexorablemente en ella. Pues bien, cuanto construyamos o inscribamos en esta formalidad de realidad, será "de suyo", "en propio". Todo lo que la inteligencia piense o imagine en "la" formalidad de realidad dada en aprehensión primordial es real. Y si las realidades sensibles son realidades no se debe a su carácter sensible sino a su formalidad "de suyo", y en esto coincide con las realidades matemáticas, que aunque tienen un contenido construido en cuanto que éste está realizado en "la" realidad tiene propiedades "de suyo" (Teorema de Gödel). Las notas matemáticas que se me imponen tampoco son "en y por sí mismas" sino "por la realización de otras notas" construidas en "la" realidad.
El contenido libremente creado según conceptos de lo matemático no es como tal realidad, sino que cobra realidad porque su construcción es transcendental, esto es, se proyecta este contenido en la realidad campal o ámbito transcendental. Sólo la construcción de inteligencia sentiente es construcción transcendental, porque sólo una inteligencia sentiente puede sentir la formalidad de realidad. Y el resultado de la construcción transcendental "segun conceptos" es realidad en concepto, pero siempre realidad, es decir, algo que en cuanto realizado tiene una autonomía "en" el sujeto, "queda" en formalidad "de suyo" ante la inteligenica. Por el contrario, las construcciones de inteligencia concipiente son meras construcciones mentales o conceptivas. De una construcción sensible o concipiente resultan los contenidos objetivos de conceptos. Por tanto, el que los objetos matemáticos sean realidad postulada no significa que sean conceptuales, sólo quiere decir que el contenido está libremente construido en la realidad física dada en impresión; esta construcción es la postulación. En la línea del contenido, se construye; en la línea de la formalidad de realidad se está.
La cuestión de la naturaleza del objeto matemático reviste tal gravedad que, igual que hicimos con "el modo de sentir la matemática", a continuación recogemos las ideas fundamentales a modo de tesis sustentadas por los textos del propio Zubiri desde su perspectiva del Constructivismo Transcendental.
1. Los objetos matemáticos no son objetos ideales, sino que son reales. Más aún no hay objetos ideales: todos los objetos de la inteligencia sentiente son reales porque se inscriben en la formalidad de realidad dada impresivamente. Lo denominado "ideal" es el ámbito transcendental de realidad construido en su contenido "según conceptos".
"Es usual llamar al objeto de la matemática ‘objeto ideal’. Pero no hay objetos ideales; los objetos matemáticos son reales.. Lo que tan impropiamente se llama ideal es lo real construido según conceptos. Tanto la existencia como las propiedades están postuladamente construidas en "la" realidad". [48]
2. Los objetos matemáticos no son mero sistema de verdades coherentes, sino que son objetos reales. Los postulados matemáticos no son meros enunciados lógicos, sino que enuncian los caracteres del contenido de lo real postulado.
"lo que los postulados postulan no es "verdad" sino "realidad"; lo postulado es la realidad de lo que se postula. Si se quiere hablar de verdades, habría que decir que los postulados enuncian la "verdad real" de lo postulado. Es decir, los postulados no son meros enunciados lógicos sino enunciados de los caracteres que tiene el "contenido" de la "realidad" de lo postulado" IL 129
3. Los objetos matemáticos no son algo intermediario entre las puras ideas y la realidad sensible. Los objetos matemáticos no son realidades sensibles porque su realidad es el momento de transcendentalidad del ámbito de realidad de las cosas aprehendidas sentientemente. Y no son ideales porque se inscriben en el momento "físico" de realidad. Tienen la misma realidad que las cosas sensibles, aunque su contenido no sea sensible.
"Los objetos matemáticos no son, pues, algo intermediario entre las puras ideas y la realidad sensible, porque la realidad de los objetos matemáticos es el momento de transcendentalidad que tiene el momento "físico" de realidad como ámbito en el cual están constituidas las cosas y dentro del cual se mueve la inteligencia humana. Y tampoco son objetos ideales, porque están inscritos en un momento físico de realidad. Los objetos matemáticos son determinaciones construidas dentro del momento "físico" de realidad y precisamente por el momento de realidad como ámbito"[49]
4. Los objetos matemáticos no son reales como las cosas sensibles. Las realidades matemáticas no son sensibles, por eso no tropezamos con ellas, ni podemos pesarlas, medirlas, etc. Pero ¿sólo las realidades sensibles son realidades físicas? No. los objetos matemáticos son realidades físicas aunque no sean sensibles.
"Es cierto que un espacio geométrico o Don Juan no son cosas reales en la misma forma en que lo es un vaso de agua. Pero ¿funcionan por así decirlo como algo pura y simplemente no-real? De ninguna manera" [50]
5. La "física" formalidad de realidad de los objetos matemáticos es la misma que la de las cosas sensibles aprehendidas en impresión sensible. La diferencia entre las cosas sensibles y los objetos matemáticos está en el contenido de realidad. El contenido de las primeras está dado impresivamente, por ello son reales "en y por sí mismas", y el de los segundos está libremente construido, son reales "en y por postulación".
"Los objetos de la matemática son "objetos reales", son objetos en la realidad, en esta misma realidad de las piedras o de los astros; la diferencia está en que los objetos matemáticos están postuladamente construidos en su contenido. La piedra es realidad en y por sí misma; un espacio geométrico o un número irracional son realidad libremente postulada" [51]
Con un ejemplo, el número irracional se inscribe numeralmente en la misma formalidad de realidad que un color. Recordemos que el color además de una formalidad individual tiene una formalidad campal de realidad que es "más" que este color determinado, y precisamente por ser ámbito transcendental se puede proyectar en él un número irracional.
"El número irracional no se aprehende como un color, pero al igual que el color es aprehendido en la misma formalidad de realidad, en la misma impresión de realidad en la que es aprehendido el color. El número irracional no es igual que un color, pero es real en la misma formalidad de realidad en la que es real el color. Es en ambos casos numeralmente la misma formalidad de realidad."[52]
6. El objeto matemático es real por ser construcción de la inteligencia sentiente, esto es construcción transcendental. Consiste en la realización del contenido objetivo en "la" realidad aprehendida en aprehensión primordial. Por eso el objeto matemático no es contenido de un concepto objetivo, sino que es contenido "según conceptos" de realidad y por tanto, realidad en concepto.
"La construcción matemática es siempre por tanto un acto de inteligencia sentiente. Y por tanto el objeto matemático tiene realidad postulada. No es un concepto objetivo de realidad sino que es realidad en concepto. Es, insisto, la realidad misma de cualquier cosa real sentientemente aprehendida pero con un contenido libremente construido en dicha realidad según conceptos."[53]
7. El constructivismo transcendental es un realismo frente al constructivismo intuicionista y el axiomático-formalista que son conceptismos. El constructivismo transcendental considera que los postulados postulan el contenido de "la" realidad, no postulan meramente verdad.
"Y desde este punto de vista [la realidad de lo matemático] axiomatismo formalista y intuicionismo no se oponen, porque ambos consisten tan solo en la determinación de contenidos objetivos de conceptos. Pues bien, construir es otra cosa; es crear, es proyectar libremente en "la" realidad física un contenido según conceptos. Postular es postular realidad" [54]
8. La realidad del objeto matemático por un lado no es "en y por sí misma", y por otro lado no se debe a su mera definición o ejecución. El objeto matemático es real por postulación constructiva en "la" realidad.
"Por tanto un objeto matemático no es real por su mera definición ni por su ejecución, pero tampoco es un objeto real en y por sí mismo como las cosas aprehendidas en impresión sensible. Es algo real por un postulado que realiza un contenido (notas y existencia) libremente determinado gracias a la postulación" [55]
9. Y, por último, el objeto matemático construido postuladamente es una estricta realidad porque tiene propiedades "de suyo", "en propio", que no son deducidas de los axiomas o postulados, sino que están formalmente en el objeto y se nos imponen.
"Y en este sentido, todo objeto matemático está construido postuladamente. Por esto es por lo que el objeto así construido es una estricta realidad que puede tener propiedades o notas "suyas", "propias", y no sólo propiedades "deducidas" de los axiomas o postulados. No se trata de propiedades deducidas sino de propiedades que están ya formalmente en el objeto. Los objetos matemáticos tienen sus propiedades "de suyo", es decir son "reales"[56].
Y continúa recurriendo al Teorema de Gödel para corroborar su filosofía de la matemática con los propios resultados de la matemática (dada su enorme relevancia le dedicaremos un apartado posterior).
"Es que el objeto real postuladamente realizado según conceptos tiene, por estar realizado, más notas o propiedades que las definidas en su postulación. Por esto y sólo por esto es por lo que plantea problemas que pueden no ser resolubles con el sistema finito de axiomas y postulados que han definido su realización. Lo construido en "la" realidad es, por estar realizado, algo más que lo postulado al realizarlo. Es a mi modo de ver el alcance del teorema de Gödel."[57]
1.2.1 1 Cosa Libre: Realidad y libertad en el objeto matemático.
La línea de filosofía de la matemática de Zubiri, que hemos denominado constructivismo transcendental, concede a los objetos matemáticos el estatuto peculiar de cosas libres, frente a las cosas mentales y a las cosas físicas. Los objetos matemáticos no son cosas físicas, pero tampoco son meras cosas mentales. Esta es una diferencia fundamental entre el nuevo constructivismo de Zubiri y otros constructivismos matemáticos. Por ello al primero conviene la caracterización de Transcendental para distinguirlo de estos otros. Las siguientes palabras de Roger Apéry expresan claramente esta diferencia entre el constructivismo de Zubiri y otros constructivismos.
"De acuerdo con la concepción constructivista, no existen matemáticas sin matemáticos. En tanto que entes de razón, los entes matemáticos sólo existen en el pensamiento del matemático y no en un mundo platónico independiente de la mente humana"[58]
La primera afirmación, a la luz de la filosofía sentiente de la matemática, es verdad a medias. La verdad total es que no existen matemáticas sin matemáticos y sin "la" realidad. En segundo lugar, los objetos matemáticos no son entes de razón sino que son realidades postuladas, cosas libres. La libertad (y no total) está en la creación de su contenido, no en su realidad. En tercer lugar, el objeto matemático, en cuanto cosa libre (realidad "en construcción"), ciertamente no puede existir "en un mundo platónico independiente de la mente humana", pero tampoco es correcto que "sólo existen en el pensamiento del matemático". Desde el Constructivismo Transcendental, el objeto matemático es independiente no de la mente humana, sino independiente en la mente humana. La diferencia es fundamental. En efecto, los objetos matemáticos por ser cosas libres, no están "fuera" de la mente humana, pero no son inmanentes, sino transcendentales. Están realizados en el momento físico de transcendentalidad de la formalidad campal de las cosas reales aprehendidas en aprehensión primordial. Los objetos matemáticos no están en un mundo platónico transcendente, de modo que el matemático los va descubriendo; sino en un mundo transcendental, y el matemático los descubre creándolos y los crea descubriéndolos. Zubiri al denominar a los objetos matemáticos cosas libres se aparta por un lado del fisicalismo y por otro del mentalismo. La libertad con la que construimos los objetos matemáticos nos aleja del fisicalismo, pero al no ser libertad de la realidad, sino realidad en libertad (la formalidad se nos impone con la necesidad de tener que dotarla de un contenido libre) nos aleja igualmente del mentalismo.
"Lo real entonces no es cosa como las cosas inmediatamente sentidas, pero tampoco es una mera cosa mental: es cosa libre. Cosa libre, consiste en que la realidad, al ser "de suyo", sea libremente esto o lo otro. La construcción, pues, no es libertad de realidad, sino realidad en libertad".[59]
Zubiri habla de cosas mentales, mas en su concepción, en sentido propio, no hay nada mental puesto que las simples aprehensiones (perceptos, fictos y conceptos) de lo que la realidad "sería" no son simples ideas sino que son el contenido de "la" realidad, por consiguiente hay que hablar de realidad en percepto, de realidad en ficto y de realidad en concepto. Los objetos matemáticos como cosas libres, son irreales realizados en "la" realidad campal. La cosa libre no es una cosa mental tratada como si fuera real, tampoco es cosa física; es realidad física porque está constituida en la formalidad de realidad dada sentientemente.
"Cosa libre es la realidad física con un libre contenido postulado. Tales son los objetos matemáticos: son objetos reales constituidos en el momento físico de "la" realidad campal, la misma realidad según la cual son reales las cosas como esta piedra." [60]
Cuando Zubiri habla de la realidad física de los objetos matemáticos, no hay que entenderlo como cosa física, este término hace alusión al contenido dado impresivamente. Y en lo matemático su realidad física es el momento físico de "la" realidad campal en el que se construyen (o constituyen) los objetos matemáticos. No es el contenido primariamente lo físico, sino la formalidad de realidad campal que nos es dada impresivamente en la aprehensión primordial de realidad por cada cosa (de forma compacta con la dimensión individual de la formalidad). El contenido de lo matemático será físico en tanto que realizado en esta realidad física, no "en y por sí mismo". Por tanto, la naturaleza del objeto matemático es cosa libre o irreal realizado o realidad postulada. "A su modo" tienen realidad ante la inteligencia; están ante nuestra inteligencia porque ella lo ha realizado al construir por postulación un contenido en la realidad sentida. La inteligencia no se limita a inteligir lo que está ya ante ella sino que también realiza ante ella otros objetos que tiene que conocer con gran esfuerzo.
Vemos sintéticamente la diferencia de los objetos matemáticos (cosas libres), de las cosas físicas, de las cosas mentales y de las cosas Ideales (concepción platónica).
1.- Cosa Ideal: Mundo Transcendente, Ideas, intuición intelectual, inmediatamente captada como real, contenido real, reales "en sí".
2.- Cosa Física: Mundo Físico, por ejemplo un vaso de agua, impresión sensible, inmediatamente sentida como real, contenido real, realidad "en y por sí misma".
3.- Cosa libre: Mundo transcendental, por ejemplo el espacio geométrico, impresión transcendental, creada y realizada, contenido irreal pero realizado, realidad "en y por postulación".
4.- Cosa mental: Mundo mental, conceptos objetivos, concepción, meramente creada, contenido irreal, irrealidad.
Bien puede decirse, como pensaba Cantor, que la matemática es la actividad más libre del ser humano. ¿Es compatible la libertad y la realidad en la construcción matemática? Hemos visto que sí. La postura de Zubiri en su concepción de la matemática es realista, sin embargo, no es un realismo de ninguno de los tipos que nos ofrece la tradición filosófica. Los llamados realismos ingenuo o crítico se basan en una idea de realidad concipiente, mientras que el realismo trascendental de Zubiri se basa en una idea sentiente de realidad. La diferencia es esencial. En la filosofía griega y medieval se afirma que las cosas reales del mundo se hacen presentes a la inteligencia en su misma realidad mundanal, lo cual para Zubiri es rigurosamente insostenible y formalmente absurdo. Las cosas reales del mundo no tienen por qué estar presentes en cuanto tales en la intelección. Se trata de la formalidad de realidad y no de realidad transcendente. El realismo crítico considera que las cualidades primarias son reales, mientras que las cualidades secundarias son subjetivas o psicológicas. Así Galileo, Descartes y Locke defienden las propiedades matemáticas, cualidades primarias de las cosas, como reales fuera de nosotros, y, a la vez, el subjetivismo de las cualidades sensibles o secundarias de las cosas. Zubiri denomina al realismo crítico, un pseudo-realismo. Insistentemente recalca que realidad no es una zona de cosas, sino que es tan sólo una formalidad. La inteligencia concipiente resbaló sobre el momento de realidad como "de suyo" o " en propio" y ha conceptuado la realidad como zona de cosas. Este es el defecto común de todos los realismos tanto ingenuos como críticos: haber conceptuado la realidad como una determinada zona de cosas "allende" la percepción. En inteligencia sentiente tan realidad es la realidad "allende" la percepción como la realidad "en" la aprehensión, la razón está en que ambas son "de suyo", un "prius" respecto de la aprehensión misma. Ambas zonas son idénticas en cuanto "de suyo". Es distinto lo que es "de suyo", el contenido. Ya dijimos que tan real es esta hoja como el número irreal, sólo difieren en el contenido, en el primer caso es "en sí y por sí mismo" y en el segundo es postulado en sus notas y en su existencia.
1.2.2 Existencia matemática: la nuda realización del contenido.
El primer Zubiri, como Husserl, no distingue entre realidad y existencia. La reducción fenomenológica consiste en poner entre paréntesis la realidad o existencia del fenómeno quedándonos sólo con su contenido. Al prescindir de la realidad o existencia el resultado es la idealidad. Nos dice Zubiri:
"El matemático considera una serie de entes que nada tienen que ver con el mundo de las existencias. Mejor que posibles, las esencias son seres virtuales". [61]
Por el contrario, en su etapa metafísica, Zubiri distingue tajantemente realidad y existencia. Ya hemos dicho que existencia y notas pertenecen tan sólo al contenido de lo real. La realidad consiste en que ese contenido existencial y de notas lo sea "de suyo". Siempre estamos instalados en la realidad, no se puede "poner entre paréntesis" este carácter. Lo que la fenomenología denomina reducción no puede hacerse en la línea de la realidad, sino únicamente es posible está en la línea del contenido; cuyo resultado nos deja en la realidad, pero como ámbito transcendental (liberado de estas determinadas notas y de esta determinada existencia). Esta "irrealización" es la que nos permitirá la realización del contenido creado de la matemática, tanto de sus notas como de su existencia.
Entonces ¿existen los objetos matemáticos? De hecho en matemáticas se habla de teoremas de existencia. Pero ¿cómo existen los objetos matemáticos, por ejemplo los números irracionales? Es evidente que no existen como esta piedra: no tropezamos con objetos matemáticos y sí con piedras. Por tanto, hay que hacer la distinción entre las cosas como esta piedra que tienen existencia "en y por sí misma" , y los objetos matemáticos que tienen existencia "en y por postulación". Existencia significa en la matemática la realización del contenido en "la realidad campal, porque la realización de una nota en función de la realización de otras envuelve una existencia postulada.
"...cuando en la matemática se formula un teorema de existencia (por ejemplo, la existencia de una raíz en toda ecuación algebraica, o de una integral en una ecuación diferencial ordinaria, o la no existencia de una ecuación algebraica que tenga como raíz el número e), existencia significa la nuda realización de una nota en virtud de la realización de otras notas. Como la nuda realización de estas notas envuelve una existencia postulada, entonces la nuda realización del contenido es la que con toda razón se llama existencia matemática"[62]
Y continúa:
"Es siempre cuestión de realización pero no en el sentido de identificar realidad y existencia física en y por sí misma." [63]
Por lo mismo que los objetos matemáticos no son objetos ideales sino que son realidades postuladas, no tienen tampoco existencia ideal sino existencia libremente postulada en "la" realidad. La existencia concierne al contenido de realidad igual que las notas. La diferencia entre la existencia de los objetos matemáticos y la de las piedras está en el contenido, en el primer caso es libremente postulada y en el segundo es dada "en y por sí misma".
"...los objetos matemáticos son reales. Esto no significa, lo repito insistentemente, que los objetos matemáticos existan como existen las piedras, pero la diferencia entre aquéllos y éstas concierne sólo al contenido, un contenido en el primer caso dado, libremente postulado en la realidad en el segundo. Por tanto los objetos matemáticos no tienen existencia ideal sino solamente existencia postulada, postulada pero en "la" realidad."[64]
En el ámbito transcendental estamos en la realidad sin unas determinadas notas y existencia. Esta es la base metafísica que nos permite construir tanto las notas como la existencia por libre postulación. En este punto se ve la doble dimensión de la construcción transcendental del objeto matemático:
1. construimos en "la" realidad unas notas libremente creadas, y
2. construimos en "la" realidad una existencia postulada para esas notas.
Los objetos matemáticos, en cuanto constructos transcendentales, son reales y existentes, esto es, son realidades existentes en "la" realidad por postulación constructiva. Aquí queríamos llegar.
1.2.3 Un objeto matemático y un personaje de literatura de ficción: ¿son realidades existentes del mismo modo?
La respuesta a esta pregunta despliega toda la potencialidad de la construcción transcendental. Matemática y Literatura de ficción ya quedaron al mismo nivel en cuanto construcciones sentientes. Ahora, desde la perspectiva de sus objetos, nos preguntamos, por ejemplo, un número irracional ¿tiene la misma realidad y existencia que la que pueda tener D. Quijote de la Mancha? Fácilmente suele pensarse que Don Quijote, puesto que es una libre creación de la mente genial de Cervantes, no es real y no existe a no ser en la mente de su creador, o en la mente de los lectores, mas no en la realidad. Es una pura construcción mental o pura ficción. Pero, desde inteligencia sentiente, esto no es así. Tanto las construcciones matemáticas como las construcciones de la literatura de ficción son construcciones transcendentales, esto es, construcciones en "la" realidad. Por consiguiente, no sólo los números irracionales, sino también D. Quijote e incluso un centauro son reales como esta piedra. Su realidad es idéntica, es el momento de transcendentalidad de la física campalidad de lo real aprehendido sentientemente. En lo que difieren es en sus contenidos y en su modo de realidad. Puede hablarse también, como en el caso de la matemática, del transcendentalismo de la literatura de ficción. Así pues, desde otro punto de vista, se confirma la tesis zubiriana de que el mundo transcendental está a la base de todo.
Zubiri no dice que el contenido de un personaje ficticio o de un monstruo fabuloso sea real. La realidad es sólo y siempre donada. Lo que la inteligencia hace es construir transcendentalmente, esto es, realizar el contenido libremente creado en la realidad. Las libres ficciones, en cuanto constructos transcendentales, ya no son meras ficciones sino realidades en ficción.
"No se trata de que yo considere libremente que este contenido es real, sino de que, justamente al revés, yo considere libremente que la física realidad campal "es así", esto es, tenga este contenido determinado. Por ejemplo, lo real en la ficción no consiste en fingir realidad, sino que, como veremos en seguida, consiste en ser realidad en ficción; lo que fingimos es el contenido de la realidad."[65]
Lo novelado por ser construcción transcendental, es decir, por ser novelado en la realidad, es estricta realidad, y como tal tiene más propiedades que las meramente creadas por su autor, son nuevas propiedades "de suyo", "en propio". De ahí que se discutan si ciertas características son propias de un personaje o no. En el caso de D. Juan, si es afeminado o no; y en el de D. Quijote, si realmente estaba loco o no.
"Pero una novela por ejemplo, no nos dice lo que "sería la realidad", sino que a su modo, noveladamente, nos dice lo que "es realidad". Por eso la novela está llena de propiedades o notas muy distintas de las que inicialmente se han atribuido a sus personajes o a sus situaciones. Es que lo novelado, por el hecho de ser novelado en la realidad, tiene más propiedades que las formalmente enunciadas en un principio. Así se puede discutir perfectamente acerca de si ese personaje de ficción que es Don Juan es o no es un personaje afeminado". [66]
Ciertamente, el novelista al realizar ciertas propiedades de sus personajes en unas situaciones concretas, se ve con posterioridad él mismo "arrastrado", "llevado" por sus personajes, de modo tal que podemos decir que éstos se le acaban imponiendo según su propia realidad. Esta constatación (que podemos experienciar cualquiera) es lo que lleva a Zubiri a afirmar que los juicios de ficción, aunque evidentemente no son juicios de personajes que pasean por la calle, tampoco son una mera ficción, sino que "a su modo" son reales y existentes.
"Este ‘es’ expresa una realidad no como la de esta piedra, pero sí realidad. A esta realidad se refieren todos los juicios del relato de ficción. Esta realidad es la dada en impresión de realidad por esta misma piedra. El novelista construye por creación en esta realidad ‘según fictos’ determinados."[67]
Queda aclarado que las construcciones de la literatura de ficción no son constructos mentales, sino realidades en construcción "según fictos", son estrictas realidades con unas notas y una existencia postuladas. Y en este sentido no hay diferencia entre un objeto matemático y un personaje de ficción. En la misma realidad en que nos son dados esta piedra y un personaje histórico, se construye un número complejo y un personaje ficticio. La diferencia está en el contenido de la construcción, "según conceptos" o "según fictos y perceptos"[68].
Los juicios de la matemática y los juicios de la literatura de ficción recaen sobre "algo real", no "en y por sí mismo", pero sí sobre algo irreal realizado por postulación constructiva. Son realidades en concepto y realidades en ficción, respectivamente. De esta realidad realizada por postulación constructiva es de la que parten los juicios matemáticos y los juicios de la literatura de ficción.
"Pues bien, los juicios de la matemática o de la literatura de ficción no recaen sobre algo formalmente "irreal", sino sobre algo irreal pero "realizado": consideran que la realidad termina efectivamente en esto o en lo otro. A este terminar "determinado" es a lo que de una manera unitaria llamo, con un vocablo tomado de la matemática, postular. Lo irreal, sin dejar de serlo, cobra realidad postulada". [69]
1.3. Apoyo matemático de la anterioridad de la realidad sobre la verdad.
Zubiri acaba el apéndice dedicado a "la realidad de lo matemático"[70], recurriendo a la propia ciencia matemática para apoyar su tesis de la anterioridad de la realidad sobre la verdad en los objetos matemáticos sobre dos teoremas: 1. el Teorema de Gödel, y 2. el Teorema de Cohen. De este modo su realismo matemático cobra carácter de cientificidad.
"A mi modo de ver, éste es el sentido esencial de los Teoremas de Gödel y Cohen: la anterioridad de lo real sobre lo verdadero en la matemática"[71].
La cuestión es si estos teoremas corroboran el realismo zubiriano o han sido factores determinantes del mismo y por eso se justifican desde él. El Teorema de Gödel (1931) hemos señalado que es un factor decisivo del giro zubiriano del objetivismo al realismo, sin embargo, el Teorema de Cohen (1963) tiene un papel corroborador, y lo pensamos así porque en 1962, en Sobre la Esencia, Zubiri ya expone su realismo matemático basándose en el Teorema de Gödel. Además éste lo menciona Zubiri en numerosas ocasiones, mientras que el de Cohen, que sepamos, sólo en esta ocasión.
1.3.1 El teorema de Gödel
La obra de Jean Ladrière: Les limitations internes des formalismes expone el Teorema de Gödel como el principal resultado que pone de manifiesto la limitación interna de los formalismos. Señala la inadecuación entre lo formal y lo intuitivo. Siempre hay posibilidades intuitivas que no se pueden reducir a lo formal. No existe ningún sistema formal que sea definitivo para integrar la totalidad de la realidad matemática. Dice Ladrière:
"La existencia de proposiciones indecidibles pone de manifiesto que no es posible encontrar en el campo deductivo la representación exacta de lo que pertenece al campo de la verdad intuitiva: en este campo siempre hay más de lo que se puede representar en el dominio de las derivaciones posibles. Para extender la representación, es obligado pasar a sistemas cada vez más vastos, y, como el mecanismo que permite construir proposiciones indecidibles puede aplicarse siempre a los nuevos sistemas que se consideran, se puede continuar indefinidamente ampliando el sistema del que se ha partido sin conseguir integrar totalmente el dominio de la verdad intuitiva en el dominio de lo derivable." [72]
Morris Kline, por su parte, afirma:
"El fenómeno de la incompletitud constituye un importante defecto porque entonces el sistema formal no es adecuado para demostrar todas las afirmaciones que podrían serlo correctamente (sin contradicción) dentro del sistema"[73]
Estos resultados negativos de Gödel suponen la inadecuación de la vía de logificación de la matemática y, en definitiva, como ha visto Zubiri, la inadecuación de la logificación de la inteligencia, porque este programa no sólo se reducía a la matemática sino que se esperaba con su éxito poder aplicarlo a las demás ciencias. W. y M. Kneale (1961) reflejan el espíritu de la época en la que Zubiri está inmerso:
"En el último capítulo de su Introduction to Mathematical Philosophy, Lord Russell escribía:
"Si todavía hay quien no admita la identidad de la lógica y la matemática, podemos desafiarle a que nos muestre en qué punto de la cadena de definiciones y deducciones de los Principia Mathematica considera que concluye la lógica y comienza la matemática"
Desde Gödel, parece razonable responder que la lógica no se extiende más allá de la teoría de la cuantificación. Cuando decimos que la aritmética y, con ella, todos los llamados cálculos funcionales de orden superior, así como todas las versiones de la teoría de conjuntos, son esencialmente incompletos, estamos efectivamente admitiendo que esas teorías envuelven alguna noción, o más de una , de la que no cabe ofrecer una exhaustiva caracterización mediante el establecimiento de una serie de reglas de inferencia: y ésta parece constituir una buena razón para excluirlas del dominio de la lógica.... carecería de objeto afirmar la posibilidad de reducir toda la matemática a la lógica si, al mismo tiempo, hubiera que admitir que la lógica incluye dentro de sí todos y cada uno de los diversos apartados de la matemática".[74]
Vemos que la interpretación usual del Teorema de Gödel es considerarlo como una limitación de los sistemas formales. La Filosofía de la realidad y de la intelección de Zubiri, sugerida en parte por el Teorema de Gödel, alumbra una nueva interpretación de dicho Teorema. No se trata, dice, de la limitación de los sistemas formales en cuanto conjunto de axiomas y postulados a partir de los cuales se derivan los teoremas; el descubrimiento de Gödel pone de manifiesto que lo construido según los axiomas y postulados es algo real. En sus palabras:
"No se trata de una limitación intrínseca a las afirmaciones axiomáticas y postuladas en cuanto afirmaciones— es la interpretación usual de dicho teorema— sino de que deja al descubierto ante la inteligencia el carácter de realidad de lo construido según los axiomas y postulados en cuestión."[75]
No es suficiente la interpretación usual porque, a nuestro modo de ver, se trataría de una interpretación "concipiente", la cual conmociona el descubrimiento de Gödel. Zubiri, en cambio, tras los resultados de Gödel, se debate con la noción de intelección y de realidad proporcionando la noción de "inteligencia sentiente" y de realidad como formalidad "de suyo". Su interpretación es sentiente, y no concipiente como es habitual. Aquí radica su originalidad y fecundidad. Además queda patente no sólo la utilidad de la matemática para la filosofía sino también el valor de la filosofía para la matemática Según Zubiri, el teorema de Gödel pone de manifiesto que el objeto de la matemática es real, los postulados no postulan verdad sino el contenido de lo real. De ahí que las nuevas propiedades no postuladas ni deducidas de los axiomas y postulados, son en sentido estricto propiedades "suyas", "propias". No son realidades "en y por sí mismas", pero son realidades postuladas y construidas.
"Es pues no la insuficiencia intrínseca de un sistema de postulados, sino la radical originalidad de lo construido por ser real; una realidad que no se agota en lo que de ella se ha postulado. Este objeto no es una cosa real en y por sí misma como lo es esta piedra. Pero no es sólo lo que lo "real sería", sino lo que postulada y construidamente "es real". Es a mi juicio la interpretación del teorema de Gödel."[76]
Si hay verdades que no pueden ser demostradas ni refutadas dentro del sistema de postulados se debe a que lo postulado es el contenido de lo real, y todo lo realizado en "la" realidad física, tiene "de suyo" más propiedades que las meramente postuladas al realizarlo. Y esto es así porque la realidad es ‘más’ que un determinado contenido, no se agota en ninguno concreto. No es la intuición matemática la que es más rica que los sistemas formales y la que resulta inadecuada a un sistema formal, porque la intuición no es sino el aspecto noético de la aprehensión sentiente de realidad. Es la realidad matemática en cuanto construcción en "la" realidad (como ámbito transcendental ) la que es "más" que cualquier intuición y formalización concretas. Dice Zubiri:
"Es que el objeto real postuladamente realizado según conceptos tiene, por estar realizado, más notas o propiedades que las definidas en su postulación. Por esto y sólo por esto es por lo que plantea problemas que pueden no ser resolubles con el sistema finito de axiomas y postulados que han definido su realización. Lo construido en "la" realidad es, por estar realizado, algo más que lo postulado al realizarlo. Es a mi modo de ver el alcance del teorema de Gödel" [77]
La incompletitud de la intelección matemática, según esta interpretación realista, no se debe sólo a los límites de la intelección, que por supuesto los tiene, sino a la riqueza, apertura y respectividad de lo real que no se agota en lo que de ella se ha postulado, sino que tiene "de suyo" más propiedades que las formalmente postuladas. La realidad tiene más propiedades que las meramente concebidas objetivamente; por estar realizadas tienen más propiedades que las notas objetivamente concebidas. Y no sólo en el sentido de la implicación, sino de todas las propiedades "com-plicadas", "co-puestas", por el mero hecho de haber sido puestas o realizadas. El contenido de los postulados matemáticos al realizarse se abre