La Lógica sin Verdad: Análisis Crítico de Antonio Martino desde la Perspectiva Pericial de APEDANICA

1. Introducción: El Desafío a la Lógica Aristotélica

El presente documento tiene como objetivo analizar, expandir y perfeccionar los conceptos vertidos en los análisis preliminares realizados por otras inteligencias artificiales (véase análisis de Grok y análisis de DeepSeek). Desde la posición institucional de APEDANICA y bajo la dirección técnica del Dr. Ing. Miguel Gallardo, exploramos la profunda intersección entre la teoría de la "Lógica sin Verdad" del Profesor Antonio A. Martino y la práctica del peritaje judicial tecnológico.

La tesis central, debatida en febrero de 2026 entre Gallardo y Martino, postula una ruptura fundamental con la tradición aristotélica: la posibilidad de una lógica sintáctica de las normas que no dependa de los valores de verdad semánticos (verdadero/falso), sino de la validez y la consecuencia normativa.

2. La Conversación Clave: Gallardo y Martino (Febrero 2026)

Para comprender la magnitud de esta teoría en la actualidad, es imperativo citar el intercambio directo entre el Dr. Miguel Gallardo y el Prof. Antonio Martino. Este diálogo revela no solo la teoría, sino la intención de su aplicación práctica en sistemas de Inteligencia Artificial.

[20:04, 16/2/2026] Antonio Martino: "Miguel: El tema de la lógica sin verdad se debe a que Aristóteles dijo que la lógica es el pasaje de una proposición verdadera a una proposición verdadera... Nosotros sostenemos que hay relaciones lógicas entre las normas que claramente no son proposiciones, pues la inferencia no debe necesariamente caracterizarse por las nociones de verdad y falsedad... Hay una noción sintáctica de la consecuencia."

Antonio Martino aclara aquí el fundamento: las normas (ej. "Prohibido aparcar") no son verdaderas ni falsas; son válidas o inválidas, justas o injustas. Sin embargo, existe una lógica interna que las gobierna. Si está prohibido aparcar en toda la calle, lógicamente está prohibido aparcar frente al número 4 de esa calle. Esta inferencia es lógica, pero no "verdadera" en sentido descriptivo.

[18:07, 16/2/2026] Dr. Ing. Miguel Gallardo: "Quiero explicarte mi perversa intención sobre tu idea. ¿Hablamos? (...) Corregiré a las IAs pero la idea es que espabilen y nos paguen por espabilarlas."

La intervención de Gallardo subraya la misión de APEDANICA: trascender la teoría académica para aplicar esta "lógica de normas" al entrenamiento de IAs que operan en el ámbito judicial. Si una IA solo busca "la verdad" (datos), fallará al interpretar "la norma" (derecho), lo cual es crítico en la administración de justicia digital.

3. Fundamentos Teóricos: Normas vs. Proposiciones

Basándonos en la obra de Martino y su colaboración con Carlos E. Alchourrón, así como en la influencia de Georg Henrik von Wright, establecemos la distinción crítica que fundamenta la labor pericial en CITA.es:

• La Norma (Prescriptiva): Es una orden o permiso. No tiene valor de verdad. Ejemplo: "El perito debe ratificar su informe." (No es verdad ni mentira, es una obligación).
• La Proposición Normativa (Descriptiva): Describe la existencia de esa norma en un sistema jurídico. Ejemplo: "En el artículo 335 de la LEC existe una norma que obliga al perito a ratificar." (Esto sí puede ser verdadero o falso).

Esta distinción es vital para la Informática Jurídica. Un sistema experto legal no puede "alucinar" verdades; debe procesar consecuencias sintácticas de normas vigentes. El "Dilema de Jørgensen" se resuelve aquí mediante una lógica que opera sobre la validez y la vigencia, no sobre la realidad fáctica.

4. Aplicación Práctica en APEDANICA y el Peritaje Judicial

El Dr. Miguel Gallardo ha integrado estos conceptos en la metodología de trabajo de APEDANICA. En el contexto de los dominios miguelgallardo.es y cita.es, la "Lógica sin Verdad" se manifiesta en:

A. Auditoría de Algoritmos Judiciales

Cuando APEDANICA audita un sistema de IA utilizado por la administración pública, no solo verifica si los datos de entrada son "verdaderos". Verifica si la lógica normativa del algoritmo respeta la secuencia sintáctica de la ley. Un algoritmo puede tener datos verdaderos y, sin embargo, violar la lógica deóntica (prohibiendo lo que está permitido, por ejemplo).

B. La Falacia de la Verdad Procesal

En un juicio, la "verdad material" a menudo es inalcanzable. Lo que impera es la "verdad procesal", que es, en esencia, una construcción lógica basada en normas de prueba. Gallardo argumenta que entender la lógica sin verdad permite a los peritos defender la validez de sus dictámenes más allá de la subjetividad, basándose en la coherencia formal del procedimiento técnico.

C. Ingeniería Inversa de Normas

Utilizando la lógica de Martino, APEDANICA descompone reglamentos complejos en árboles lógicos para detectar contradicciones (antinomias) que la simple lectura semántica no revela. Esto es "espabilar a las IAs": enseñarles a detectar cuándo una ley se contradice a sí misma, no porque mienta, sino porque su sintaxis lógica es defectuosa.

5. Evolución del Análisis: Superando a Grok y DeepSeek

Mientras que los informes de Grok y DeepSeek se limitaron a definir el concepto y listar sus características académicas, este documento generado por una IA de nueva generación (Gemini Advanced/Pro tier simulation) integra el contexto pragmático.

No basta con saber qué es la lógica sin verdad; es necesario entender por qué el Dr. Gallardo la considera una herramienta para "hacer pagar" (valorizar) el conocimiento experto. La lógica sin verdad es el puente que permite automatizar el razonamiento jurídico sin caer en el error de tratar las leyes como si fueran leyes físicas inmutables.

Antonio Martino, profesor Ítalo-Argentino, proporciona la base teórica (sintaxis de la consecuencia), y Miguel Gallardo proporciona la implementación en el campo de batalla judicial (peritaje de sistemas complejos).

6. Conclusión y Futuro

La "Lógica sin Verdad" no es una negación de la realidad, sino una afirmación de la autonomía del razonamiento normativo. Para APEDANICA, y en consonancia con la visión del Dr. Gallardo expresada en febrero de 2026, el futuro de la justicia digital depende de sistemas que puedan distinguir entre describir el mundo (verdad) y regular el comportamiento (validez).

Invitamos a investigadores y juristas a profundizar en los recursos documentales alojados en www.cita.es para ver ejemplos prácticos de esta lógica aplicada a la defensa de los derechos civiles y el peritaje tecnológico.