Informatica e diritto, III Annata, Vol. III, 1977, n. 2, pp. 337-350
Leo Reisinger
Probleme der logischen struktur von rechtsnormen und die moglichkeiten des logischen ausdrucks von unscharfen rechtsbegriffen
Problemi di logica strutturale delle norme giuridiche e possibilità di dare forme logiche ai concetti giuridici poco chiari
The Logical Structure of Legal Rules and the Possibility of Expressing Logically Unclear Legal Concepts
La formalizzazione di norme giuridiche importa la traduzione di esse in un linguaggio formalizzato e, quindi, rispetto al problema considerato, a seconda del tipo di linguaggio prescelto, potranno distinguersi un approccio linguistico, un approccio logico-formale e un approccio matematico. Escludendo quest'ultimo dalla trattazione, l'Autore illustra alcune obiezioni espresse in merito ai tentativi di formalizzazione delle norme condotti meditante il ricorso, in particolare, alla logica dei predicati (Klug e Rödig) e alla logica deontica (Kalinowski) e passa poi a chiarire più dettagliatamente l'approccio linguistico. In quest'ambito sono segnalati come significativi per gli studi di logica del diritto gli esperimenti fatti nel campo della costruzione di sistemi di consulenza automatica (o di reperimento di fatti o domanda-risposta): questi dovrebbero essere in grado di reagire alla richiesta dell'utente non limitandosi semplicemente a fornire i documenti pertinenti - come fanno i sistemi di documentazione tradizionali (o sistemi di reperimento di documenti) -, ma dando direttamente l'informazione desiderata e avrebbero quindi come particolare caratteristica una sia pur limitata capacità deduttiva. Le relazioni fra l'approccio logico-formale e quello linguistico alla formalizzazione di norme, pur essendo riconosciute come non definibili univocamente, sono individuate in linea generale nel fatto di privilegiare il primo la rappresentazione delle strutture interne delle norme e il secondo quella delle relazioni logiche di deduzione e consequenzialità tra le norme stesse. La formalizzazione delle norme è considerata come un processo di astrazione implicate valutazioni su cui inciderebbe riflessioni di carattere pragmatico; essa costituisce un presupposto necessario per l'algoritmizzazione e questa rappresenta a sua volta la premessa essenziale per l'applicazione dell'automazione in un dato settore. Per le decisioni giuridiche, però, dal momento che esse contengono in sé sia informazioni normative che informazioni fattuali, non sembra sia possibile costruire un algoritmo generale adeguato alla prassi.
The formalization of legal rules requires the translation of them into a formalized language and, as to the problem considered, according to the language chosen, a linguistic approach, a logical-formal approach and a mathematical approach can be recognized. After excluding the mathematical approach, the Author reports some objections regarding the formalization of norms carried out by using the logic (Kalinowski) and then he explains the linguistic approach in details. In this field the Author points out the experiments of automatic consultancy (or of factual retrieval or of question - answer) as particularly relevant for the study of legal logic; these systems, replying to the user, not only supply relevant documents - as in traditional documentation systems (or document retrieval systems) - but also supply the requested information. Therefore they have a limited deductive ability. The connections between the logical-formal and linguistic approach and the formalization of norms are not considered as univocally definable; nevertheless, the former regards mainly the internal structures of norms and the latter their deductive logical relations and their inference. The formalization of norms is considered as an abstracting process involving pragmatic reflections: it is a necessary prerequisite of algorithmization and the latter the essential prerequisite of automation applied to a particular field. Since legal decisions contain information on norms and facts, it is not possible to build up a general algorithm which is adequate to legal praxis.