RESMENES DE TESIS DOCTORALES

Cuadernos de filosofa /58 . ISSN 0590-1901

La ontologa formal de Husserl. Explicitaciones y

aplicaciones en filosofa fenomenolgica
Horacio M. R. Banega
"" Universidad
de Buenos Aires
*

Director: Dr. Roberto J. Walton

La tesis doctoral consiste en una investigacin sobre
los orgenes conceptuales (filosficos y matemticos)
de la ontologa formal desarrollada por Husserl en su
Tercera Investigacin Lgica y en una explicitacin de la
aplicacin realizada por el propio Husserl al dominio
fenomenolgico en la misma III LU. En consecuencia,
la investigacin es de carcter histrico-sistemtico.
Esto significa que se reponen los orgenes e influencias de otros autores y de la formacin matemtica
de Husserl para justificar el carcter formal de su
ontologa formal. Las formalizaciones desarrolladas
de la misma mostraran a posteriori dicho carcter.
Sin embargo, muestro en qu sentido se debe comprender formal en la III LU. En particular, no se trata
de una formalidad sintctica, sino que se trata de
una formalizacin de un dominio pretendido, lo que
supone una semntica mnima.
El carcter sistemtico se encuentra en la pretensin
de justificar que la ontologa formal es una teora que
permite obtener estructuras invariantes para modelizar los fenmenos en consideracin y que, de alguna
manera, el mismo Husserl lo ha llevado a cabo. Es
un problema contemporneo definir exactamente lo
que sera un modelo. En esta investigacin acepto
que un modelo es el resultado de la aplicacin de
una estructura cuyas propiedades son conocidas a
un dominio cuyas propiedades se pretende conocer.
Si la fenomenologa husserliana produce modelos,
entonces cuenta con una metodologa que le permite
obtener resultados comparables intersubjetivamente
y controlables empricamente.
Entiendo que esta consideracin emprica no implica
necesariamente negar el carcter trascendental de la
filosofa husserliana, sino que es posible interpretar
que esa consideracin emprica sirve de complemento de las investigaciones trascendentales. No
me dirig explcitamente a este problema, sino que
directamente indiqu que era posible tal complementacin, indicando muy brevemente dos casos en que
Husserl sigue aplicando relaciones parte-todo luego
del giro trascendental.
* Tesis defendida el 9 de octubre de 2012. Miembros del jurado: Dra.
Alcira Bonilla, Dr. Alberto Moretti y Dr. Javier Legris.

La tesis se articula en dos partes. En la Parte I me

dedico a los antecedentes histricos de la Tercera
Investigacin Lgica, indicando en los textos husserlianos las partes relevantes para la consecucin del
objetivo de mi investigacin. En la Parte II analizo
ciertos ensayos aritmtico-formales que ayudaron a
Husserl a disear su ontologa formal y luego me dirijo a reconstruir la III LU, finalizando con un comentario sobre su uso contemporneo en ontologa y
mereologa.
De esta manera, en la Parte I me dirijo a desarrollar
los antecedentes relevantes y la manera en que Husserl llega a disear su teora de la ciencia en Prolegmenos como una teora de las multiplicidades que se
articula, por una parte, con categoras semntico-formales y, por otra, con categoras ontolgico-formales.
En el Captulo 1 presento conceptos mereolgicos y
topolgicos de Bolzano y la mereologa de Brentano.
En el Captulo 2 me dedico a analizar la Filosofa de
la Aritmtica [PhA, 1891] para explicitar los modos
de combinacin que Husserl establece en la misma.
Me concentro en el Captulo XI sobre los momentos
figurales. Afirmo que Husserl menciona en la misma
como consecuencias inaceptables de la teora de
Frege (1884) la teora que defender Russell (1919)
luego de haber introducido su teora de los tipos para
bloquear su famosa paradoja. Por otro lado, me dedico a analizar la Carta a Stumpf de Febrero de 1890,
antes de la edicin de la PhA, donde Husserl reconoce
que su proyecto brentaniano de fundar la aritmtica
en el concepto de nmero cardinal es insostenible. En
relacin con el abandono del psicologismo como fundamentacin de la aritmtica por parte de Husserl,
soslay la supuesta influencia de la resea crtica de
Frege (1894) de la PhA, porque considero suficientemente establecido en la literatura relevante que dicha
influencia no existi. La Carta a Stumpf constituye
una evidencia ulterior del pasaje de Husserl hacia
otra consideracin no psicologista para fundamentar
la aritmtica.
En el Captulo 3 me dedico a analizar los dos primeros
libros de la Teora de la Ciencia de Bolzano y el captulo 5 de Stumpf (1873) ms su concepto de fusin
tal como lo disea en su Tonpsychologie (1883-1890).
En el Captulo 4 me dirijo a tematizar la transicin
de cierto psicologismo presente en la PhA hacia la
consideracin ontolgico-formal de los conceptos
de abstracto, concreto, relaciones, todo,

85

86

Cuadernos de filosofa /58 . 2012 . ISSN 0590-1901

multiplicidad y sus conceptos asociados y derivados, transicin realizada por Husserl entre 1890 y
1896. En el Captulo 5 presento la teora de la ciencia
como teora formal de todas las teoras cientficas
posibles desarrollada en Prolegmenos, reponiendo
brevemente consideraciones posteriores del propio
Husserl sobre su teora de las multiplicidades.
En la Parte II me dedico a la ontologa formal husserliana. En el Captulo 6 analizo ciertos ensayos
aritmtico-formales que constituyen, segn el propio
Husserl afirma en 1913 (2002), su fuente para el diseo de la ontologa formal. En el Captulo 7 reconstruyo
el Captulo 1 de la III LU. En el Captulo 8 me detengo
en la exposicin de la teora pura de las partes y los
todos. En el Apndice reseo las dos formalizaciones
que me interesan por su clarificacin conceptual y
por su restitucin de la matemtica subyacente en la
ontologa formal husserliana. En el Captulo 9 muestro el uso contemporneo de la misma frente a los
problemas de aplicacin a objetos tridimensionales
de la mereologa clsica extensional. Presento la base
mereolgica y su extensin topolgica con la que se
pretende subsanar las deficiencias en el momento de
la aplicacin de la mereologa extensional, consideraciones que hacen uso y/o mencionan explcitamente
el concepto de todo en sentido pregnante de Husserl.
En las Conclusiones retomo las tesis presentadas y
la manera en que se intent justificarlas, por lo tanto
establezco que las ontologas formales presuponen
tesis metafsicas sustantivas, mientras acepto la restriccin de tal formalidad.
De esta manera, entiendo que la investigacin otorga los
siguientes resultados relevantes contemporneamente:
La PhA admite una relectura contempornea en la
que se pueden observar distintos problemas que
luego sern especificados como parte de la ontologa formal.
La influencia de la teora de Bolzano permite comprender la preocupacin de Husserl con relacin a
que la aritmtica tena que poseer un dominio de
aplicacin (en general: el problema de la matematizacin de la naturaleza, tal como lo llama en Krisis
(Hua. VI, 1962) y por eso es que comienza a disear
las relaciones entre lenguajes formales y dominios
de aplicacin.
La teora de las relaciones que Husserl utiliza no me permite definirlas como un conjunto de pares ordenados.
Por ello es que introduce el concepto de fundamentacin
para dar cuenta de todos que no son reducibles a una
mera suma o coleccin de sus elementos.

[85-86] Horacio M. R. Banega

El concepto de fundamentacin permite una reinterpretacin topolgica. Husserl conoca la incipiente

topologa conjuntista de Cantor y de Bolzano, en relacin al problema del infinito. Su nocin de continuo
no es la de Cantor, sino ms cercana a un conjunto
denso, lo que se reconoce en la aplicacin de estos
conceptos al dominio fenomenolgico, reducido o
no, en el Captulo 1 de su III LU.
Las formas de unidad establecidas en la III LU se
pueden aplicar a todo tipo de objetos.
Las formalizaciones iniciadas en 1982 que utilizaron
topologa algebraica y lgica modal mostraron la
estructura formal subyacente en la III LU.
Husserl modeliza el dominio fenomenolgico. Un
modelo terico se defini como la aplicacin de una
estructura conceptual a un dominio que se pretende conocer. (Black, 1966 [1962]; Falguera, 1992, 1993;
Dez y Moulines, 1999 [1997]; Frigg, R. y Harman, S.,
2009).
Si se acepta que las descripciones husserlianas son
modelos y que admiten mltiples interpretaciones,
entonces la teora formal husserliana tiene un alcance
todava insospechado para producir aportes al conocimiento cientfico del mundo de la vida.
Como corolario no demostrado me permito afirmar
que todos estos resultados son altamente relevantes
para la realizacin de una fenomenologa emprica y
para la naturalizacin de la fenomenologa.
En virtud de la obra inmensa de Husserl todava no
publicada o en virtud del desconocimiento de otras
fuentes cabe la posibilidad de que aparezcan afirmaciones de Husserl que nieguen todo lo anterior. Por
ejemplo en la carta a Georg Misch del 16 de noviembre de 1930 Husserl afirma que perdi el inters en
la lgica formal y la ontologa real luego de haber
realizado su giro trascendental y que se concentr
ulteriormente en la fundamentacin de una teora de
la subjetividad trascendental y de la intersubjetividad
(Cfr. Schumann, K. y Schumann, E. (eds.), Briefwechsel, vol. VI, Dordrecht, Kluwer Academic Publishers,
282; pero ntese que la carta est datada un ao
despus de que publicara su Lgica Formal y Lgica
Trascendental). En consecuencia solicit que, en esta
investigacin, se entendiera por Husserl: Husserl,
denotando no toda la obra completa del mismo, sino
el corpus elegido aqu para defender mi tesis.