El

concepto

de verdad

de razn

y verdad

de hecho

segn

Leibniz.

Es un tpico al hablar de Leibniz mencionar la amplitud y profundidad de sus conocimientos. Su capacidad intelectual resulta evidente observando tanto su obra como la cantidad de cuestiones en las que ocup su tiempo, con una vida pblica muy intensa y realizando a menudo viajes por Europa. Sin embargo, aunque lleguemos a enumerar muchas de sus facetas como historiador, filsofo, poltico, jurista, matemtico, lgico, fsico, etc, no haremos justicia a la desbordante actividad de Leibniz. A pesar de ello, o precisamente motivado por la circunstancia de hallarse inmerso en todo tipo de empresas, la produccin filosfica de Leibniz resulta particular ya que public un conjunto poco numeroso de pequeas obras en las cuales encontramos una exposicin no demasiado terica ni sistemtica de sus ideas, en lo que hoy da consideraramos obras de divulgacin. A menudo se ha acusado a Leibniz de que esta actitud tuvo como consecuencia la herencia de una obra en la que encontramos un pensamiento un tanto difuso, y donde las conclusiones no se siguen con claridad de los puntos de partida de la discusin en cuestin. Sin embargo autores como Couturat y sobre todo Russell apuntan en la direccin de una interpretacin muy diferente de los escritos leibnicianos.

Leibniz pretende elaborar un sistema filosfico unitario pero diverso, en el cual cualquiera de sus ramificaciones manifiesta refleja paralelamente el desarrollo deductivo de cada una de sus partes. As, lgica, metafsica y fsica estn conectadas en un todo que es la realidad, y de las cuales aquellas no son ms que manifestaciones de lo mismo a distinto nivel.

Uno de los principios bsicos de la filosofa de Leibniz, si no el principio por excelencia, versa sobre la naturaleza de las proposiciones. Este principio, sera capaz de dar lugar, en unin a la afirmacin de que hay una pluralidad de sustancias, a todo su sistema filosfico. Se trata de un principio de naturaleza lgica, que dice fundamentalmente dos cosas. Toda proposicin atribuye (o puede ser sustituida por una que atribuye) un predicado a un sujeto. En toda proposicin afirmativa de esta ltima clase, el predicado est incluido en el sujeto excepto cuando el predicado es la existencia. De aqu deriva Leibniz un determinado concepto de sustancia. Siguiendo la tradicin

aristotlica, el pensador de Leipzig llama sustancias a aquellos sujetos que son susceptibles de recibir predicados y que no son predicados de otros. Pero a esto aade, como corolario del principio antes mencionado, que la naturaleza de la sustancia consiste en tener una nocin completa, y una nocin completa es definida por l como la que permite deducir todos sus predicados. De esta concepcin de sustancia se deriva toda la teora de las mnadas, pues stas no pueden reducirse a un conjunto de estados, sino que son fuente de estos, resultando de este modo un ente esencialmente activo. As, vemos cmo el concepto de mnada y su actividad, en virtud de la cual cambian sus estados, resulta ser el equivalente metafsico de la nocin de sujeto. (Russel, Exposicin crtica de la filosofa de Leibniz, 1900) Leibniz realiza un paralelismo en su sistema entre la deduccin metafsica, lgica y fsica, hecho que caracteriza su pensamiento y obra. En primer lugar, Dios es un ser necesario, y para demostrarlo Leibniz vuelve a plantear entre otras cosas el argumento ontolgico. En la poca moderna, Descartes ya lo haba empleado, afirmando que lo perfecto debe existir necesariamente o no sera perfecto. Y Dios es necesario porque en l coinciden esencia y existencia. La esencia de una idea es aquello que indica su particularidad; es, desde un plano metafsico en el sistema de Leibniz se corresponde con las mnadas, y desde un plano lgico es sustituible con el sujeto de una proposicin. La existencia, por su lado, expresa la subsistencia de la idea, su relativa independencia, su ser mismo. Leibniz dice que slo Dios posee la prerrogativa de unir esencia y existencia: nicamente de Dios cabe afirmar que es suficiente con que sea posible para que, en cuanto perfeccin ilimitada, tambin exista de modo actualizado. Leibniz seala: As, slo Dios (o el Ser necesario) posee este privilegio, que no puede no existir, dado que es posible. Y como nada puede impedir la posibilidad de aquello que no implica ningn lmite, ninguna negacin y por tanto ninguna contradiccin, basta con slo esto para conocer a priori la existencia de Dios. Sin embargo, cabe una crtica al respecto del argumento, pues la afirmacin de la existencia de algo no puede pertenecer al mismo concepto ya que no se aade nada al mismo sino que nicamente se establece una correspondencia entre un concepto y un objeto existente; cabe, pues, decir que la existencia no es un predicado o no se puede

predicar de un concepto y, de este modo, pasando del nivel lgico al ontolgico podemos afirmar que la existencia no pude pertenecer a la esencia de una idea, como establece el punto de partida del argumento ontolgico. A pesar de todo, en el discurso de Leibniz, Dios es el nico ser necesario que existe, el nico ser en el que coinciden esencia y existencia. Dios, a su vez, tanto es origen de las esencias como de las existencias. Son esencias todas aquellas cosas que resultan pensables sin contradiccin, es decir, todos los posibles (posible es aquello que no implica contradiccin), y Leibniz concibe el intelecto divino como sede de las verdades eternas y de las ideas de las que dependen tales verdades. Por lo tanto, es el intelecto divino el que hace posibles estos posibles, justamente al pensarlos, dndoles todo lo que hay de real en dicha posibilidad. Hay infinitos posibles. Pueden organizarse en sistemas y en mundos diversos e innumerables, que, no obstante, si se toman de forma individual son posibles, pero no son coposibles junto con otros, en el sentido de que la realizacin de uno implica la no realizacin de otro (en la medida en que se excluyen mutuamente). La existencia es la realizacin y la actualizacin de las esencias, esto es, de los posibles. Dios piensa infinitos mundos posibles, pero slo puede llevar a la existencia a uno. Todos los mundos posibles urgen hacia la existencia, pero la eleccin de Dios es la nica que decide cul debe pasar de hecho a la existencia. En esta visin general se comprende perfectamente la distincin hecha por Leibniz entre verdades de razn y verdades de hecho, as como la diferente naturaleza de los principios que se hallan en la base de los dos tipos de verdad. Las verdades de razn son aquellas cuyo contrario es imposible. Expresan el conjunto de verdades que se hallan en la mente de Dios, las cuales estn basadas sobre todo en los principios de identidad (A -> A: Si A entonces A), de no contradiccin [A -> (A): No es posible A y no A] y de tercero excluido (A v A: O es A o no es A). Son verdades de razn, por ejemplo, todas las de la matemtica y la geometra, y algunas otras de distinta ndole, como la lgica. As, el hombre, cuando conoce este tipo de verdades necesarias, se basa asimismo en los principios antes indicados. Pero la cuestin reside en el hecho de que tales principios son a su vez verdades de razn, como resulta manifiesto y evidente, pues sus contrarios son a su vez imposibles. La problemtica reside al pretender Leibniz fundamentar un tipo de proposiciones con una determinada cualidad en base a una proposicin, o conjunto de ellas que a su vez

comparten esa cualidad que pretende ser explicada. Dejar la discusin de esta cuestin para ms adelante con la promesa de volver a ella para intentar aclarar el asunto, mientras que ahora centrar mi atencin en seguir exponiendo la tesis leibniziana. Por otro lado, tenemos las verdades de hecho, que hacen referencia a los sucesos contingentes y son aquellas cuyo contrario no es imposible. Por ejemplo, que yo est sentado es una verdad de hecho; pero no es una verdad necesaria, porque su contradictoria no es imposible (no es imposible que yo no est sentado). Por lo tanto, las verdades de hecho podran tambin no ser; sin embargo, puesto que son, poseen su concreta razn de ser. Tales verdades, pues, estn basadas no en el principio de no contradiccin (porque su opuesto es posible), sino en el principio de razn suficiente, segn el cual toda cosa que ocurre de hecho posee una razn que es suficiente para determinar por qu ocurri, y por qu ocurri as y no de otro modo. Con frecuencia, sin embargo, al hombre le resulta imposible hallar la razn suficiente de cada hecho particular, porque tendra que reconstruir la serie infinita de fenmenos particulares que colaboran en determinar un acontecimiento individual. A mi parecer, este tipo de enunciados son de un tipo menos problemtico, si bien no estn exentos de crtica aunque esta no sea interna como en e caso de las verdades de razn, pues es posible cuestionarse acerca de la posibilidad de corroborar la verdad o falsedad de este tipo de enunciados aludiendo a la experiencia, para lo que es preciso previamente disponer de un concepto claro de referencialidad y de verdad. Por otro lado, el principio de razn suficiente afirma la necesidad de una causa para todo acontecimiento, obviando la dificultad que el concepto de causa implica (tipos de causa como seal Aristteles, posibilidad de mantener tal concepto como advirti Hume). Pero sigamos con Leibniz. Para crear el mundo, Dios se bas en el principio de razn suficiente y no en el de no contradiccin; en Dios la razn suficiente coincide con la eleccin de lo mejor, con la obligacin moral. Por lo tanto, como han reconocido muchos especialistas, la distincin entre verdades de razn y verdades de hecho posee unas bases metafsicas muy concretas, y se trata de algo estructural y de carcter ltimo, a pesar de algunas vacilaciones que pueden encontrarse en Leibniz, y sobre todo a pesar de las numerosas crticas formuladas por los intrpretes. La presciencia misma y el

conocimiento perfecto que Dios tiene con respecto a las verdades contingentes no modifica la naturaleza contingente de stas y no las transforma en verdades de razn. Las verdades de razn estn fundamentadas sobre la necesidad lgico-metafsica, mientras que las verdades de hecho permanecen siempre ligadas al libre decreto divino.

El

concepto

de

juicio

analtico

juicio

sinttico

de

Kant.

Kant recibi una educacin de carcter pietista hasta su formacin filosfica, que recibi de Martin Knutzen, un discpulo de Wolff, quien a su vez difundi y desarroll la filosofa de Leibniz. A pesar de un perodo precrtico donde sus ideas vacilan entre la elaboracin de una fsica de carcter newtoniano y una fundamentacin metafsica de la misma de carcter leibniziano precisamente, es en 1781 cuando, tras once aos de monacal reclusin, publica un sistema que revolucionar la filosofa en adelante, planteando problemas an vigentes. La motivacin principal del maestro a la hora de escribir su monumental Kritik der Vernunft es establecer una fundamentacin segura de la ciencia, indicando el alcance y los lmites del conocimiento humano. Kant parte de la distincin leibniciana de verdades de razn y verdades de hecho, a las cuales denomina juicios analticos y juicios sintticos, respectivamente. Los primeros son aquellos enunciados en donde el predicado se halla implcito el sujeto y, que por lo mismo, no amplan conocimiento alguno, permaneciendo en la tautologa. El segundo tipo, los juicios sintticos, que se corresponden con las verdades de hecho de Leibniz, son caracterizados por Kant como aquellos enunciados en donde el predicado no est implcito el sujeto (la Tierra gira alrededor del Sol) y por ello mismo aaden y amplan nuestro conocimiento. Junto a esta distincin encontramos otra paralela, pero no menos relevante para la teora kantiana, que es la de juicios a priori y juicios a posteriori. La verdad de los primeros no depende de la experiencia, siendo por ello universales y necesarios, y su prototipo son los juicios analticos antes mencionados. Los juicios a posteriori dependen de la experiencia y son, por ello, contingentes, indicando su posibilidad de contradiccin.

Parece, pues, que Kant realiza un esfuerzo vano al parafraserarse a s mismo realizando una segunda clasificacin que se limita a repetir la primera desde otra

perspectiva, pero el sabio de Kningsberg da un paso ms y definde el conocimiento cientfico en general como un sistema de juicios sintticos y a priori, donde se cumple la exigencia de universalidad y necesidad tanto como la de aadir informacin. Un juicio de esta ndole, por ejemplo, es la afrimacin metafsica: todo acontecimiento tiene una causa.

El principio por el cual Kant establece la definicin de juicio analtico/sinttico se basa en la nocin, heredada de Aristteles, de sujeto-predicado. La base de esta fundamentacin descansa sobre la idea que tena de juicio en general. Kant pensaba que un juicio est determinado, o depende de, el contenido semntico de los conceptos que componen el mismo. A su vez, un concepto est definido por el conjunto de caractersticas que se le asocian.

La discusin acerca de la naturaleza de los juicios analticos transciende el comentario histrico de la filosofa de Inmanuel Kant, y tiene una importancia capital en lo que se refiere al estatus epistemolgico de las distintas ciencias. Siguiendo a Kant, los juicios analticos, al no aadir informacin alguna, no pueden ser el prototipo de enunciados que caracteriza el conocimiento cientfico, pero, a su vez, su carcter universal y necesario es requisito fundamental del conocimiento genuinamente cientfico. Todas, las proposiciones aritmticas o de la geometra, por ejemplo 5 + 7 = 12 o la lnea recta es la ms corta entre dos puntos, no son analticas sino sintticas, pues en el primer caso tenemos el concepto de una operacin, no as su realizacin, mientras que en el segundo caso hay una informacin acerca de la lnea que no est contenida en su idea, que es simplemente cualitativa y no cuantitativa. La solucin de Kant, como sabemos, es la de instaurar un nuevo tipo (no exento de problemas) de juicios, que son los sinttico a priori.

Sin embargo, es posible salir de la apora kantaiana si atendemos a otra caracterizacin de los juicios que no se base en una concepcin semntica de los componentes de los juicios. En esta lnea de planteamiento encontramos la caracterizacin de Gottlob Frege (nota), que pretenda establecer, en contra de la tesis de Kant, la analiticidad de las proposiciones de la aritmtica, como base de la analiticidad de las proposiciones de las toda la matemtica. La concepcin de Frege establece que juicio analtico es aquel que puede derivarse en virtud nicamente de propiedades lgicas de las definiciones de los conceptos. De este modo, se abandona la atencin al contenido del juicio para

prestar atencin a la derivabilidad de los mismos. En particular, Frege abandona la fundamentacin basada en la dicotoma sujeto-predicado para atender a la de argumento y funcin.