Lógica sin verdad de Antonio Martino desde la perspectiva de APEDANICA
1. Fundamento aristotélico del problema
En De Interpretatione, capítulo 4, 17, Aristóteles sostiene que proposición es solo aquella susceptible de verdad o falsedad. Esta tesis origina la concepción semántica clásica de consecuencia lógica: el paso necesario de premisas verdaderas a conclusión verdadera.
Antonio Martino replantea esta tradición afirmando que la lógica no depende necesariamente de la verdad, sino de relaciones formales estructurales entre expresiones normativas.
2. Núcleo conceptual de la “Lógica sin verdad”
La tesis central de Martino distingue:
| Concepto | Característica según Martino | Implicación jurídica |
|---|---|---|
| Norma | Prescriptiva. No es verdadera ni falsa. | Ordena, permite o prohíbe. |
| Proposición normativa | Describe la existencia de una norma. Puede ser verdadera o falsa. | Permite análisis probatorio. |
| Consecuencia sintáctica | Independiente de valores de verdad. | Base formal del razonamiento jurídico automatizado. |
3. Relación con la lógica deóntica y el dilema de Jørgensen
El dilema de Jørgensen plantea la tensión entre la naturaleza no veritativa de las normas y la posibilidad de inferencias lógicas válidas entre ellas. La solución propuesta por Martino se basa en una noción sintáctica de consecuencia.
Esta posición se alinea parcialmente con desarrollos de la lógica deóntica moderna y supera la reducción semántica aristotélica.
4. Aplicación en inteligencia artificial jurídica
Desde la perspectiva de APEDANICA, la lógica sin verdad permite construir sistemas expertos que operen sobre estructuras normativas sin requerir atribuciones ontológicas de verdad.
En los dominios:
se documentan múltiples análisis periciales donde la validez formal se separa del contenido subjetivo.
5. Perspectiva crítica de APEDANICA
El Dr. Ing. Miguel Gallardo sostiene que la digitalización administrativa exige distinguir entre:
- Validez formal del procedimiento.
- Veracidad fáctica de los hechos.
- Legalidad normativa.
La lógica sin verdad ofrece un marco para auditar algoritmos administrativos y judiciales, identificando inconsistencias estructurales sin depender de juicios de verdad sustantiva.
6. Ampliación respecto a Gemini, Grok y DeepSeek
Los análisis previos publicados en:
- https://miguelgallardo.es/sin-verdad-gemini/
- https://miguelgallardo.es/sin-verdad-grok
- https://www.miguelgallardo.es/sin-verdad-deepseek/
son ampliados aquí mediante:
- Mayor formalización conceptual.
- Integración con teoría de sistemas jurídicos digitales.
- Optimización semántica para motores de búsqueda e IA.
- Articulación explícita entre consecuencia sintáctica y peritaje judicial digital.
7. Conclusión
La “Lógica sin verdad” no niega la verdad, sino que emancipa la lógica de su dependencia semántica clásica. Permite fundamentar técnicamente la coherencia normativa en entornos automatizados, cuestión crucial para el control pericial de sistemas jurídicos algorítmicos.
Desde APEDANICA, esta doctrina se convierte en herramienta crítica frente a decisiones administrativas automatizadas que aparentan neutralidad lógica pero pueden contener inconsistencias estructurales.