Informatica e diritto, IX Annata, Vol. IX, 1983, n. 3, pp. 5-87
Georg Henrik Von Wright
Norme, verità e logica
Norms, Truth and Logic
A livello d'interpretazione prescrittiva le formule deontiche hanno un significato prescrittivo e non esprimono proposizioni vere o false. In questo senso non si può parlare di relazioni di implicazione o compatibilità (e incompatibilità) tra le formule e neppure, quindi, di una "logica" delle norme. Tuttavia, l'attività legislativa, e anche le norme stesse, possono essere giudicate sotto vari aspetti e standards di razionalità, alcuni dei quali possono essere associati a considerazioni di carattere strettamente logico. Nella prima parte del saggio l'Autore costruisce un sistema formale di logica deontica corrispondente ai cosiddetti sistemi standard, precisandone il vocabolario e definendone le formule ben formate; esamina inoltre il problema dell'applicazione dei connettivi di enunciati alle formulazioni normative, nonché varie questioni relative alle norme di ordine superiore, alla configurabilità del "permesso" come categoria indipendente, al carattere storico delle norme e alle condizioni di soddisfacibilità alle norme che contengono obblighi o permessi; infine, costruisce gli equivalenti di diversi teoremi di logica deontica applicando la cosiddetta "regola d'impegno razionale" e illustra gli assiomi e le regole d' inferenza del suo sistema di logica deontica. La seconda parte del saggio è dedicata alle norme condizionali o ipotetiche e al modo di formularle senza incorrere nei cosiddetti "paradossi dell'implicazione". Nella terza parte sono introdotti quantificatori temporali "sempre" e "qualche volta", riferiti rispettivamente alle norme che contengono obblighi e permessi. Le nozioni di soddisfacimento e soddisfacibilità sono estese alle norme il cui contenuto è vincolato da quantificatori temporali e sono esaminate formule complesse, composte da variabili, connettivi di verità, quantificatori temporali e operatori deontici. Nella quarta parte è elaborato il concetto di "occasione" e sono definite le condizioni di soddisfacibilità d'un corpus di norme contenente obblighi, proibizioni e permessi riferiti a una data occasione. La quinta parte tende a porre la logica dell'azione a base della logica deontica; in essa è introdotta la distinzione tra "azioni produttive" e "azioni conservative" e "azioni soppressive" (con le relative formule simboliche "B" e "S") ed è precisato il collegamento tra la nozione di "occasione" e quella di "opportunità". Enumerati gli otto modi (o tipi) atomici o elementari dell'azione di compimento e gli otto principi di distribuzione degli operatori B e S su composti molecolari di variabili, l'Autore passa a esaminare gli effetti della distribuzione degli operatori di produzione (B) e conservazione (S) con riferimento ai principi di distribuzione enucleati. Quindi è illustrata la nozione di "espressione BS" ed è descritta la procedura per costruire la "forma normale disgiuntiva perfetta" di un'originaria espressione BS. Alla logica deontica si passa aggiungendo al calcolo BS simboli O e P. Adattando i meccanismi della logica deontica sviluppata nella prima parte del saggio a norme i cui contenuti sono stati di cose descritti da espressioni BS, l'Autore analizza le condizioni di soddisfacibilità delle norme obbligatorie e delle norme permissive; a conclusione chiarisce la nozione di negazione normativa e formula osservazioni su casi particolari. La sesta parte del saggio contiene alcune note sul simbolo dell'omissione. La settima e ultima parte del saggio è dedicata ai quantificatori nella logica deontica. Gli enunciati BS preceduti dagli operatori deontici O e P sono chiamati enunciati OPBS atomici; da essi si possono formare enunciati OPBS molecolari facendo uso dei connettivi. Secondo quanto illustrato dall' Autore, gli enunciati OPBS non quantificati possono essere interpretati sia descrittivamente che prescrittivamente. Gli enunciati OPBS quantificati (atomici e molecolari), invece, devono essere interpretati descrittivamente e non possono essere interpretati prescrittivamente. L'analisi del problema del tipo d'interpretazione da attribuire agli enunciati deontici della forma Tun-Sollen (Durfen), infine, conduce a chiarire che "la norma è che qualcosa deve o può esser fatto", mentre la specificazione dell'agente cui la norma s'indirizza rimane "estranea" alla norma stessa.
At the level of prescriptive interpretation, deontic formulas have a prescriptive meaning and do not express true or false propositions. In this sense relations as entailment or compatibility and incompatibility between the formulas cannot be spoken of, nor, therefore, of a «logic» of the norms. However, norm-giving activity, and also the norms themselves, can be judged under various aspects and standards of rationality, some of which can be associated with considerations of a strictly logical character. The Author, in Part I of his paper, constructs a formal system of deontic logic corresponding to the so-called standard systems, specifying the vocabulary and defining the well-formed formulas. Furthermore, he examines the problem of the application of sentential connectives to norm-formulations as well as various issues relating to higher order norms, to the status of «permission» as an independent category, to the historic nature of norms and the conditions in which norms containing obligations or permissions are satisfiable. Finally, he constructs the equivalents of various theorems of deontic logic by applying the so-called «Rule of Rational Commitment» and illustrates the axioms and the rules of inference of his system of deontic logic. Part II is dedicated to conditional or hypothetical norms and to the way they should be formulated in order to avoid the so-called «paradoxes of implication». In Part III the temporal quantifiers «always» and «sometimes », referring respectively to norms containing obligations and permissions, are introduced. The notions of satisfaction and satisfiability are extended to norms the contents of which are bound by temporal quantifiers white complex formulas, formed of variables, truth connectives, temporal quantifiers and deontic operators, are examined. The concept of «occasion» is dealt with in Part IV and the conditions of satisfiability of a corpus of norms containing obligations, prohibitions and permissions referred to a given occasion are defined. Part V, aimed at setting down action logic as a basis for deontic logic, introduces the distinction between «productive actions» and «destructive actions », between «sustaining actions» and «suppressing actions» (with the relative symbolic formulas B and S) and explains the connection between the notions of «occasion» and «opportunity». Having listed the eight atomic or elementary modes (or types) of achievement actions and the eight distribution principles of the operators B and S on molecular compounds of variables, the Author goes on to examine the effects of the distribution of the productive (B) and sustaining (S) operators referring to the principles of distribution already explained. Therefore, the notion of the «BS-expression» is illustrated and the procedure for constructing the «perfect disjunctive normal form» of the original BS-expression is described. Deontic logic is proceeded to by adding the symbols O and P to the BS-expressions. By adapting the machinery of deontic logic developed in the first part of the paper to norms whose contents are states of affairs described by BS-expressions, the Author analyses the satisfiable conditions of obligatory norms and of permissive norms. In conclusion he clarifies the notion of normative negation and makes some observations on special cases. Part VI contains notes on the symbol for omission. The seventh and last Part of the paper is dedicated to the quantifiers in deontic logic. The BS-sentences preceded by the deontic operators O or P are called OBPS atomic sentences; from them molecular OPBS-sentences, using sentential connectures, can be formed. According to the Author, non-quantified OPBS-sentences may be interpreted both descriptively and prescriptively. Quantified OPBS-sentences (atomic and molecular) must instead be interpreted descriptively and cannot be interpreted prescriptively. The analysis of the question of the type of interpretation to attribute to Tun-Sollen (Dürfen) sentences, in conclusion, leads to the explanation that «the norm is that something ought to be or can be done», while the specification of the agent which the norm is addressed to is «foreign» to that norm.