Informatica e diritto, IV Annata, Vol. IV, 1978, n. 2, pp. 1-53

Antonio Anselmo Martino, Enrico Maretti, Costantino Ciampi

Modelli operativi di sistemi giuridici positivi. Guida alla lettura di "Logica, informatica, diritto"

Operative Models of Positive Legal System. Guide to the Reading of «Logica Informatica Diritto»

I curatori del volume spiegano in questo saggio introduttivo i motivi, i criteri e i risultati dell'attivitą condotta per la redazione dei due tomi su "Logica, informatica, diritto". I due tomi, frutto di un'attiva collaborazione internazionale, raccolgono quattordici contributi di noti e qualificati esperti delle tre discipline oggetto di studio. Gli articoli sono nati intorno ad un programma di lavoro interdisciplinare proposto dai coordinatori dell'iniziativa e volto a realizzare la costruzione di uno o pił "modelli" computerizzati d'un sistema di norme giuridiche. I lavori pubblicati non sempre hanno rispettato strettamente il tema prescelto, ma tutti hanno contribuito, e in maniera spesso notevole, a facilitare il dialogo tra logici, informatici e giuristi e a far comprendere chiaramente quanto feconda possa essere l'applicazione dei risultati pił recenti della logica e delle tecniche informatiche allo studio e all'analisi formale del discorso giuridico. Chiude il saggio introduttivo un'Appendice nella quale sono illustrati alcuni programmi elettronici, scritti in APL, che rappresentano un primo contributo all'automazione del calcolo logico formale.

In this introductory paper the editors of the volume explain the reasons, the criteria and the results of the work carried out in editing the two volumes on «Logic Informatics, Law». The two volumes, fruit of active international collaboration, contain fourteen contribution by well-known experts in the three disciplines studied. The article originated from an interdisciplinary work programme proposed by the coordinators of the initiative to achieve the construction of one or more computerized «models» of a system of legal rules. The papers presented do not always keep strictly to the theme chosen, but they all contribute, and often notably, to facilitating the discussion amongst jurists and to making it clearly understood how fruitful the application can be of the most recent results of logic and of computer techniques in the study and formal analysis of legal language. The introductory paper ends with an Appendix illustrating some computer programmes, written in APL, which represent a first contribution to the automation of formal logic calculation.

vai al testo integrale / see full text