La matemática pura en Kant y algunas consideraciones de
Teoría de Conjuntos
César Edmundo Carro Garcés
UNAM, Facultad de Filosofía y Letras Historia de la Filosofía 6
Introducción
Como lo dice el nombre de este ensayo, tengo el propósito de exponer lo
que Kant entiende por Matemática pura y de mi parte incluir algunos consideraciones de Teoría de Conjuntos (TC). ¿Sobre qué consideraciones estoy hablando específicamente? Resulta relevante poder relacionar la forma en la que Kant entiende la matemática, desde los términos que emplea para poder hablar de la misma (e.g., a priori, intuición pura, necesidad, universalidad), y algunos conceptos fundamentales de la TC (e.g., Conjunto, relación de pertenencia, elemento, etc.), estos conceptos serán las consideraciones de las que tomaré en cuenta.
Propongo empezar por primero establecer lo que Kant entiende por
matemática pura; para tal propósito tengo como objetivo establecer de manera general la comprensión de ciertos conceptos que Kant usa tanto en la Crítica de la Razón Pura y como en Prolegómenos a toda metafísica pura. Establecer dichos conceptos me permitirá poder definir de manera general lo que debemos entender, desde Kant, por matemática pura. Mi segundo propósito, y como segunda parte, me dedicaré a exponer algunos conceptos de TC que me permitirán poderlos caracterizar desde los conceptos que Kant usa para caracterizar a la matemática. No exigo de mi lector ningún conocimiento previo de TC, pues no profundizaré más de lo debido sobre TC, sino sólo detallando algunas nociones claves de ésta que para fines de este ensayo resultan de lo más intuitivo.
Como parte final, detallaré como algunos conceptos propios de la TC son
los objetos que el mismo Kant refiere que pertenecen a lo que él entiende por matemática pura.
1. La matemática pura en Kant
Desde la parte introductoria y desde la primera parte de la Estética
Trascendental, en la Crítica de la razón pura, Kant hace minuciosos detalles sobre los términos que empleará para llevar acabo el proyecto de la crítica.
Primero, Kant entenderá por a priori aquel conocimiento que no proviene
absolutamente de la experiencia, a saber éste conocimiento puede darse a partir de reglas universales (Kant 2010, pp. 41). Dado el conocimientoa priori, podemos dar juicios que conservan la característica de necesario y universales.
Si bien la manera en la que podemos obtener el conocimiento a priori de
puede obtener mediante el análisis de los conceptos que poseemos de los objetos, sólo detalle se puede obtener una forma de explicar dichos conceptos pues no amplían el margen de conocimiento de dichos objetos.
Expliquemos de una vez la distinción entre Analítico y Sintético. Kant
entiende por enunciado Analítico todo aquel enunciado en el que el predicado está incluido en el sujeto o concepto (e.g., “Ningún soltero es casado”); por otra parte, Kant entenderá por enunciado Sintético todo aquel enunciado donde el predicado no está incluido en el concepto (e.g., “Las mariposas son rojas”). Kant entenderá por intuición el modo por medio del cual el conocimiento se refiere inmediatamente a los objetos y es aquello a que apunta todo pensamiento en cuanto medio (Kant 2010, pp. 61). Por sensibilidad se entenderá la capacidad de recibir representaciones al ser afectados por los objetos (Kant 2010, pp.61). Por medio de la sensibilidad es como podemos de alguna manera obtener las intuiciones. La representaciones en las que no se encuentra nada perteneciente a la sensación Kant las llama puras Kant 2010, pp. 62. Y por intuición pura se entenderá las formas puras de las intuiciones sensibles donde se intuye en ciertas relaciones toda la diversidad de los fenómenos , se hallará a priori en el psiquismo.
Ahora bien ¿cómo podemos entender a la matemática? En general, Kant
piensa que el conocimiento de la matemática es a priori. Esto se debe a que, en primera instancia, parece haber una fundación del conocimiento matemático por medio de reglas que construyendo el edificio de los campos de la matemática como sus extensiones; tomemos el caso de la aritmética o el de la geometría. Y a su vez, en ambas áreas de las matemáticas parece predominar las intuiciones puras -i.e., las intuiciones puras del espacio y tiempo.
En los prolegómenos encontraremos que los objetos matemáticos deben
constituirse en la intuición y deben ser a priori (iKant 2010, pp.646). Kant considería que incluso a partir de los mismo objetos intuitivos de la matemática, deberían seguirse también de los juición la intuición de tales juicios.
Para sostener todo lo anteriormente dicho, Kant sostendrá que la
matemática como tal pone la intuición pura del espacio y del tiempo como fundamentales para el conocimiento y juicios de la misma. De los que, según Kant, se sigue la necesidad de los mismos. En principio la matemática como tal presenta los objetos en las intuiciones, mientras que la matemática pura en las intuiciones puras. ¿Cómo es esta distinción? Podemos distinguir por medio de ejemplos: En el caso de los objetos representados en la mera intuición, podemos representar los objetos matemáticos a partir de la intuición del espacio, donde podemos manejar por medio de la sensibilidad el concepto de la distancia de dos objetos; mientras que en la matemática pura podemos incluso deshacernos de todo contenido y quedarnos con las meras intuiciones puras(en este caso, de la intuición pura del espacio) y fundar el concepto de distancia de manera pura, a saber, desde puntos, líneas, plano cartesiano.
Siguiendo con el argumento, en el caso de la Aritmética, dice Kant, hace
efectivo su concepto de número por la adición sucesiva de la unidad en e tiempo (Kant 2010, pp.649). Y siguiendo a Kant, el deshacernos de toda sensibilidad, l final nos quedarían meras formas de los objetos por lo que nos quedaríamos con meros conceptos propios de la intuición a priori.
2. - Algunas consideraciones de Teoría de Conjuntos
La TC surge de la necesidad de poder fundamentar las matemáticas para ello se necesita un lenguaje y conceptos que pudieran capturar los conceptos más básicos de la matemática -en general, todo apunta a que deba ser la aritmética el punto de partida a fundamentar de todo este aparato de la TC).
Una de las nociones más básica, e intuitiva, de la TC, es la de conjunto y la
de relación de pertenencia. Típicamente hay un forma muy común de poder hablar de un conjunto, desde su forma extensional y su forma intensional 8éste último se distingue más como una clase), por ahora no será mi propósito detallar la distinción. La relación de pertenencia es muy común detllrla como un relación de “x pertenece A”. La simbología es la siguiente:
Queremos decir que x pertenece a A: x∈A. Si quisiéramos hablar de que un
conjunto contiene a otro conjunto: A∈{A}; evidentemente se puede observar como el conjunto de corchetes contiene a A. Con esto último podríamos incluso hablar sobre conjuntos que contienen conjuntos o elementos.
¿Qué es un conjunto y cómo se relaciona con lo habla Kant? Podemos tal
vez pensar que la idea de conjunto puede remitirnos a la idea de un caja que contiene objetos. Pongamos en mente la caja que contiene osos de peluche. Sin embargo, queremos que la noción de concepto pertenezca a nuestra lista de conceptos puros de la intuición. Es propio de nuestra forma de entender que cuando podemos cpturar objetos sobre ciertos conceptos, lo hacemos pensando que todo objeto x que contenga cierta propiedad caiga dentro de un concepto. Por ejemplo:
Las cosas que son perro: {x: x es un perro}
Y de esa forma capturar cualquier objeto dentro de un conjunto. ¿Pero no es
acaso esta forma de capturar los objetos en un conjunto una intuición pura para poder generar conceptos y poder hablar sobre objetos? Pienso que Kant mencionaría que la forma en la que podemos coleccionar ciertas cosas mediante un conjunto se podría dar en la experiencia, sin embargo ésta forma de poder concretar todo objeto mediante un conjunto parece tener una fundamentación en las intuiciones puras.
Podríamos analizar la noción de conjunto en consideración de la noción de
pertenencia como intuiciones que pueden tener una prioridad epistemológica. Y resulta relevante, ya que podemos construir los números por medio de los conjuntos y sus operaciones básicas. Incluso, parece que ontológicamente el conjunto precede a los números, pues es mediante la capturación de un concepto por medio de un conjunto como podemos hablar de cosas, números, etc; distinguir tales cosas por medio de ese conjunto.
Bibliografía
Kant, Immanuel, 2010. Crítica de la razón pura, Prolegómenos a toda
metafísica pura, Relato de la vida y el carácter de Immanuel Kant. Madrid, Gredos.