Traduzione algebrica e aritmetica dei sistemi normativi ed applicazioni all'informatica giuridica

• Autore: Miguel Sànchez-Mazas
• Pagine: 79-81

Page 79

@1. Obiettivo

L'obiettire di questa relazione è quello di proporre una rappresentazione algebrica (mediante sistemi di equazioni) e aritmetica (mediante reti di numeri caratteristici, ottenuti come soluzione dei primi) dei sistemi di norme, permettendo di semplificare l'analisi automatica della struttura logica di questi ultimi e il trattamento informatico dei testi legislativi con degli obiettivi, sia teorici (individuazione della incompatibilità, delle deroghe, delle lacune, delle ridondanze, diritto comparato), sia pratici (deduzione delle conseguenze deontiche e giuridiche di una data situazione).

@2. Criteri di analisi

Tutto il sistema di norme può essere frazionato in più sistemi parziali omogenei, o reti deontiche, dei quali ognuno dovrebbe riferirsi solo a una coppia di fatti/azioni opposti, deonticamente determinati da certe situazioni o da congiunzioni di condizioni.

L'analisi logica di ogni rete deontica dovrebbe rivelare una struttura nella quale le situazioni determinanti ed i fatti/azioni si troverebbero collegati daPage 80 rapporti d'obbligo, di proibizione e di permesso bilaterale, espressi dapprima con formule di logica deontica e poi con equazioni collegate a queste ultime in un modello aritmetico della rete deontica.

@3. Il modello aritmetico

I componenti logici elementari di una griglia deontica sono di due tipi e cioè: a) la coppia di fatti/azioni opposti, deonticamente determinati nella rete (per esempio, in una rete: contrarre matrimonio e non contrarre matrimonio; in un'altra rete: raggiungere la maggiore età e non raggiungere la maggiore età) e b) l'insieme delle condizioni elementari di cui certe congiunzioni costituiscono situazioni deonticamente determinanti di questi fatti/azioni (per esempio, nella prima rete: essere di sesso femminile, non avere compiuto 20 anni, né essere sposato, avere il consenso del padre e della madre o del tutore per contrarre matrimonio e avere compiuto 18 anni).

A ciascun componente logico di una rete deontica e a ciascuna funzione logica di uno o più componenti è associato nella rete numerica adottata come modello aritmetico del primo (grazie alla corrispondenza stabilita fra componenti, operazioni e relazioni logico-deontiche, da una parte, e componenti, operazioni e relazioni aritmetiche, dall'altra) un numero intero positivo, ottenuto partendo dal sistema di equazioni che traduce il sistema di formule logiche determinanti di un fatto/azione nella rete deontica...