Informatica e diritto, IV Annata, Vol. IV, 1978, n. 2, pp. 163-215

Miguel Sanchez-Mazas

Modelli aritmetici per l'informatica giuridica

Arithmetical Models for Legal Informatics

L'Autore propone dei metodi e degli strumenti di calcolo per analizzare in termini di logica matematica e applicare con l'ausilio delle tecniche informatiche modelli di sistemi normativi. La metodologia utilizzata consiste nel tradurre le relazioni tra concetti in relazioni tra i loro numeri caratteristici. Il modello aritmetico costruito è costituito da un sistema di coordinate cartesiane, ognuna delle quali identifica un'azione (o una condizione elementare o una funzione logica dell'una o dell'altra) e consente d'individuarla rispetto a tutti gli altri componenti del sistema e di trarre mediante algoritmi le conseguenze logiche della sua situazione. Al fine di rendere operativo il sistema l'Autore illustra due programmi per calcolatori, denominati rispettivamente calculus ratiocinator e calculus consequentiarura. Il primo consente di costruire il modello aritmetico d'una parte qualsiasi d'un sistema normativo mediante il calcolo automatico dei numeri caratteristici di tutte le condizioni e azioni prese in considerazione e delle congiunzioni, disgiunzioni e negazioni pertinenti. Il secondo permette, a sua volta, la deduzione automatica di conseguenze deontiche da qualsiasi congiunzione di condizioni e azioni del modello aritmetico costruito col programma precedente.

In the article the Author proposes calculation instruments and methods for analysing in mathematical terms and applying models of normative systems with the help of informatic techniques. The methodology used consists in translating the relations between concepts into relations between their characteristic number. The arithmetical model constructed consists of a system of Cartesian coordinates, each of which identifies an action (or an elementary condition or a logic function of one or the other) and allows it to be identified with respect to all the other components of the system and logical consequences of its situation to be drown by means of algorithms. To make the system operative the Author illustrates two computer programmes called Calculus ratiocinator and Calculus consequentiarum respectively. The former allows the arithmetical model to be constructed of any part of a normative system by means of the automatic calculation of the characteristic numbers of all the conditions and actions considered and of the pertinent conjunctions, disjunctions and negations. The latter, in its turn allows the automatic deduction of deontic consequences from any conjunction of conditions and actions of the arithmetical model constructed with the preceding programme.