El papel de Frege en la historia de la lgica

EL PAPEL DE FREGE EN LA HISTORIA DE LA LGICA1

Lorenzo Pea
1. 2. 3. 4. 5. 6. 7. Sumario Introduccin: el error histrico de Kant Entre la silogstica aristotlica y el clculo cuanticacional fregeano La fundamentacin del clculo cuanticacional por Gottlob Frege La dicotoma fregeana de objeto y funcin Independencia entitativa de las funciones fregeanas Teora fregeana de las descripciones denidas para lenguajes bien hechos Dicultades de las dicotomas fregeanas objeto/funcin y sentido/signicado

1. Introduccin: el error histrico de Kant Es bien conocida la posicin de Kant acerca del papel que incumbe a la lgica en la evolucin de las ciencias. La lgica, por ser analtica, alcanz al nacer su apogeo segn el pensador de Knigsberg; con Aristteles nace y con Aristteles llega a su cenit, de tal suerte que, despus de l, no habra dado ni un paso adelante ni un paso atrs; ni habra de dar ya nunca en el futuro pasos, ni adelante ni atrs. Desde que se ha ido generalizando un planteamiento que podemos llamar revisionista en la lgica que encuentra algunos de sus grandes representantes en guras como Boole, Frege, Russell, ukasiewicz, Tarski etc, hoy casi todos los autores e historiadores de la lgica rechazan por entero la visin de Kant como tan apartada de la realidad que constituira un paradigma casi grotesco de a qu extremos de error puede llevar una toma de partido un tanto a priori que aspire a hacer casar, articialmente, los hechos con un esquema que uno se ha construido y que no se ajusta a los mismos. Lo que suele reprochrsele a Kant dentro de esa lnea revisionista es que justamente su dictamen y, a la vez, profeca se produjeron unos decenios antes de la gran revolucin lgica que iba a subvertir radical y decisivamente el paradigma aristotlico, reemplazndolo por otro que, se s, es la lgica por antonomasia, la lgica cientca, genuina, la lgica a secas, e.d. la lgica tambin llamada simblica o matemtica. Sin embargo, ya al poco de haberse impuesto ese nuevo paradigma lgico, presuntamente no-aristotlico, algunos historiadores ms sagaces como el gran lgico polaco ukasiewicz lo que vinieron a reprochar a Kant no era principalmente ese errneo vaticinio, sino su desconocimiento de la historia de la lgica misma. A tenor de ese planteamiento de ukasiewicz y muchos otros, Kant se equivoc por completo al hacer historia de la lgica, ya que, contrariamente a su armacin, poco despus de Aristteles la lgica dio un paso de gigante con los megricos y los estoicos, si bien ulteriormente ese avance megrico-estoico se eclips y slo parcialmente, con esfuerzos y titubeos, se restauraron los avances megrico-estoicos en la escolstica tarda; aunque,

. Conferencia impartida en el Seminario Materiales y textos para la historia de la losofa y de la ciencia en la Modernidad organizado por el Centro de Formacin del Profesorado de Santander en un ciclo titulado Un viraje histrico en la evolucin de la lgica: 1870 a 1920. Santander 5 de febrero de 1997. Saln de actos de la Fundacin Botn. Registro General de Formacin Permanante del Profesorado N 397000490021-97-032.)

El papel de Frege en la historia de la lgica

incluso entonces, al hacerse bajo la supremaca del modelo aristotlico, el avance fue precario y confuso. La tarea que habra cumplido la lgica moderna, llamada simblica o matemtica, sera restaurar plenamente y con una tcnica ms depurada lo que haban intentado los megrico-estoicos. Voy a sostener en este artculo que esos dos planteamientos el que reprocha a Kant una errnea previsin de futura permanencia inalterada y el que le achaca su falta de comprensin de la diferencia entre lgica aristotlica y lgica megrico-estoica encierran, cada uno, su parte de verdad; que, con relacin al clculo sentencial, el punto de vista reseado de ukasiewicz, aunque correcto a grandes rasgos, apunta empero a una faceta secundaria; que la verdadera innovacin de la lgica moderna respecto de la aristotlica no estriba en eso, sino en el clculo cuanticacional; pero que incluso ese clculo que se debe a Frege es todava un tipo de lgica que puede verse como aristotlico, como ajustado o ajustable al patrn o paradigma bsico de Aristteles; donde s se produce una novedad radical no es ni con el clculo sentencial ni siquiera con el cuanticacional de Frege, sino con las lgicas no-clsicas, como las lgicas combinatorias y multivalentes uno de cuyos fundadores fue el propio ukasiewicz (aunque l mismo, al historiar la lgica, no realzara tal vez sucientemente el signicado de su propio descubrimiento).

2. Entre la silogstica aristotlica y el clculo cuanticacional fregeano La magna obra de la silogstica aristotlica ha constituido un impresionante edicio. En l se articula un manual de reglas de inferencia de cierta amplitud y caractersticas comunes, a la vez que vienen deslindadas esas reglas de aquellas otras que son incorrectas, aunque, por similaridad, podran sofsticamente tomarse como certeras. Hoy se admite generalmente que la gran diferencia entre la silogstica aristotlica y el tratamiento que a ese gnero de inferencias les brinda la lgica moderna estriba en que Aristteles sobreentiende que no hay trminos vacos, trminos que no se aplican a nada; y, si los hay, no entran en razonamientos correctos; y, si entran, entonces se adoptan ciertos ajustes semnticos que hagan inocua la utilizacin de tales trminos. Por el contrario, la lgica moderna no presupone nada por el estilo, y as alcanza una autntica generalidad lgica. Podemos ejemplicar este dilema con uno de los modos vlidos del silogismo de la tercera gura, segn Aristteles: el Darapti. Un ejemplo: Si todos los hombres son mortales y todos los hombres son racionales, algunos seres racionales son mortales. Cuando un lgico moderno trata de formalizar ese razonamiento, el resultado se revela sofstico. En efecto: desde el punto de vista de la lgica moderna, decir que todos los hombres son mortales es decir que no hay hombre no mortal; la segunda premisa equivaldra a que no haya hombre no racional. En un mundo sin hombres, ser verdad que no hay hombre no mortal y que no hay hombre no racional; mas en ese mundo puede que no sea verdadera la conclusin, a saber que hay seres racionales mortales; puede que en ese mundo haya seres mortales irracionales y seres racionales inmortales, mas no seres a la vez racionales y mortales.

El papel de Frege en la historia de la lgica

La lgica aristotlica se revela as, bsicamente, como un clculo de trminos, y slo de trminos incluyendo trminos generales (e incluso, en principio, slo tales trminos, ya que la aplicacin a los singulares ha parecido siempre, en ese marco, requerir algn ajuste). Pero un clculo de trminos sin trminos vacos. No se ha solido recalcar otra faceta de esa limitacin o presuposicin aristotlica, a saber: no slo no ha de haber trminos vacos (o, de haberlos, no han de entrar en los silogismos), sino que tampoco ha de haber trminos universales o que se apliquen a todos los entes; ni siquiera universales dentro de una determinada categora. No pueden estar involucrados trminos absolutamente universales porque Aristteles rechaza que haya un gnero de todos los entes. La palabra ente no es unvoca; no se aplica por igual, en el mismo sentido, a una sustancia y a una cualidad. Imaginemos este silogismo: Toda sustancia es ente; todo accidente es ente; ergo: algunas no-sustancias son no-accidentes o sea que habra algo que no fuera ni sustancia ni accidente, contrariamente a un postulado bsico de la ontologa aristotlica. (La primera premisa se convierte en Todo no-ente es no-sustancia; la segunda, similarmente, en Todo no-ente es no-accidente; por DARAPTI se sigue la conclusin de marras.) Por otro lado, la lgica aristotlica slo pasa a tratar los razonamientos que involucran determinadas relaciones entre hechos signicados por oraciones simples tras haber dilucidado los que no involucran tales relaciones. La idea es, claramente, sta: los razonamientos hipotticos o disyuntivos, p.ej., involucran relaciones entre hechos; mas, antes de determinar qu inferencias quepa aceptar en torno a tales relaciones, habremos de saber qu inferencias, ms elementales, no las involucran, qu inferencias se derivan tan slo de la estructura interna de los hechos nocomplejos. Un hecho no-complejo ser el de que los hombres sean mortales, o que Scrates sea hombre; las inferencias acerca de tales hechos son ms bsicas que las que involucran disyunciones o condicionales, como p.ej. la de que, si los hombres son mortales y si los mortales viven en el Planeta Tierra, los hombres viven en el Planeta Tierra. Slo podemos estudiar tales inferencias cuando hayamos determinado las que se pueden articular sin acudir a partculas como si entonces, o u otras semejantes. Quienes recalcan el signicado innovador de la lgica megrico-estoica respecto a la aristotlica, y su valor superior, insisten en que los megrico-estoicos se apartaron de esos supuestos de la obra lgica del Estagirita. En lugar de centrarse en un clculo de trminos, hicieron un clculo de oraciones o proposiciones, en el cual se tomaban las oraciones como bloques, sin entrar a dilucidar su estructura interna; Aristteles, en cambio, al haber introducido oraciones slo previamente analizadas, nunca como bloques, perdi de vista las relaciones inferenciales entre ellas. Slo los megrico-estoicos brindaron un tratamiento axiomatizado aunque imperfecto del clculo sentencial, al paso que Aristteles se perdi en los meandros de esa empresa, y los escolsticos tardos slo la implementaron en medio de confusiones, por no haberse sacudido el dogma o canon aristotlico. A favor de esa atribucin a los megrico-estoicos de la invencin del clculo sentencial hay que reconocer que efectivamente usan variables (numrico-ordinales) que se aplican a oraciones o proposiciones, y as centran su atencin en las relaciones inferenciales

El papel de Frege en la historia de la lgica

que involucran disyunciones o condicionales, tomando como bloques a los algos a que estn involucrados en esas disyunciones o en esos condicionales. (El tomarlos como bloques no es creer que sean monolticos, sino slo sostener que a efectos de determinar esas relaciones inferenciales no procede analizarlos, sino que hay que tomarlos como unidades). La razn por la cual los modernos historiadores de la lgica suelen recalcar ese cisma entre Aristteles y los megrico-estoicos es que en el planteamiento usual hoy da la estructura inferencialmente pertinente de las oraciones que a Aristteles le parecan simples se ve como ms compleja que la de las que a l le parecan complejas. Hoy suele pensarse que un silogismo aristotlico es debidamente analizado una inferencia mucho ms compleja, que involucra inferencias de clculo sentencial, ms otras especcas. As, un simple silogismo en Brbara (todo A es B, todo C es A, luego todo C es B) tendra la siguiente estructura: todo ente, x, es tal que, si x es A, x es B; todo ente, x, es tal que, si x es C, x es A; luego todo ente, x, es tal que, si x es C, x es B. Ah tenemos que la partcula si entonces gura relevantemente en el razonamiento; y, junto a ella, gura tambin el cuanticador, todo ente, x un recurso desconocido en la lgica aristotlica y que, lejos de quedarse incrustado dentro de frmulas simples, afecta, como en este caso, a frmulas complejas tambin, haciendo as viables razonamientos de apariencia sencilla pero que adecuadamente analizados son mucho ms complejos de lo que parecan. Hay que admitir que todo eso es, en lneas generales, como hoy nos lo pintan la mayor parte de los modernos historiadores de la lgica (hay alguna que otra oveja negra que disiente de ese planteamiento). Pero no hay que exagerar demasiado. Entre la empresa lgica de Aristteles y la de los megrico-estoicos hay un gran parecido y tambin muchas coincidencias. No es tan signicativa o decisiva, al n y al cabo, la discrepancia en lo que hace a trminos vacos o irrestrictamente universales. Si todo quedara en eso, los estoicos mweramente habran llevado la obra aristotlica a un plano de mayor abstraccin y generalidad. Por otro lado, entre el clculo aristotlico de trminos y el clculo de oraciones o proposiciones hay un estrecho paralelismo que llev varias veces en la historia de la lgica a reconstruir, o reinventar, la lgica megrico-estoica a partir de la silogstica aristotlica. Uno de esos hitos en la reinvencin es el escrito de Leibniz de 1686 Generales Inquisitiones de analysi notionum et ueritatum. El hilo conductor de Leibniz es que la diferencia entre proposiciones y trminos puede y debe desecharse a efectos del anlisis lgico y tal vez del tratamiento metafsico. Cualquier trmino puede verse como una proposicin, a saber como la atribucin de existencia a lo designado por el trmino en cuestin; cualquier atribucin de un predicado B a un sujeto A puede verse como un condicional, a saber que, si A existe, AB existe. En el clculo que implementa Leibniz para dar un tratamiento riguroso a esas ideas surgen no pocos problemas para darles un acomodo a silogismos como Darapti (Leibniz acude a varios expedientes para hacerles un sitio); lo que, ms o menos, resulta de ese empeo reconstructivo es un clculo de proposiciones en el cual se no preservan inferencias

El papel de Frege en la historia de la lgica

correspondientes a Darapti etc; clculo que se interpreta tambin, alternativamente, como un clculo de trminos. Sin embargo, en esto ltimo Leibniz fracas. Formalmente su sistema se desmorona; porque, si se toman en serio sus reglas para reescribir segn convenga contextualmente un enunciado como un trmino y viceversa, lo que resulta es que, si hay algo que sea B, todo es B. Ese resultado es inocuo, en cambio, si nicamente se entiende como un teorema del clculo sentencial (trtase del principio uerum e quolibet, estudiado y comnmente admitido en la gran escolstica renacentista y posrenacentista): Si p, entonces, si q, p. (Hoy la lgica relevante lo rechaza.) Fracasa el intento de Leibniz de una lgica combinatoria, un clculo que sea a la vez de proposiciones y de trminos. Pese a los paralelismos, algo parece haber en cada uno de esos clculos que no podra haber en el otro. Es difcil practicar la elegante reduccin mutua del lsofo de Leipzig, mezclar en el mismo clculo y en plan de igualdad trminos tratados como enunciados y enunciados tratados como trminos. (Si ha de hacerse, ser con recursos que exceden los que Leibniz tena a su disposicin.) Mas no es sa la nica va de renovacin que intent Leibniz. Otra va fue la algebrizacin: reducir todas las verdades bsicas de la lgica a ecuaciones, en las que el signo central sea el de igualdad, y el clculo lgico a sustituciones de iguales por iguales. Es esto lo que ms se le suele atribuir, y en su implementacin dio importantes y signicativos pasos adelante. Con todo quiz sera ms grandiosa la formulacin de una lgica combinatoria, si hubiera triunfado en ella. La empresa de algebrizacin de la lgica estaba en el aire. El paradigma de la matemtica y las claras similitudes entre lgica y matemtica similitudes fciles de constatar pero difciles de dilucidar impuls a Euler y muchos otros autores entre la poca de Leibniz y mediados del XIX a articular el tratamiento lgico de las inferencias correctas como un clculo matemtico y, ms en particular, algebraico; o sea como un sistema de ecuaciones. Fue G. Boole, en su gran obra de 1854 sobre las leyes del pensamiento, quien destac ms en esa labor y quien la puso por la popularidad que alcanzaron sus escritos al alcance de un gran pblico (lo que no le quita un pice a su aporte doctrinal: no fue un hongo surgido aisladamente, pero s fue un pensador que dio pasos adelante). Aunque Boole no articul con pleno rigor lo que hoy se llama lgebra de Boole o lgebra booleana, y aunque, en aras de dar un tratamiento algebraico a las inferencias lgicas, incurre en la introduccin de operaciones extraas, que nadie despus ha admitido o entendido, como la divisin lgica, hoy con tal de que se lean un poco caritativamente podemos ver en sus escritos la cuasi-formulacin del lgebra booleana y, por ende, la fundacin de lo que se ha llamado lgebra universal. Antes de Boole, el lgebra era un sistema de ecuaciones exclusivamente numricas con una o ms incgnitas (e.d. con variables, como lo diramos hoy da). Desde Boole lgebra es cualquier sistema de ecuaciones, o incluso algo todava ms general: un lgebra es un conjunto o cmulo cualquiera de entidades sobre las que se reconocen ciertas operaciones, siendo una operacin una funcin que enva un cierto nmero de entes dados (argumentos) sobre un cierto ente resultante (el valor o la imagen). As, la operacin unaria

El papel de Frege en la historia de la lgica

el padre de enva a Isaac sobre Abraham, a Alfonso XIII sobre Alfonso XII, etc. La operacin binaria ms enva a los dos nmeros 3 y 4 sobre el 7. El lgebra de Boole segn se ve hoy, con un rigor y una completez que faltan en la pluma de su fundador es un lgebra en la que hay una operacin unaria, ~; dos operaciones binarias: , ; dos elementos especiales, 0, 1; y se cumplen los postulados ecuacionales: idempotencia (cada x es tal que xx=x=xx); asociatividad ([xz]u=x[zu] y otro tanto para la operacin ); conmutatividad o simetra de y de ; distributividad de sobre (o sea [xz]v=[xv]zv]) y viceversa; absorcin: (xz)x=x; Leyes de DeMorgan: ~(xz)=~x~z; ~(xz)=~x~z; involutividad: ~~x=x; ms las siguientes ecuaciones, que afectan al elemento mnimo, 0, y al mximo, 1: 1x=x; 1x=1; 0x=x; 0x=0; x~x=0; x~x=1. Con ese tratamiento algebraico, Boole puede brindar a la vez un clculo de proposiciones y de trminos o clases. Ha nacido con l la teora de clases o de conjuntos. Mas lo hizo con impurezas y mezclando elementos prescindibles, extraos y de difcil interpretacin. De algn modo ya tenemos lo que buscbamos: un tratamiento que vaya ms all de Aristteles y que no se limite al estudio de inferencias que involucren la estructura interna de las oraciones dizque simples, ni requiera un previo anlisis de tal estructura antes de abordar las inferencias que involucren disyunciones o condicionales. Porque el tratamiento de Boole permite dentro de ciertos supuestos meterse de lleno, y de entrada, en el clculo proposicional. Basta con dar una interpretacin de como conyuncin, de como disyuncin, deniendo el condicional pq como ~pq . Las inferencias usuales del clculo sentencial megrico-estoico (depurado de sus imperfecciones e impurezas) coincide con lo que nos da el lgebra de Boole. Y una buena parte de la silogstica aristotlica es tambin un clculo de clases que puede verse como un modelo alternativo de un lgebra de Boole. Sin embargo, hay un hueso dursimo de roer para Boole: los enunciados existenciales o particulares, el algn, o hay. Nunca pudo brindar un tratamiento satisfactorio de los mismos. Acudi al expediente de representar un enunciado existencial o particular Hay algn A que es B como vA=vB, donde el signo especial v se usa como una variable indenida y de tal manera que su uso est restringido por ciertos constreimientos ad hoc, que no se justican ni si determinan con claridad. Siguiendo a otros lgicos de mediados del XIX y sobre la base de una idea cuyo descubridor fue Bentham lo que trata de hacer Boole es entender algn A es B como algn A es algn B y todo A es B como todo A es algn B (cuanticacin del predicado). La implementacin de esa lectura la hace con una suerte particular de signos,

El papel de Frege en la historia de la lgica

los v (con acentos etc), mas deja muchos problemas en la sombra sobre las condiciones de uso y la justicacin de tales restricciones. La cuanticacin no haba quedado aclarada por Boole.

3. La fundamentacin del clculo cuanticacional por Gottlob Frege Aclarar la cuanticacin es obra de Frege en su Begriffschrift o conceptografa de 1873. La idea central de Frege es el anlisis de funcin y objeto (vide infra, 4). Hay una dicotoma entre dos categoras de entes: funciones o entes insaturados y objetos o entes saturados. Un objeto es un algo que tiene entidad propia de pleno derecho, que existe en s y por s. Una funcin es un ente o entoide cuya existencia es meramente la de tomar un objeto y hacerle corresponder otro; el primero es el argumento, el segundo el valor o la imagen. Luego surgen complicaciones: funciones pluriargumentales, funciones de segundo nivel, o sea que toman como argumentos a funciones, etc. Para Frege los razonamientos silogsticos son razonamientos muy complejos. Las inferencias del clculo sentencial o proposicional son mucho ms simples y bsicas. Ese clculo es un clculo algebraico en el que slo se toma un dominio, un lgebra, de 2 objetos, los valores de verdad (neologismo de Frege que ha hecho fortuna), la Verdad y la Falsedad. Aunque Frege no propone explcitamente un tratamiento del clculo sentencial en forma de las hoy clebres tablas de verdad sino que su tratamiento formal o riguroso es un clculo axiomtico en el que se prescinde de interpretaciones o modelos, las ideas subyacentes a su clculo sentencial son las de una semntica de tablas de verdad con slo V y F ideas luego por l explicitadas en los escritos loscos en que analizaba la signicacin de su propia contribucin tcnica. O sea, es un lgebra de Boole de dos elementos. Mas en el interior de una oracin muy simple, como Pedro es bondadoso, Frege ve un signo insaturado, el predicado es bondadoso, y uno saturado, Pedro, el sujeto. Hacen respectivamente las veces de un ente insaturado, o funcin, y de un ente saturado u objeto. Esa funcin no es una funcin cualquiera, sino una con esta caracterstica: los valores o imgenes que asigna a sus argumentos son nicamente valores veritativos, V o F. Una funcin as es llamada por Frege un concepto. Un concepto es un ente objetivo, extramental, insaturado, cuya entidad se agota en enviar a objetos tomados como argumentos sobre V o F. El concepto es lo que suele llamarse una propiedad. La bondad enva a la Madre Teresa de Calcuta sobre V y a Hitler sobre F. Sin entrar aqu en toda la complicacin del asunto, podemos decir que grosso modo lo que hace Frege es: por un lado, aplicar el clculo sentencial tambin a conceptos; por otro lado, introducir un concepto de segundo nivel muy especial, el cuanticador universal. La disyuncin, o, la conyuncin, y, la negacin, no, no afectan o ligan slo oraciones y los entes que stas denotan, valores veritativos; tambin afectan o ligan conceptos. Hay un concepto negativo, el de no-ser-bondadoso; y uno conyuntivo, el de ser-

El papel de Frege en la historia de la lgica

bondadoso-y-atolondrado. El clculo sentencial se aplica tambin a los conceptos (algo vagamente entrevisto por muchos medievales, escolsticos tardos, por Leibniz y por lgicos postleibnizianos, mas que slo Frege esclarece). Las mismas leyes inferenciales para oraciones propiamente dichas valen para conceptos (en sentido Fregeano). Igual que vale la ley de simplicacin (Si A&B, entonces A), vale otro tanto para los conceptos (si es rico y alegre, es rico; o sea: ser rico y alegre conlleva ser rico). El concepto de segundo nivel que es el cuanticador universal es uno que enva a un concepto de primer nivel, A, sobre F (la falsedad) salvo si cada objeto cae bajo A, o sea: salvo si A enva a cada objeto sobre V; en ese caso, slo en ese caso, el cuanticador universal enva a A sobre V. El cuanticador existencial se dene por una negacin delante y otra detrs del cuanticador universal: decir que algo es verde es decir que no sucede que todo sea noverde; o sea algo es verde abrevia a No todo, x, es tal que: x no es verde. Frege entonces muestra que hay leyes especiales que involucran a los cuanticadores, con las cuales ms las de la lgica sentencial se da cuenta de toda la silogstica aristotlica, con tal de que se depure a sta de silogismos invlidos desde este tratamiento como Darapti; o sea, con tal de que se levante la prohibicin de trminos vacos y de trminos universales. Una cuanticacin universal, todo A es B, es verdadera si, y slo si, no hay ente A que no sea tambin B; es verdadera, pues, entre otros, en el caso de que no haya nada que sea A. Ahora s ha nacido la lgica moderna. Se ha depurado la silogstica aristotlica; se ha revelado la inferencia silogstica como mucho ms complicada que la que involucra slo nexos disyuntivos, negaciones, condicionales etc; se ha invertido el procedimiento aristotlico: en vez de tener que analizar primero las oraciones supuestamente simples para, slo a rengln seguido, analizar las compuestas; en vez de eso, la estructura inferencialmente relevante de las que se crean simples revela que no lo eran; que estaban agazapadas, dentro de ellas, suboraciones o subfrmulas (porque en la lgica que funda Frege se dar en llamar frmula tambin a algo que, en rigor, no es una oracin, ya que, en lugar de un sujeto, tiene una variable, un x, que est reservando el hueco donde se puede colocar un argumento). Eso es aquello que haba columbrado o barruntado confusamente Boole, la variable. Ahora ya tenemos un tratamiento plenamente riguroso y loscamente justicado.

4. La dicotoma fregeana de objeto y funcin As pues, lo genuinamente innovador en Frege es el clculo cuanticacional; con l se da el ms decisivo paso adelante en relacin con la lgica aristotlica; vimos tambin que ese aporte fregeano est basado en la dicotoma entre objeto y funcin, y quedamos en analizar tal dicotoma ms a fondo. ste es el lugar de hacerlo. La dicotoma principal que es preciso entender en esa ontologa es la que separa funciones de objetos. Para Frege existen funciones y existen objetos (mas, como veremos en dos sentidos diferentes del verbo existir lo que mella bastante el lo de su armacin).

El papel de Frege en la historia de la lgica

Un objeto es un ente que tiene entidad por s mismo; una funcin es un ente insaturado, inacabado, incompleto; las funciones son, como los accidentes aristotlicos, entes-de, ms que entes en s mismos; con la diferencia de que el accidente aristotlico es un singular, mientras que la funcin fregeana es un universal. Como las explicaciones dadas hasta ahora sobre la dicotoma son meras metforas poco esclarecedoras de lo cual se percata Frege perfectamente, vale ms tratar, no de decir en qu consista el ser una funcin y en qu consista el ser un objeto la diferencia entre ser lo uno y ser lo otro se capta con la captacin de qu es ser una funcin; no decirlo, sino mostrarlo, o, ms exactamente: decir cmo se muestra eso en el lenguaje. Hay expresiones que pueden constituir sujetos de predicacin, que designan cosas en el sentido usual: Gengis Kan, Marco Polo, Catay, Benedicto XV, Jerusaln, etc. De cada uno de los entes designados por esos nombres cabe preguntarse si posee o no una propiedad ordinaria cualquiera. La caracterstica comn de los objetos es la de ser designables por sintagmas nominales completos o sin huecos en oraciones cuyos predicados expresen propiedades nominales. Todo lo que no tenga esa caracterstica es una funcin. Tomemos, p.ej., un sintagma nominal incompleto o con huecos, como el padre de o la nariz de, etc. Es obvio que la nariz de no designa a un objeto, lo cual se muestra por reduccin al absurdo: ni sera grande ni pequea, ni carnosa ni alada, ni nada. La expresin la nariz de signica algo, pero lo signicado es, no un objeto, sino una funcin. Una funcin es un ente incompleto y tal que hace corresponder a determinado argumento, un valor tambin determinado. La funcin expresada por el padre de hace corresponder, p.ej., a Alejandro Magno, Filipo II de Macedonia; a Salomn, David; a Pepino el Breve, Carlos Martel. De entre las funciones, algunas se expresan mediante sintagmas verbales, o sea: oraciones incompletas; p.ej. escribe novelas. No cabra preguntar silo signicado por escribe novelas es algo bueno o no, p.ej.; no es un objeto, sino una funcin, un ente incompleto. Cuando a esa funcin se le da un argumento, lo enva sobre un determinado valor funcional, como pasa con cualquier otra funcin. Las funciones que son designadas por sintagmas verbales son llamadas por Frege conceptos. Tomemos el concepto es dramaturgo; dmosle un argumento como Lope de Vega; la funcin hace corresponder a ese argumento el valor funcional que es lo Verdadero. Si damos a esa funcin como argumento el general Mobutu, el valor funcional correspondiente ser lo Falso. (Luego discutiremos los motivos que llevan a Frege a elegir a lo Verdadero y lo Falso como valores funcionales nicos de los conceptos.) La diferencia entre objetos y funciones es categorial. No tiene sentido armar ni negar de una funcin algo que quepa armar o negar de un objeto. Porque, de tener sentido armar, p. ej., de una funcin un predicado que sea armable o negable de algn objeto, entonces, por el principio de tercio excluso, esa funcin pertenecera al conjunto de los entes de los que es o armable o negable el predicado en cuestin. Pero ese conjunto es el de todos los objetos; luego la funcin pertenecera al conjunto de todos los objetos, y, por consiguiente, sera un objeto. Es ms: para que un predicado que designa siempre a un concepto se transforme en una oracin, que

El papel de Frege en la historia de la lgica

10

signique o a lo Verdadero o a lo Falso, es menester que se llenen el o los huecos que haya en el predicado con sintagmas nominales sin huecos, o sea: con expresiones que signiquen objetos. Ntese que un predicado o expresin conceptual puede tener ms de un hueco; p.ej. mata a, que enva sobre lo Verdadero, p.ej. a los argumentos Enrique de Trastmara-Pedro I, tomados en ese orden. Pero al igual que el concepto es insaturado y est, as, en un nivel entitativo diferente de superior en un escaln a los objetos, se dan, en un escaln entitativo superior, funciones de funciones, y, en particular, conceptos de conceptos. As, la funcin es satisfecha por miles de cosas, cuando se le da como argumento la funcin respira, le hace corresponder lo Verdadero; cuando se le da como argumento la funcin es hijo de Napolen, hace corresponder lo Falso; porque la funcin de respirar es satisfecha por miles de cosas, mientras que la de ser hijo de Napolen slo lo es que se sepa por un nico ente. Pero, en ese sentido de ser satisfecho, no cabe decir con sentido que un objeto es satisfecho por algo; ser satisfecho es una funcin de segundo orden, que slo puede armarse o negarse de funciones de primer orden. Eso que yo acabo de denominar ser satisfecho es la relacin inversa de la que llama Frege caer bajo. Se dice que un objeto cae bajo un concepto ssi, al ser dado ese objeto como argumento al concepto, ste le hace corresponder, como valor funcional, lo Verdadero. Por eso, Vivaldi cae bajo el concepto signicado por el sintagma verbal es msico, mientras que no cae bajo el concepto signicado por descubre Australia; lo inverso sera cierto del navegante Luis de Torres. A esa relacin entre objeto y concepto, el caer-bajo, podemos llamarla subcadencia. Insiste Frege y es ste uno de sus ms transcendentales y fecundos hallazgos en una escrupulosa y pulcra distincin entre subcadencia y subordinacin. Un objeto cae, o no cae, bajo un concepto; pero un concepto est subordinado a otro ssi cuantos objetos caen bajo el primero caen tambin bajo el segundo. El concepto signicado por es novelista est subordinado al concepto signicado por es escritor, pero no cae bajo l, puesto que la propiedad de ser novelista no es un escritor. Cuando un concepto est subordinado a otro, se dice que el ltimo es una nota (Merkmal) del primero; mientras que un concepto bajo el que cae un objeto se llama una propiedad del objeto. La teora fregeana de la predicacin bloquea as la transitividad de la relacin de predicacin, que haba postulado la tradicin desde Aristteles, y que tan malas pasadas haba jugado. Y abre con ello las puertas a un realismo saneado de los universales. Con todo, el realismo fregeano de los universales es no se olvide! categorial (y, a mi modo de ver, en esa medida no tan saneado; pero luego veremos que, adems de los conceptos, postula Frege otros universales que s me parecen satisfactorios).

5. Independencia entitativa de las funciones fregeanas Al haber dicho que las funciones, en general, y los conceptos en particular son entes incompletos, insaturados, que no son entes por s mismos sino entes-de otros que s son entes por s mismos los objetos, podra haber dado la impresin de que, para Frege, los conceptos son entes nticamente dependientes de sus inferiores de los objetos que caen

El papel de Frege en la historia de la lgica

11

bajo ellos; de que la entidad de los conceptos es, as, como parasitaria respecto de los inferiores. No hay tal. Los conceptos fregeanos, aunque no son entes en y por si, sino entes-de, tienen esa entidad que tienen, una entidad que es relativa a objetos, de manera independiente de los objetos. Eso puede parecer extrao y hasta incomprensible, pero se aclara como sigue. Una funcin es un ente-de, un algo que no es ente cabal o completo, sino que se limita a enviar a cada objeto-argumento sobre un objeto-valor funcional; pero la funcin tiene entidad por encima, y ms all, de los objetos que son sus argumentos. Claro que, segn Frege extensionalista a su manera son idnticas dos funciones tales que cuantos objetos caen bajo la una caen tambin bajo la otra, y viceversa. (Frege no dice que sean idnticas, puesto que la identidad es una relacin de objetos, no de funciones; dice que guardan la relacin interconceptual correspondiente o anloga a esa relacin interobjetual que es la identidad.) Con todo, que la funcin est ms all de los objetos que bajo ella caen se patentiza en la existencia de funciones vacas, y, concretamente, de conceptos vacos, o sea: tales que no cae bajo ellos ningn objeto. Son, p.ej., vacos: el concepto signicado por es un hombre de cuatro metros de altura; el signicado por es diferente de s mismo, y miles ms. Adems de los conceptos o propiedades, reconoce Frege la existencia de otros universales, emparentados con los conceptos, pero que, a diferencia de ellos, son objetos, a saber: las clases o conjuntos. (Frege llama tambin a una clase recorrido de un concepto y extensin del concepto.) A cada concepto le corresponde una clase (aquella de la que son miembros todos los objetos que caen bajo el concepto, y slo ellos); y a cada clase, un concepto (el que es signicado por el sintagma verbal cae bajo la clase, llenndose los puntos suspensivos con un nombre de la clase en cuestin). La clase es un objeto, un ente saturado. Tienen clases correspondientes aun los conceptos bajo los que cae un solo objeto, o ningn objeto. As hay una clase correspondiente a es el ltimo rey de Egipto, clase cuyo nico miembro es Fuad II; y existe, aunque sea vaca, la clase de objetos que caen bajo el concepto signicado por el sintagma verbal es un pas de ms de 25 millones de Km2. Correspondiendo a la relacin de subcadencia est la relacin de membra; un objeto guarda tal relacin con una clase (o sea: es miembro de la clase) en la medida en que cae bajo el concepto correspondiente a la clase. Hay as una correspondencia exacta, en el mbito de objetos, con respecto al mbito mixto en que estn involucrados objetos y conceptos a la vez. (Frege alegara, sin embargo, que la relacin de membra es un concepto, y, por lo tanto, nunca salimos del todo de un mbito mixto; nicamente conseguimos desplazar, reemplazando a ciertos conceptos por objetos correspondientes, pero debiendo, para ello, hacer entrar en escena a algn otro concepto.) Todava existe otro tipo de universales: los correlatos de conceptos. Porque, segn lo que hemos dicho, un concepto es algo insaturado y, por consiguiente, signicable slo por sintagmas oracionales incompletos, e.e. que comportan uno o varios huecos. Pero, entonces no es un concepto lo signicado por la expresin el concepto signicado por el

El papel de Frege en la historia de la lgica

12

sintagma verbal es un museo? Pues no! No es un concepto. Es un objeto, puesto que est signicado por un sintagma nominal y sin huecos. Claro, cuando hablbamos de tal objeto, cuando lo mentbamos, nuestra intencin, y la de Frege, era hablar, no de l, sino del concepto correspondiente. Pero resulta que ste se nos escabulle, y es propiamente inefable: no se lo puede nombrar, sino slo signicar por medio de un sintagma verbal: en cuanto mencionamos ese sintagma (encerrndolo entre comillas simples) y prejamos al resultado de tal mencin la expresin incompleta esa si funcional el concepto signicado por; en cuanto hacemos eso, hemos mentado o signicado, no al concepto, sino a un curioso objeto, que ciertamente guarda una relacin peculiar con el concepto, viniendo a ser como su vicario; por eso los exgetas de Frege lo han llamado el correlato del concepto. No cabra identicar a esos objetos vicarios o correlativos de conceptos con las clases? Frege no se plantea esa cuestin, ni parece aventurarse a emitir conjeturas al respecto. Ciertamente siente uno algn malestar ante esa lujuriante proliferacin de universales que se replican: el concepto, la clase de objetos que caen bajo el concepto y el correlato del concepto (el cual guarda tambin con los objetos que bajo el concepto caen una relacin correlativa de la subcadencia). Lo peor y ms lamentable de todo es que cuando se analiza lo que hemos dicho creyendo hablar de conceptos, resulta que era un hablar acerca de correlatos de conceptos; si bien, de un modo como mgico, el lector ha entendido la verdad inefable sobre los conceptos. (Sera una situacin similar a la que diagnostica el propio Wittgenstein al nal del Tractatus como propia de la relacin entre el autor del mismo, el texto y los lectores: lo que se quera decir es inefable, y lo que se ha dicho, queriendo decir lo inefable, deca otra cosa o, segn Wittgenstein, no deca ni poda decir nada, pues era un sinsentido; pero, a travs de la lectura de ese pseudomensaje, el lector ha visto cmo surge en s mismo lo que el autor pretenda decir, esforzndose en vano por conseguirlo.) Henos ya en condiciones de comprender qu es la existencia para Frege. La existencia, dice, no es una propiedad de primer orden, puesto que, en ese caso, nunca tendra sentido decir de una cosa que no existe; de qu cosa se estara hablando? Si digo que no existe Volpone, y si lo digo con verdad, entonces no estoy hablando de cosa alguna que sea Volpone; no puedo, pues, ni ponerle ni quitarle cosa alguna a lo que no es nada de nada, en este caso a Volpone por hiptesis. Luego no estoy hablando de Volpone. De qu hablo, pues? De la propiedad de ser Volpone; esa propiedad puede ser entendida como la propiedad de ser un hombre con las caractersticas con las que pinta Ben Johnson a un supuesto personaje; y de esa propiedad digo que es vaca, o sea: que no es ejemplicada por ningn objeto lo que equivale a decir que ningn objeto cae bajo ella, de suerte que una oracin de la forma No existe debe parafrasearse o traducirse de modo que lo que se venga a decir sea esto: Es vaca la propiedad de ser (idntico a). Similarmente, Existe ser una formulacin inadecuada de Es no vaca la propiedad de ser un ente (idntico a) Decir que existe Csar Vallejo es decir que no es vaca la csarvallejidad (la propiedad de ser (un ente idntico a) Csar Vallejo); y decir que no existe Melibea es decir que es vaca la propiedad de ser Melibea; o sea: que es vaca la propiedad de ser una moza de quien se enamore un mancebo llamado Calixto el cual consigue ser correspondido mediante los ocios de una vieja llamada Celestina, todo ello

El papel de Frege en la historia de la lgica

13

rodeado de los otros pormenores relatados en la obra de Fernando de Rojas. La propiedad de ser Melibea s existe; porque no es vaca la propiedad de ser la propiedad de ser Melibea; lo que es vaco es la propiedad de ser Melibea. Lo recin apuntado nos hace plantearnos un problema: cabe decir con el mismo signicado de existe que existe Jomeini y que existe la propiedad de ser Jomeini? Eso depende de que, en este contexto, estemos empleando la palabra propiedad para hablar del concepto o para hablar de la clase. Las clases son objetos, y existen como los dems objetos. Los conceptos son funciones, y no comparten propiedad alguna con los objetos, ni siquiera la de existir. De un concepto no cabe decir que existe con el mismo signicado de la palabra en que si cabe decirlo de un objeto (a saber: en el sentido de que no es vaca la propiedad de ser ese objeto); si, en este contexto, por propiedades entendemos conceptos, entonces lo mentado por la palabra existencia es un concepto de segundo orden, bajo el que caen aquellos conceptos de primer orden que no son vacos e.e. que son tales que hay objetos que caen bajo ellos. En cambio, si por propiedades entendemos clases, entonces si cabe decir que la propiedad existe igual que el miembro de la misma; porque no es vaca la clase cuyo nico miembro es la clase cuyo nico miembro es Jomeini, del mismo modo que no es vaca la clase cuyo nico miembro es Jomeini. En cualquier caso, lo cierto es que los enunciados existenciales (aquellos en que parece estarse predicando existencia o inexistencia de un ente determinado) no son lo que parecen ser; parece que Existe Mustaf Kemal es del mismo tipo que Mustaf Kemal come; pero no nos dice Frege: si la ltima oracin habla, efectivamente, de Mustaf Kemal, la primera habla, en verdad, de la propiedad de ser Mustaf Kemal, diciendo de esa propiedad que no es vaca, e.e. que hay algo que bajo ella cae.

6. Teora fregeana de las descripciones denidas para lenguajes bien hechos Ahora se plantea una cuestin. Los enunciados existenciales que hemos invocado a ttulo de ejemplo tenan como sujetos nombres propios. Pero, qu pasa con aqullos cuyos objetos son descripciones denidas, e.e. expresiones de la forma el ente que (p.ej.: el hombre ms guapo del mundo, la bailarina ms joven de beda, la montaa ms alta de Holanda, etc.)? Propone Frege, a la hora de construir un lenguaje correcto, considerar tres casos: 1) aquel en que la matriz de la descripcin denida de que se trate (e.e. lo que se colocara en vez de los puntos suspensivos tras el prejo el ente que) signica aun concepto bajo el que cae un solo objeto; en ese caso, la descripcin denida signica a ese objeto; 2) aquel caso en que haya varios objetos que caen bajo el concepto signicado por la matriz de la descripcin; en ese caso, la descripcin signica a la clase de objetos que caen bajo tal concepto; 3) aquel caso en que no hay ningn objeto que caiga bajo el concepto en cuestin; y, en ese caso, la descripcin signica a un objeto que puede escogerse arbitrariamente, p.ej. a la clase vaca. (Reelaboraciones de la teora fregeana han establecido para el segundo caso la misma estipulacin que establece Frege para el tercero.)

El papel de Frege en la historia de la lgica

14

Como resultados de esa concepcin de las descripciones denidas, tenemos los siguientes (emplear letras esquemticas para aludir a matrices): 1) Para cualquier matriz p, es siempre cierto que existe el ente tal que p (o sea: no es vaca la propiedad de ser el ente tal que p). 2) No es siempre verdad que el ente tal que p es tal que p. 3) Vale el principio de tercio excluso, aun para cualquier aplicacin a una oracin cuyo sujeto sea el ente tal que p. 4) Si el ente tal que p no es tal que p, es que hay varios entes que p, o no hay ninguno. 5) Si todo ente es tal que es verdad de l que p slo si es verdad de l que q, entonces el ente tal que p es el ente tal que q.

7. Dicultades de las dicotomas fregeanas objeto/funcin y sentido/signicado La dicotoma objeto/funcin nos condenara a la inefabilidad, lo cual va, adems, en contra de un principio fregeano de que todo es efable. Que sea una funcin podra mostrarse, mas no decirse. Adems, nos condenara a que carecieran de sentido todas las explicaciones en que se dice, p.ej., que cuanto existe es objeto o funcin como lo hace, y no puede por menos de hacerlo, Frege, en repetidas ocasiones. Porque, al aplicarse a una funcin, el verbo existe tendra un sentido diferente del que tendra al aplicarse a un objeto. Ni tendran sentido las palabras algo, todo, cualquier cosa, etc., puesto que slo cabra decir: cualquier objeto; cualquier funcin de primer orden (salvando, en este ltimo caso, lo incorrecto de un hablar semejante, puesto que una instancia aplicativa de cualquier funcin de primer orden sera un nombre propio de una funcin de primer orden, el cual, al ser proferido, se metamorfoseara y pasara a signicar, no a una funcin, sino al correlato u objeto vicario de la misma); cualquier funcin de segundo orden (con anloga salvedad), etc. Pero nunca cabe agrupar a un objeto y a una funcin en un conjunto que englobe a ambos. Peor todava: lo que acabamos de decir carece de sentido, puesto que, por no poderse armar con sentido de una funcin algo que se arme de un objeto, ni viceversa, tampoco puede negarse con sentido algo tomando como sujetos a expresiones que signiquen a una funcin y a un objeto. As pues, si es correcta la dicotoma objeto/funcin, entonces es inefable, y carecen de sentido cuantas explicaciones demos sobre ella (incluso la de que es inefable, o la de que es inefable la verdad vinculada al decirse, sin sentido, que es inefable, o). Felizmente, sin embargo, hay cmo evitar tal dicotoma categorial, con las secuelas que la acompaan. Podemos explorar varias alternativas. La alternativa ms plausible es la de considerar que, en lugar de que haya una dicotoma categorial o de naturaleza entre objetos y funcin, lo que hay es una diferencia de papel entre lo que est actuando como objeto y lo que est actuando como funcin.

El papel de Frege en la historia de la lgica

15

Esa alternativa ya le fue sugerida al propio Frege, quien contest con un argumento que podemos recapitular as: aunque consideremos que, dados un objeto, x, y una funcin, , la diferencia entre ambos es de papel o sea: no se trata de diferencia entre ambos, sino entre los papeles respectivos que estn jugando, aun as deberemos, en la oracin que diga que x est siendo dado como argumento a la funcin , enunciar esa diferencia de papeles de algn modo; pues, si de suyo y x son entes del mismo nivel entitativo, los signos con los que respectivamente signiquemos a ambos entes sern tambin entes de la misma categora gramatical; ser, pues, menester que haya en la frase algn signo de otra categora gramatical, el cual sea un signo funcional que tome como argumentos a x y a , en ese orden-o en el inverso, da igual con tal de que sea un orden jo y asimtrico-; ese signo aadido tendr que estar signicando a algo, pues, si no, no se explica la necesidad de su presencia: en la realidad deber suceder, pues, que a lo signicado por ese signo adicional le estn siendo dados como argumentos, en cierto orden, los dos entes x y ; si a ese signicado, funcional evidentemente, del signo sobreaadido queremos ahora considerarlo como un objeto, diciendo que su diferencia con respecto a x y a es, no de categora, sino de papel, deberemos, por idntica razn, aadir otro signo ms y as al innito. Ahora bien, la discutible presuposicin de ese argumento que podemos llamar lingstico-transcendental es que a las diferencias de categora gramatical deben de corresponder diferencias de categora ontolgica de los entes signicados por expresiones de sendas categoras. Tal presuposicin puede ponerse en tela de juicio, proponindose como alternativa que lo que separa a dos signos de categoras gramaticales diferentes es, no la categora ntica de sendos entes por ellos respectivamente signicados, sino el tipo de relacin semntica que cada uno de tales signos guarde con un cierto objeto. As, p.ej., si aceptamos que hay una diferencia de categora gramatical entre nombres propios y verbos, cabr decir que en la oracin Hiro-Hito eructa, tenemos: una ocurrencia de una palabra, Hiro Hito, que guarda con un objeto, Hiro-Hito, cierta relacin semntica podramos llamarla: relacin de apelacin y otra palabra, el verbo eructar, que guarda con otro objeto, la propiedad de eructar, otra relacin semntica podramos llamarla: relacin de expresin, en un sentido desde luego no fregeano. Diramos entonces que un ente est siendo apelado por un signo en una oracin en que hay otro signo que est expresando a otro objeto ssi el primer objeto est siendo tomado como argumento por el segundo, el cual est, con respecto al primero, actuando como funcin y siendo el valor que el segundo objeto hace corresponder al primero o bien lo Verdadero o bien lo Falso segn que la oracin dada sea verdadera o falsa. Aqu me he limitado a considerar como funciones a los conceptos mondicos, pero es obvio que el tratamiento que estoy proponiendo puede extenderse, de manera fcil y fructfera, a funciones no conceptuales y a conceptos polidicos. Lo interesante es que, con esta complicacin semntica consistente en postular ms de una relacin entre signos y objetos, obtenemos una simplicacin ontolgica no ya til o conveniente, sino que se impone para evitar la inefabilidad a que se ve abocado Frege. No entra en los lmites de este artculo desarrollar esa propuesta ni examinar las dicultades que encierra, pues no hay solucin teortica alguna que est exenta de sus

El papel de Frege en la historia de la lgica

16

propios inconvenientes. En cualquier caso, la solucin es netamente preferible a la de Frege precisamente porque escapa a ese despeadero del inefabilismo. Lo nico que conviene aadir a las consideraciones precedentes es un renamiento cuyo examen detallado tambin dejo aqu de lado, a saber: nominalizar todos los sintagmas verbales salvo el verbo abarca de modo que una oracin como Es eglatra Mobutu pase a ser parafraseada como La egolatra abarca a Mobutu. El abarcamiento ser, pues, el nico ente expresado (por el verbo abarca), aunque tambin podr ser apelado (por el sintagma nominal el abarcamiento). No considero tampoco convincentes los argumentos aducidos por Frege para postular una dicotoma de sentido y signicado. Con respecto a los enunciados de identidad, cabe mostrar que se puede, y se debe, reconocer tanto la autoidentidad de cada cosa como su autodistincin. El argumento con el que quiere Frege probar que hay sentidos sera una reduccin al absurdo; pero no es reduccin al absurdo, pues lo nico que muestra es una contradiccin verdadera, no una conclusin supercontradictoria, la cual si sera un absurdo. He aqu una instancia de ese tipo de argumentacin: Pr. 1 Maffeo Barberini = Urbano VIII. Pr. 2 Urbano VIII es tal que sabe Clotilde de l que es Urbano VIII. Pr. 3 Maffeo Barberini no es tal que sepa Clotilde de l que es Urbano VIII. De las premisas 2 y 3 se concluye: Concl. 1: Maffeo Barberini es distinto de Urbano VIII (donde x es distinto de z abrevia: No es verdad que x sea idntico a z, siendo ese no una negacin dbil o simple, no una supernegacin; en cambio x es diferente, o diverso, de z abreviar: No es verdad en absoluto que sea x idntico a z). Pero, entonces, tenemos la contradiccin formada por la premisa 1 y por la conclusin 1; adems, en virtud de la indiscernibilidad de los idnticos y de la consiguiente mutua sustituibilidad de trminos que designen al mismo ente, cabe, aplicando la premisa 1 a la conclusin 1, obtener esta conclusin nal: Maffeo Barberini es distinto de Maffeo Barberini. Y, como cada cosa puede ser designada por ms de un nombre, cada cosa es distinta de s misma; distinta, pero tambin idntica a s misma. As de contradictoria es la realidad. Pero es mil veces preferible aceptar esa contradictorialidad de lo real (Hegel supo ver, con toda razn, que la relacin de identidad presupone alguna distincin o alteridad entre los idnticos, o sea entre cada cosa y s misma) antes que postular los estrafalarios sentidos irreales y embarcarse en una gnoseologa que da la espalda a un sano empirismo segn el cual nihil est in intellectu quin prius fuerit in sensu. Asimismo, de darse sentidos fregeanos, seran irreales; no ejerceran accin causal alguna. Luego, con o sin ellos, el mundo sera igual, pues, al no ejercer accin causal, no afectaran ni alteraran los sentidos el mundo en manera alguna, y sera como si no existieran en absoluto. Cmo podran, entonces, ser conocidos, aun suponindose en el hombre una enigmtica intuicin intelectual?

El papel de Frege en la historia de la lgica

17

Adems, es inverosmil que aparezca de golpe ante nuestra mirada intelectual como por arte de birlibirloque un nuevo sentido en virtud de la mera acuacin de un nuevo nombre para rebautizar a algo que ya reciba otra u otras denominaciones. En qu diferirn el sentido de Avicebrn, el de Selom Ibn Gabirol y el de Salomn Ibn Gabirol? Y en qu diferir el sentido de Tamerln del de Tamorln? Para cerrar esta discusin, dir que, pese a todas las crticas que acabo de formular, me parecen ms importantes los transcendentales e imperecederos hallazgos de Frege: su teora de la predicacin no transitiva con el distingo entre subcadencia y subordinacin; el rechazo de toda forma de idealismo o subjetivismo; la postulacin de la existencia de universales o propiedades; la concepcin extensional de las propiedades; el rechazo de procedimientos de escamoteo de los problemas, como los en-cuantos; sus sugerencias sobre tratamiento de descripciones denidas en lenguajes bien hechos. Pero, adems, y sobre todo, los propios errores de Frege son esclarecedores y fecundos estimulantes de la investigacin losca.