Ruben
Por lo que veo el vídeo no es sobre lo que comentaba, sino sobre otro argumento del mismo filósofo. Yo me refería a esto: (le he pedido a Claude un resumen)
El Argumento Ontológico Modal de Alvin Plantinga
Plantinga reformula el argumento ontológico clásico de Anselmo usando la lógica modal (la lógica de lo posible y lo necesario), dándole una forma mucho más rigurosa.
El concepto clave: Grandeza Máxima (Maximum Greatness)
Plantinga introduce la noción de un Ser Maximalmente Grande (BMG): un ser que posee grandeza máxima en todos los mundos posibles. Esto incluye:
- Omnipotencia (poder ilimitado)
- Omnisciencia (conocimiento ilimitado)
- Omnibenevolencia (bondad perfecta)
- Y crucialmente: existencia necesaria — no puede dejar de existir en ningún mundo posible
La diferencia con Anselmo es que Plantinga no infiere directamente de la definición a la existencia, sino que trabaja desde la posibilidad.
La estructura del argumento
P1. Es posible que exista un Ser Maximalmente Grande (es decir, en algún mundo posible existe tal ser).
P2. Si un Ser Maximalmente Grande es posible, entonces existe en algún mundo posible.
P3. Un ser que existe en algún mundo posible con grandeza máxima existe en todos los mundos posibles (porque la existencia necesaria es parte de la grandeza máxima).
P4. El mundo actual es un mundo posible.
∴ Conclusión: Un Ser Maximalmente Grande existe en el mundo actual. Es decir, Dios existe.
La lógica modal detrás
Plantinga usa el sistema modal S5, donde:
Si algo es posiblemente necesario, entonces es necesario.
En notación simbólica:
◇□P → □P
(Si es posible que P sea necesariamente verdad, entonces P es necesariamente verdad)
Esto es la pieza clave: si el BMG puede existir (◇), y si existe lo hace necesariamente (□), entonces de hecho existe necesariamente.
¿Por qué es filosóficamente interesante?
A diferencia del argumento cosmológico o teleológico, este argumento es puramente a priori — no depende de evidencia empírica, sino solo de conceptos y lógica. Plantinga lo considera no una prueba en sentido estricto, sino una demostración de que la creencia en Dios es racionalmente permisible.
Las principales objeciones
| Objeción | Contenido |
|---|---|
| La objeción de la paridad (Gaunilo/Oppy) | Se puede usar el mismo esquema para probar la existencia de una "isla maximalmente grande" u otras entidades absurdas |
| ¿Es coherente la grandeza máxima? | Quizás la noción misma de un ser con todas las perfecciones en todos los mundos es conceptualmente incoherente |
| El problema de P1 | Conceder que el BMG es posible ya es conceder demasiado — un ateo diría que esa posibilidad no es obvia |
| Argumento espejo | Con la misma lógica se puede argumentar que es posible que no exista ningún ser necesario, lo cual implicaría que Dios no existe en ningún mundo |
La respuesta de Plantinga a las críticas
Plantinga reconoce que el argumento no compele a creer a quien rechace P1. Su punto es más modesto: quien encuentre P1 intuitivamente plausible tiene razones racionales para creer en Dios. El argumento muestra que el teísmo no es irracional, no que sea irresistible.
En sus propias palabras, el argumento establece que la creencia en Dios tiene "warrant" epistémico — está justificada aunque no sea demostrable con certeza absoluta.