Conversación: Ser predicativo y existencial (resumen). Índice: documentos.
Hay dos usos del verbo ser que la gramática confunde y la metafísica separa:
| Uso | Qué dice | Ejemplo |
|---|---|---|
| Predicativo | Lo que una cosa es: sus atributos, su esencia | «Bucéfalo es un caballo», «el caballo es un animal» |
| Existencial | Que una cosa es, sin más | «Bucéfalo existe» |
La tesis de Oriol: lo existencial queda fuera de lo que la lógica puede decir. La lógica son unas gafas que permiten ver atributos y esencias, y no dicen nada de lo que existe.
Frege y Russell parecen refutar la tesis: la lógica moderna sí tiene un signo para la existencia, el cuantificador «hay al menos un x tal que…». Si se puede escribir ∃x Fx, la existencia está dentro de la lógica.
La respuesta es que el cuantificador dice menos de lo que parece. Afirma que un concepto no está vacío, que tiene casos; no dice qué es que algo exista. En la formulación de Frege, la existencia es una propiedad de segundo orden, un rasgo de conceptos y no de objetos, lo que en realidad confirma a Kant en lugar de refutarlo: justo porque «existe» no es un predicado de primer orden hace falta un cuantificador para decirlo.
De ahí la formulación afinada de la metáfora: la lógica puede decir que algo cae bajo un concepto, pero no qué es que algo exista.
Es la pregunta que Oriol dejó abierta («cuál es el grado de existencia de un objeto matemático o de un objeto físico»), y es el banco de pruebas de la tesis.
| Postura | Tesis | Qué hace con la distinción |
|---|---|---|
| Platonismo (Gödel) | Los objetos matemáticos existen con independencia de nosotros, y los captamos por una suerte de intuición | Mantiene la distinción: existir es más que ser consistente |
| Consistencia como existencia (Hilbert) | En matemáticas, existir es no ser contradictorio | La borra: la lógica decidiría lo que existe |
| Dilema de Benacerraf | O bien se da una semántica uniforme con la del resto del lenguaje —y entonces no se ve cómo conocemos esos objetos—, o bien se salva la epistemología y se pierde la verdad | Muestra que el coste se paga en un lado o en el otro |
Hilbert parece llevar la contraria a la tesis. La lectura que propongo es la inversa: la consistencia muestra posibilidad formal, no existencia efectiva. Que un sistema no se contradiga garantiza que podría haber algo así, no que lo haya. Leído de este modo, Hilbert no cruza la frontera: la dibuja con precisión, porque muestra hasta dónde llega lo que la lógica puede certificar.
La distinción refuerza la tesis general por una vía distinta a la de las lógicas no clásicas. En el Mapa de las grietas lógicas, cada grieta aparece cuando un principio clásico falla en una región del ser. Aquí no falla ningún principio: la lógica funciona perfectamente y, aun así, hay algo de lo que no puede hablar. Es un límite por alcance, no por avería — más cercano al «de lo que no se puede hablar» del Tractatus que a la paraconsistencia.
Y tiene un corolario que conviene dejar escrito, porque la conversación lo rozó: que la lógica no alcance la existencia no implica que todo valga. La vía negativa de Eckhart es exigente en desapego y en justicia; el límite de lo decible no es una licencia moral.
Ninguna se citó en la conversación. Mínimos para apoyarlo: