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.