Objeciones a «El todo es mayor que su parte» formulado por Leibniz

Leibniz, en Demostración de las proposiciones primarias, pone un ejemplo de las llamadas proposiciones de razón: «El todo es mayor que su parte».

He comentado muchas veces esta proposición, ya sea en la formulación dada por Aquino, Leibniz, Kant o cualquier otro. Ahora intentaré hacerlo detenidamente y con precisión.

 NOTA EN 2013: escribí el texto cuando estudiaba filosofía, no sé si en la universidad o por mi cuenta, y se trata de una nota de uso privado, por lo que puede estar expresada en un lenguaje especializado o incomprensible. Por eso, aclaro, para los no expertos en filosofía, que proposiciones de razón son aquellas que son verdad en sí mismas, por su misma fuerza lógica, digamos que sin necesidad de comprobarlas en el mundo exterior. Así, si decimos que en mi calle hay 34 portales, eso no es una proposición de razón, pues para estar seguros de que hay 34 portales debemos recorrer la calle y comprobar cuántos portales hay. Sin embargo, las proposiciones de razón son verdaderas sin necesidad de ninguna comprobación, como esa que propone Leibniz y a la que yo haré algunas objeciones a continuación: «El todo es mayor que su parte»

PRIMERA OBJECIÓN
En el dominio de los entes de razón, se puede hallar un fácil ejemplo de que no siempre el todo es mayor que la parte: el conjunto de los números impares es una parte del conjunto de los números enteros y, no obstante, no es menor, sino igual: ambos son infinitos.

En efecto, siempre se podrá emparejar un número de la parte (los números impares) con uno del todo (los números enteros). Hay que notar que resulta curioso que una proposición de razón no sirva para el mundo de los entes de razón.

NOTA en 2013: los entes de razón son, por ejemplo, los números y otras criaturas matemáticas, que no existen en el mundo real, aunque se pueden aplicar a él. La última afirmación: «Hay que notar que resulta curioso que una proposición de razón no sirva para el mundo de los entes de razón», se refiere a que las proposiciones de razón se pueden aplicar tanto al mundo de los entes de razón (los de las matemáticas) como al de los entes de hecho (las cosas materiales, por ejemplo, como una manzana concreta).  Es por esa razón que resulta curioso que exista una excepción a la proposición de razón «El todo es mayor que su parte» precisamente en el mundo de los entes de razón. Más abajo, en una respuesta a un comentario a esta entrada explico con más detalle por qué el todo no es siempre mayor que la parte en el dominio de las matemáticas.

SEGUNDA OBJECIÓN
En cuanto al mundo de los entes de hecho, se me ocurre un ejemplo a vuelapluma:

Sea el todo: «Los habitantes de la ciudad A»,

Sea la parte: «Los habitantes varones de la ciudad A».

Intuitivamente parece claro que, en este caso, la parte ha de ser menor que el todo.

Pero esto sólo sucede si conocemos a todos los habitantes de la ciudad A.

Dicho de otro modo, sólo es cierto si sabemos que al menos hay una mujer en la ciudad A.

Con esto, que puede parecer ingenuo a primera vista, quiero decir:

a) La distinción entre el todo y la parte es inductiva
Es decir, hay ciudades (casi todas ellas) en las que las propiedades del todo y la parte, definidas a la manera de Leibniz, son perfectamente aplicables, pero hay otras, por ejemplo la comunidad de monjes del monte Athos, en las que no lo son.

b) Debido a lo anterior, se sigue que la aplicación del axioma cuando las variables son sustituidas por ciertas constantes depende de la definición del dominio de aplicación (en este caso: «ciudad A», «Madrid» o «Comunidad del monte Athos»], de tal modo que no nos hallamos ante un axioma efectivo en todos los casos posibles.

En cierto modo, esta objeción tiene que ver con la de Carnéades al silogismo.

TERCERA OBJECIÓN

Me pregunto si es válida esta tercera objeción al axioma, que he pensado ahora:

Sea el todo: el conjunto de todos los vasos de colores.

Sea la parte: el color azul (puesto que hay vasos azules)

En este caso, la parte es probablemente mayor que el todo, aunque se produce también una especie de solapamiento entre los vasos, el color azul y los objetos azules.

No estoy seguro de la validez de esta objeción, pues se podría decir:

No es posible definir el color azul como parte del conjunto de los vasos de colores. En todo caso habría que decir «los vasos azules» o «el color de los vasos azules».

Sin embargo, también se puede argumentar lo siguiente:

El todo es: «los lápices de colores»

La parte es: «el grafito»

Si tenemos el conjunto de los lápices de colores y tomamos un elemento de tal conjunto (un lápiz concreto), podemos decir perfectamente que el grafito es una parte de ese lápiz y la madera otra parte (la tercera parte fundamental sería el pegamento que las une).

Tal vez esta tercera objeción podría relacionarse con la segunda.

Por otra parte, tengo la sensación de que el argumento clásico de la Escuela de los Nombres («Un caballo blanco no es un caballo») podría ser aplicado aquí.

Leibniz