Informatica e diritto, V Annata, Vol. V, 1979, n. 1, pp. 115-137
Helmut Schreiner
Nuovi processi logici per il ragionamento giuridico
New Logical Processes for Legal Reasoning
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.
Besides techniques for formal transcription of legal rules, the paper illustrates rules for checking the syntactic calculation that allows the legitimacy of the conclusion reached to be proved. These rules unite in the so-called counter-formula or the contrary method and include rules for transcribing the basic rules of formulas in which there cannot be traced syntactic terms different from negations, conjunctions and disjunctions, rules for analysing the formulas obtained for the purpose of greater clarity and homogeneity of analysis and rules for ascertaining and purifying of the normative content suitable for identifying any invalid sources and then to indicate necessary corrections.