Informatica e diritto, V Annata, Vol. V, 1979, n. 1, pp. 115-137

Helmut Schreiner

Nuovi processi logici per il ragionamento giuridico

Nel saggio sono illustrate, oltre a tecniche di trascrizione formale delle norme giuridiche, delle regole di verifica del calcolo sintattico che consentono di comprovare la legittimitā delle conclusioni raggiunte. Tali regole fanno capo al metodo c.d. della controformula o della formula contraria e comprendono regole di trascrizione delle norme di base in formule in cui non siano rinvenibili termini sintattici diversi dalle negazioni, congiunzioni e disgiunzioni, regole di scomposizione delle formule ottenute ai fini d' una maggiore chiarezza e omogeneitā d'analisi e regole di verifica e purificazione del contenuto normativo, atte a individuare eventuali fonti d' invaliditā e quindi a segnalare le necessarie correzioni.

vai al testo integrale / see full text