1

COMENTARIOS SOBRE LA DISTINCIN KANTIANA ENTRE JUICIOS SINTTICOS Y ANALTICOS. Trabajo Final

Presentado por: Eduardo F. Ramrez Garca. Profesora: Mtra. Elsa Torres. Materia: Historia de la Filosofa, Siglos XVII y XVIII.

INDICE. 1. Introduccin. 2. Los juicios sintticos a priori segn Kant. 3. Crtica de Quine a la distincin entre juicios sintticos y analticos.

1. Introduccin. Puede afirmarse que la distincin que Kant hace entre juicios sintticos y juicios analticos le sirve para llegar a un concepto fundamental de su filosofa: los juicios sintticos a priori. Este concepto curs casi dos siglos sin que hubiera sido puesta en duda su legitimidad. Quien lo ha hecho es el filsofo norteamericano Willard Van Orman Quine en un ya clebre libro From a Logical Point of View1. En el presente curso, hemos examinado, principalmente, la Crtica de la Razn Pura de Kant y discutido bastante sobre los mencionados juicios sintticos a priori. Con este motivo, considero ms que justificado desarrollar el presente trabajo que consistir en exponer los conceptos ms importantes sobre dichos juicios sintticos a priori, contenidos en la citada obra kantiana, para, posteriormente, exponer las crticas sostenidas por Quine. Mi intencin es no solamente comprobar el estudio de la obra de Kant, mediante la exposicin de su contenido en esta parte, sino incluir comentarios sobre el particular de un destacado filsofo contemporneo, con el fin de observar en perspectiva histrica la aportacin kantiana. En ambos casos, tanto respecto de las ideas de Kant como de Quine, he procurado ser escrupulosamente preciso para no perder el sentido original. A mayor abundamiento, he cuidado de citar los textos pertinentes. En tratndose de Quine, me responsabilizo de la traduccin que hago de su texto, en virtud de no haber hallado ninguna traduccin comercial al espaol. Finalmente, aado que cuando busco apoyo en otro autor lo sealo expresamente.

Quine W. Van O., From a Logical Point of View, Harvard University Press, 1961, pg. 20 y sig.

2. Los juicios sintticos a priori segn Kant. Al escribir Kant la Crtica de la Razn Pura, en 1781, se encontraba en el cruce de tres grandes corrientes: el racionalismo de Leibniz (1646-1716, Nuevos ensayos sobre el entendimiento humano en 1704), el empirismo de Hume (1711-1776 Tratado sobre la naturaleza humana 1739) y la ciencia positiva fsico-matemtica de Newton (1642-1727, Principios matemticos de filosofa natural 1687) . A diferencia de los pensadores que le precedieron, Kant no se tiene que preguntar sobre las condiciones para el conocimiento cientfico, sino que ya tiene la ley de la gravitacin universal de Newton. As que su pregunta es sobre cmo pueden fundarse los conocimientos fsico-matemticos que sin duda existen. El razonamiento kantiano inicia examinando los juicios analticos y sintticos2. Podemos colegir de la exposicin kantiana los siguientes caracteres distintivos de cada uno de dichos juicios. Juicios analticos: el predicado est contenido en el sujeto, no agregan conocimientos, su legitimidad y validez estriba en el principio de identidad (tautolgicos), son universales y necesarios, son a priori. Juicios sintticos:
2

Kant, Immanuel, Crtica de la Razn Pura, Alfaguara, Espaa, 2000, Pg. 47.

el predicado contiene elementos heterogneos al sujeto, agrega conocimientos, su legitimidad y validez estriba en la experiencia (percepcin sensible) son particulares y contingentes, son a posteriori. No obstante la anterior distincin de la cual resulta que los juicios analticos son a priori y los sintticos son a posteriori, dice Kant: las proposiciones verdaderamente matemticas son siempre juicios sintticos a priori, no empricos, ya que conllevan necesidad, cosa que no puede ser tomada de la experiencia.3 y La ciencia natural (fsica) contiene juicios sintticos a priori como principios4.

A demostrar cmo lo anterior es posible se dedica la mayor parte de la Crtica de la razn pura, la ltima parte trata sobre si es posible la metafsica. Un problema similar se plantea respecto a la inferencia por deduccin y por induccin. En la deduccin la conclusin est contenida en las premisas. En la induccin, por el contrario, la conclusin contiene ms que las premisas. Por tanto, la induccin presenta los mismos problemas de los juicios sintticos a priori. Kant divide el conocimiento en tres reas: matemticas, fsica y metafsica. Cmo son posibles los juicios sintticos a priori en estas tres reas?5 Respecto a las matemticas, sostiene Kant que dichos juicios son posibles porque ese conocimiento se funda en el espacio y en el tiempo y estos no son cosas en
3 4

Idem, Pg. 51. Idem, Pg. 53. 5 Idem, Pg. 55.

s, sino que son formas de nuestra capacidad o facultad de percibir, son formas de nuestra intuicin. Consiguientemente, se propone demostrar: Primero, que el espacio y el tiempo son intuiciones puras, o sea, a priori, y, Segundo, que tales intuiciones son el fundamento de los juicios sintticos a priori en las matemticas formadas por la geometra y la aritmtica. Para probar lo primero recurre a una exposicin metafsica6, y para probar lo segundo, a una exposicin trascendental. En qu consisten estos conceptos? Exposicin metafsica del espacio7 8. El espacio es a priori puesto que no

deriva de la experiencia sino que sta lo supone. No podemos tener experiencia (percepcin o intuicin9 sensible) de nada sino en el espacio. Una intuicin nos da conocimiento de un objeto singular, nico, y eso es lo que sucede con el espacio. ste no es un concepto porque no cubre una especie o un gnero que abarquen multitud de individuos, el espacio es nico. El conocimiento del espacio es intuitivo. En conclusin, el espacio es a priori y es intuitivo, es una intuicin a priori, o sea una intuicin pura.
6

Exposicin trascendental del espacio10. Trascendente es lo que existe en s

y por s, independientemente de m. Las vivencias son las percepciones,

Metafsica en Kant tiene dos acepciones: Conjunto de primeros principios (esta acepcin es inusual), y Conocimiento de los objetos que no estn en la experiencia. En este caso significa lo primero. 7 Kant, Immanuel, Crtica de la Razn Pura, Alfaguara, Espaa, 2000, Pg. 67 8 En contraste, el concepto es una unidad mental dentro de la cual estn comprendidos un nmero indefinido de seres y de cosas. Garca Morente, Manuel, Lecciones Preliminares de Filosofa, Editorial Diana, S.A., Mxico, 1957, Pg. 251. 9 La intuicin es el modo por medio del cual el conocimiento se refiere inmediatamente a [los] objetos Idem. Pg. 65. 10 Entiendo por exposicin trascendental la explicacin de un concepto como principio a partir del cual puede entenderse la posibilidad de otros conocimiento sintticos a priori. Idem. Pg. 70.

inmanentes a m, consistentes en una serie de sensaciones que vivo, relativas a un objeto que se encuentra fuera de m, que es trascendente. Para Kant, el objeto del conocimiento no es un objeto cuya realidad sea en s y por s, sin embargo no es una vivencia ma (como en Berkeley). Su realidad objetiva no es trascendente sino trascendental, que consiste en la relacin entre el sujeto y el objeto. No es una realidad en s sino en m. Trascendental es esa realidad que Aristteles llamaba trascendente pero despojada de ese carcter de intuido metafsicamente, existente en s y por s, y que ahora Kant convierte en una realidad en cuanto a que es objeto de conocimiento en relacin indisoluble con el sujeto cognoscente. Kant llama condiciones trascendentales de la objetividad a las condiciones que, partiendo del sujeto, han de realizarse para que el objeto sea en efecto objeto de conocimiento. En conclusin, mi conocimiento del espacio es intuitivo, luego entonces, el espacio es a priori y es intuitivo, es una intuicin a priori. ste no es un concepto porque no cubre una especie o un gnero que abarquen multitud de individuos. La geometra es la forma de toda intuicin posible. El espacio es la forma de la sensibilidad. El espacio no es una cosa, sino la forma a priori de todas las cosas, no es trascendente sino trascendental. El sujeto cognoscente le impone a las cosas la estructura del espacio. Las coincidencias entre la geometra y la realidad proceden de que la realidad forzosamente tiene que tener la forma de la geometra11. El espacio es la condicin trascendental de la posibilidad del conocimiento geomtrico12. La universalizacin y necesidad de los juicios sintticos, o sea, esa atribucin de todos y siempre a juicios particulares y contingentes, como son originalmente los
11

Garca Morente, Manuel, Lecciones Preliminares de Filosofa, Editorial Diana, S.A., Mxico, 1957, Pg. 258. 12 Garca Morente, Manuel, Lecciones Preliminares de Filosofa, Editorial Diana, S.A., Mxico, 1957, Pg. 263

sintticos, es razn pura en cuanto es una atribucin no derivada de la experiencia. La importancia de esta propuesta kantiana se puede apreciar si recordamos que para Descartes el yo, dios y la substancia extensa tienen existencia trascendente, para Berkekey el yo es trascendente, para Hume las vivencias tienen tal existencia. para Leibnitz las mnadas. Es Kant quien puede prescindir totalmente de la cosa en s como objeto de conocimiento y eso ha cambiado la historia del pensamiento filosfico hasta nuestros das. En lo que se refiere al tiempo, Kant realiza el mismo esfuerzo que sobre el espacio y lo expresa de la siguiente manera: Exposicin metafsica del tiempo13. Cualquier percepcin sensible es una

vivencia y toda vivencia es algo que acontece al yo e implica al tiempo ya que todo acontece es un sobrevenir, un advenir, un llegar a ser. El tiempo es el cauce donde todo lo que acaece acontece. Una intuicin nos da conocimiento de un objeto singular, nico, y eso es lo que sucede con el tiempo. ste no es un concepto porque no cubre una especie o un gnero que abarquen multitud de individuos, el tiempo es nico. El conocimiento del tiempo es intuitivo. En conclusin, el tiempo es a priori y es intuitivo, es una intuicin a priori, o sea una intuicin pura. Exposicin trascendental del tiempo14. Trascendente es lo que existe en s y

por s, independientemente de m. Las vivencias son las percepciones, inmanentes a m, consistentes en una serie de sensaciones que vivo, relativas a un objeto que se encuentra fuera de m, que es trascendente. As como el
13

El tiempo es una representacin necesaria que sirve de base a todas las intuiciones. [Los fenmenos] pueden desaparecer todos, pero el tiempo mismo (en cuanto condicin general de su posibilidad) no puede ser suprimido. Kant, Immanuel, Crtica de la Razn Pura, Alfaguara, Espaa, 2000, Pg. 74. 14 Idem, Pg. 75.

espacio es la fomra de la experiencia o percepciones externas, el tiempo es la forma de las vivencias o percepciones tanto internas como externas, o sea, que es la forma en que se percibe tanto los acontecimientos externos como los internos. El tiempo es otra forma de la sensibilidad, aparte del espacio. El tiempo no es una cosa, sino otra forma a priori de todas las cosas, no es trascendente sino trascendental. El sujeto cognoscente le impone a las cosas la estructura del tiempo. El tiempo es otra condicin trascendental de la posibilidad del conocimiento matemtico15. La matemtica es, como teora del tiempo y del espacio, la serie de condiciones de todo posible fenmeno. La esttica trascendental establece los fundamentos para el idealismo trascendental. Como esttica significa teora de la facultad de tener percepciones, o sea, teora de la sensibilidad. Como trascendental se refiere a esa realidad ya no trascendente en el sentido aristotlico, sino que concebida como objeto de conocimiento en relacin indisoluble con el sujeto cognoscente. Kant llama condiciones trascendentales de la objetividad a las condiciones que, partiendo del sujeto, han de realizarse para que el objeto sea en efecto objeto de conocimiento. As como la esttica trascendental estudia las condiciones bajo las cuales es posible una ciencia a priori de las matemticas, las condiciones que determinan a priori la forma de todo objeto posible, la analtica trascendental estudia las condiciones bajo las cuales es posible determinar a priori los objetos reales de la fsica. La deduccin trascendental, es la parte de la analtica trascendental que estudia cmo las categoras son las condiciones de la posibilidad de los juicios
15

Garca Morente, Manuel, Lecciones Preliminares de Filosofa, Editorial Diana, S.A., Mxico, 1957, Pg. 266.

sintticos a priori en la fsica, o sea, sin las categoras que son trascendentales no habra manera de atribuir universalidad y necesidad a los juicios sintticos que aumentan el conocimiento. En otras palabras, si la ciencia pretende universalidad y necesidad en sus juicios que aumentan el conocimiento, es mediante las categoras trascendentales que lo logra. Son trascendentales en cuanto es el sujeto cognoscente el que le atribuye las categoras a los objetos cognoscibles, o ms, solamente mediante esta construccin categorial de los objetos stos son cognoscibles. Ni el sujeto ni los objetos son trascendentes sino que son fenmenos no numenos. Es la metafsica, no la fsica, la que pretende conocer las cosas en s. Como dijimos antes, Kant parte de que la fsica acumula los conocimientos cientficos sobre los objetos que se expresan en forma de leyes. Para analizar cmo este conocimiento sinttico es universal y necesario, Kant parte del anlisis de los juicios. Hasta aqu, considero que estn expuestos los puntos kantianos fundamentales relativos a los juicios sintticos a priori y a los analticos a priori. Por lo tanto estamos preparados para entrar a la crtica que Quine hace de la distincin entre juicios sintticos y analticos.

10

3. Crtica de Quine a la distincin entre juicios sintticos y analticos. En un clebre texto filosfico16, Quine sostiene: el empirismo moderno ha estado condicionado en buena parte por dos dogmas. Uno es la creencia en una divisin fundamental entre verdades analticas, basadas en significados independientemente de hechos, y verdades sintticas, basadas en hechos. El otro dogma es el reduccionismo: la creencia de que cada juicio (statement) es equivalente a alguna interpretacin lgica sobre trminos que se refieren a una experiencia inmediata. Estos dogmas estn mal fundados. Un efecto de abandonarlos es la desaparicin de la supuesta frontera entre metafsica especulativa y ciencia natural, y otro es un cambio hacia el pragmatismo17. Kant concibi un juicio analtico como aqul que atribuye a su sujeto no ms de los que est ya conceptualmente contenido en el sujeto. Esta formulacin tiene dos defectos: se limita a juicios cuya forma sea sujeto-predicado, y apela a la nocin de contenido que deja en el mbito metafrico. El intento de Kant puede refrasearse as: un juicio es analtico cuando es verdadero en virtud de significados independientemente de hechos. Ahora bien, Por qu los analticos no requieren de la experiencia para fundar su valor de verdad? Ser que se basan en las esencias. Pero las esencias son metafsicas. Ser que se basan en la sinonimia. Veamos si podemos convertir el enunciado donde aparece una sinonimia en una verdad lgica (esto es lo que no puede ser falso), v.g. p=p. La realidad es que no se puede, porque si los solteros son p, no casados no es p.

16 17

Captulo II de Quine W. Van O., From a Logical Point of View, Harvard University Press, 1961. Quine W. Van O., From a Logical Point of View, Harvard University Press, 1961, Pg. 20.

11

Ser que se basan en la sinonimia por definicin. Si vamos al diccionario encontramos que soltero es no casado. Sin embargo, el diccionario se basa en sinonimias encontradas en el uso. Entonces es un argumento circular, o sea, una peticin de principio.

Ser que se basa en la intercambiabilidad de enunciados. Dos trminos son intercambiables en todo contexto, si no se altera el valor de verdad salva veritate. Sin embargo, hay contextos en que esto no ocurre. No todos los conceptos coextensionales son intercambiables (algunos s: 9=nueve) como ejemplo criatura con corazn criatura con riones.

Ser que se basa en reglas semnticas. V.g. siempre que se diga soltero quiere decir no casado. Pero en qu nos estaramos apoyando?, pues en sinonimias establecidas por el uso, no en verdades a priori.

Enseguida, Quine pasa a examinar, en la historia de la filosofa, el origen de la analiticidad. As, recuerda que es lugar comn en filosofa oponer la intension (o significado, meaning) o connotacin, con la extension o denotacin (a la clase de todas las entidades de las cuales un trmino general es verdadero se le llama extension of the term)18. La nocin aristotlica de esencia fue la anticipacin de la nocin moderna de intension o significado. Las cosas tienen esencia, para Aristteles, pero slo las formas lingsticas tienen significado. El significado es lo que la esencia llega a ser cuando se divorcia del objeto de referencia y se casa con la palabra. Una vez que la teora del significado es separada de la teora de la referencia, es fcil reconocer como el asunto primario de la teora del significado es, simplemente, la sinonimia de las formas lingsticas y la analiticidad de los juicios. Los significados en si mismos, como obscuras entidades intermediarias, son olvidados.19
18 19

Idem, Pg. 21. Idem, Pg. 22

12

Los juicios analticos son de dos clases: (1) Aquellos que pueden denominarse lgicamente verdaderos, Ningn hombre no casado es casado. Este juicio permanece verdadero bajo cualquier reinterpretacin de hombre o de casado. (2) Aquellos que pueden ser transformados en verdades lgicas poniendo sinnimos por sinnimos, ejemplo: ningn soltero es casado. Aqu, segn Quine, la sinonimia no est menos necesitada de clarificacin que la analiticidad20. En la medida en que nuestro problema es la analiticidad, la dificultad no reside en la primera clase de juicios analticos (1) sino en los de la segunda (2). Enseguida, pasa Quine a examinar las posibilidades de la definicin, como explicacin de la analiticidad, considerando que hay quien dice que los juicios analticos de la segunda clase se reducen a aquellos de la primera clase que son por definicin. Ejemplo, soltero se define como no casado. Pero quin define as? El diccionario. El lexicgrafo es un cientfico emprico cuyo trabajo consiste en registrar y reportar hechos, y si define soltero como no casado es porque cree que existe tal sinonimia implcita en el uso previo a su propia clasificacin. La sinonimia reportada as no puede considerarse como la base de la sinonimia21. Dicho en otras palabras, la sinonimia no es a priori. Las reglas de traduccin en los sistemas formalizados son las llamadas definiciones, que se pueden ver no como adjunciones a un lenguaje sino como correlaciones entre dos lenguajes, uno parte del otro. Por tanto, tampoco son a priori.
20 21

Idem, Pg. 22. Idem, Pg. 24.

13

Tanto en los trabajos formales como en los informales, encontramos que la definicin depende de relaciones previas de sinonimia. Luego la nocin de definicin no tiene la clave para comprender la sinonimia ni la analiticidad. Por esta razn, Quine propone adentrarse en la sinonimia y abandonar, por infrtil, la va de la definicin. Igual que lo hizo con la definicin, Quine analiza si el concepto de intercambiabilidad es ms conducente para el examen de la analiticidad22. La sinonimia de dos formas lingsticas consiste simplemente en su

intercambiabilidad en todos los contextos sin cambiar el valor de verdad (intercambiabilidad, en la frase de Leibniz, salva veritate). No nos ocupamos aqu de la sinonimia en el sentido de completa identidad en asociaciones psicolgicas o en calidad potica; en verdad no hay dos expresiones sinnimas en este sentido. Nos ocupamos de lo que podemos llamar sinonimia cognitiva. La sinonimia cognitiva de trminos la podemos explicar as: decir que un soltero y un hombre no casado son cognitivamente sinnimos es decir ni ms ni menos que es analtico el juicio: Todos y slo los solteros son hombres no casados. Lo que se necesita, dice Quine, es una explicacin de sinonimia cognitiva no presuponiendo analiticidad. La cuestin es si la intercambiabilidad es suficiente condicin para la sinonimia cognitiva. Lo que equivaldra a decir que ejemplos como Necesariamente todos y slo los solteros son solteros
22

Idem, Pg. 27-32.

14

Luego si soltero y hombre no casado son intercambiables salva veritate, resulta que Necesariamente todos y slo los solteros son hombres no casados. Quine sostiene que en este argumento hay algo que le da un aire de truco o trampa (hocus-pocus). Veamos qu es. Un lenguaje es extensional en el sentido de que cualquiera dos predicados que concuerden en sus extensiones (o sea, que son verdaderos respecto de los mismos objetos) son intercambiables salva veritate. La concordancia extensional es la ms cercana aproximacin a la sinonimia que necesitamos. Pero tal concordancia se queda corta respecto de la sinonimia cognitiva requerida para considerar sinnimos soltero y hombre no casado con la analiticidad de (3) y no meramente con la verdad de (3). Por tanto, la intercambiabilidad salva veritate, interpretada en relacin con un lenguaje extensional, no es condicin suficiente de sinonimia cognitiva en el sentido necesario para derivar analiticidad. Por tanto, slo podemos considerar que dos formas lingsticas como cognitivamente sinnimos cuando las dos formas sean intercambiables salva (ya no veritate) sino analicitate. Posteriormente, Quine examina si la analiticidad resulta ms naturalmente definible apelando a los significados23. Quine trata de probar que es una confusin el considerar que la dificultad para separar los juicios analticos de los sintticos se debe a la vaguedad del lenguaje
23

Idem, Pg. 32-36.

15

ordinario y que la distincin es clara cuando tenemos un lenguaje artificial preciso con explcitas reglas semnticas24. Para realizar dicha prueba, Quine explica que la nocin de analiticidad que nos debe preocupar es una supuesta relacin entre juicios y lenguajes, lo que equivale a decir que un juicio S es analtico para un lenguaje L. El problema es que esta relacin efectivamente tenga sentido. Sin embargo, debe considerarse, dice nuestro autor, que la palabra postulado es significante slo en relacin con un acto de investigacin; la aplicamos a un grupo de juicios en la medida en que estemos pensando en tales juicios en relacin con los juicios que pueden ser alcanzados desde ellos, mediante algn grupo de transformaciones a las cuales consideremos apropiado dirigir nuestra atencin25. Podra decirse que un lenguaje artificial L es un lenguaje en el ordinario sentido siempre que cuente adems con un grupo de reglas semnticas explcitas, cuya totalidad constituye un orden par. Por lo que cabe concluir que la verdad, en general, depende de ambos lenguajes y de hechos extralingsticos. En algunos juicios el componente fctico debe ser nulo; estos son los juicios analticos. Pero, dice Quine, no hemos trazado una frontera entre los juicios analticos y sintticos y que haya tal distincin resulta ser un dogma no emprico de los empiristas, o sea, un artculo metafsico de fe26. La teora de la verificacin del significado, consiste en que el significado de un juicio es el mtodo de confirmacin emprica. Un juicio analtico es aqul caso lmite el cual es confirmado en todo caso. En realidad, dice Quine, lo que la teora
24 25

Idem, Pg. 32. Idem, Pg. 35. 26 Idem, Pg. 37.

16

de la verificacin dice es que los juicios son sinnimos si y slo si son iguales en cuanto al mtodo emprico de confirmacin. Esta es una explicacin de sinonimia cognitiva no de formas lingsticas sino de juicios27. La conclusin a la que Quine llega es que se puede definir analiticidad en trminos de sinonimia de juicios junto con verdad lgica; por lo que no es necesario recurrir a la sinonimia de formas lingsticas diferentes de los juicios. Esto, en virtud de que un juicio puede ser descrito como analtico simplemente cuando es sinnimo de un juicio lgicamente verdadero. Debo decir, finalmente, que la exposicin que he hecho de los conceptos sobre analiticidad, sostenidos por Quine en contra de la distincin entre juicios sintticos y juicios analticos, constituyen una aportacin celebrada por importantes corrientes filosficas contemporneas. Sin embargo, dicha exposicin debe ser complementada sobre la argumentacin que dicho autor ha elaborado sobre el reduccionismo, al cual considera, como dijimos arriba, el segundo dogma del empirismo que, segn l, ha obstaculizado el desarrollo de la filosofa y que, por ende, debe abandonarse.

27

Idem, 37.