Ontología por cuantificación

En 'On What There Is' Quine propone que la existencia se determina por el papel que una entidad juega en la lógica formal: existir significa poder aparecer como valor de una variable vinculada por un cuantificador existencial. Esta idea traslada la pregunta ontológica desde intuiciones metafísicas hacia la estructura del lenguaje formal; lo que cuenta como real depende de lo que el sistema lógico permite cuantificar y de cómo construimos nuestras teorías científicas y matemáticas.

Ramificaciones para filosofía y ciencia

La consecuencia práctica es que el esfuerzo ontológico se vuelve metodológico: para saber a qué estamos comprometidos basta analizar las fórmulas y sus cuantificadores. Eso refuerza una orientación parsimoniosa y explica por qué las discusiones sobre objetos abstractos, propiedades o universales suelen terminar en disputas sobre formalización y conveniencia teórica. Al mismo tiempo, queda abierta la tensión entre el rigor lógico y las intuiciones sobre lo que merece llamarse existente.