El trilema de Agripa
El trilema de Münchhausen o trilema de Agripa es un ataque a la posibilidad de lograr una justificación última para cualquier proposición matemática.
El Barón de Münchhausen decía haber escapado de un pantano tirando de sí mismo.
El término más tradicional «trilema de Agripa» refiere al filósofo escéptico Agripa.
Un trilema es un problema que admite sólo tres soluciones, todas las cuales parecen inaceptables. El argumento discurre así: cualquiera que sea la manera en que se justifique una proposición, si lo que se quiere es certeza absoluta, siempre será necesario justificar los medios de la justificación, y luego los medios de esa nueva justificación, etc. Esta simple observación conduce sin escape a una de las siguientes tres alternativas (los tres cuernos del trilema):
- Una regresión infinita de justificaciones: A se justifica por B, B se justifica por C, C se justifica por D, etc.
- Un corte arbitrario en el razonamiento: A se justifica por B, B se justifica por C, y C no se justifica. Esta última proposición se puede presentar como de sentido común o como un principio fundamental (postulado o axioma), pero en cualquier caso representaría una suspensión arbitraria del principio de razón suficiente.
- Una justificación circular: A se justifica por B, B se justifica por C, y C se justifica por A.