Deontic LogicAihepiirit:
Tekijät: von Wright Georg Henrik
Julkaistu: 1957 Julkaistu filosofia.fi sivustolla: 15.06.2009
Published in/Publicerad i/Julkaistu
Logical Studies, International Library of Psychology, Philosophy and Scientific Method, Routledge and Kegan Paul, London 1957.
© The von Wright Heirs/ von Wrights arvingar/von Wrightin perikunta The Georg Henrik von Wright Online Collection, Filosofia.fi (Eurooppalaisen filosofian seura ry) <http://filosofia.fi/vonWright> ed./red./toim. Yrsa Neuman & Lars Hertzberg 2009. Inskanning & transkribering/Skannerointi & litterointi/Scan & transcription: Filosofia.fi/Tommi Palosaari  Sonja Vanto DEONTIC LOGIC1. So called modal concepts might conveniently be divided into three or four main groups. There are the alethic modes or modes of truth. These are concepts such as the necessary (the necessarily true), the possible (the possibly true), and the contingent (the contingently true). There are the epistemic modes or modes of knowing. These are concepts such as the verified (that which is known to be true), the undecided, and the falsified (that which is known to be false). There are the deontic^{1} modes or modes of obligation. These are concepts such as the obligatory (that which we ought to do), the permitted (that which we are allowed to do), and the forbidden (that which we must not do). As a fourth main group of modal categories one might add the existential modes or modes of existence. These are concepts such as universality, existence, and emptiness (of properties or classes). There are essential similarities but also characteristic differences between the various groups of modalities. They all deserve, therefore, a special treatment. The treatment of the existential modes is usually known as quantification theory. The treatment of the alethic modes covers most of what is traditionally known as modal logic. The epistemic modes have not to any great extent and the deontic modes hardly at all been treated by logicians. In the present paper an elementary formal logic of the deontic modalities will be outlined. 1
2
2. First a preliminary question must be settled. What are the ”things” which are pronounced obligatory, permitted, forbidden, etc.? We shall call these ”things” acts. The word ”act”, however, is used ambiguously in ordinary language. It is sometimes used for what might be called actqualifying properties, e.g. theft. But it is also used for the individual cases which fall under these properties, e.g. the individual thefts. The use of the word for individual cases is perhaps more appropriate than its use for properties. For the sake of verbal convenience, however, we shall in this paper use ”act” for properties and not for individuals. We shall say that theft, murder, smoking, etc. are acts. The individual cases that fall under theft, murder, smoking, etc. we shall call actindividuals. It is of acts and not of actindividuals that deontic words are predicated. The performance or nonperformance of a certain act (by an agent) we shall call performancevalues (for that agent). An act will be called a performancefunction of certain other acts, if its performancevalue for any given agent uniquely depends upon the performancevalues of those other acts for the same agent. The concept of a performancefunction is strictly analogous to the concept of a truthfunction in propositional logic. Particular performancefunctions can be defined in strict correspondence to the particular truthfunctions. Thus by the negation (act) of a given act we understand that act which is performed by an agent, if and only if he does not perform the given act. For example: the negation of the act of repaying a loan is the act of not repaying it. If A denotes (is the name of) an act, ~A will be used as a name of its negation (act). Similarly, we can define the conjunction, disjunction, implication, and equivalenceact of two given acts. (The implicationact, e.g., of two given acts is the act which is performed by an agent, if and only if it is not the case that the first act is performed and the second act is not performed by the agent in question.) If A and B denote acts, A & B will be used as a name of their conjunction, A v B as a name of their disjunction, A → B as a name of their implication, and A ↔ B as a name of their equivalence. Finally, we can define the tautology and contradiction (act) of n given acts. The first is the act which is performed and the second the act which is not performed by an agent, whatever be
3
the performancevalues of the n given acts for the agent in question. We shall call ~A the negationname of A, and A & B the conjunction, A v B the disjunction, A → B the implication, and A ↔ B the equivalencename of A and B. A name of an act which is neither the negationname of another name of an act, nor the conjunction, disjunction, implication, or equivalencename of two other names of acts we shall call an atomic name. By a molecular complex of n names of acts we understand: (i) Any one of the n names themselves and any one of their negationnames. (ii) The conjunction, disjunction, implication, and equivalencename of any two of the n names. (iii) The negationname of any molecular complex of the n names, and the conjunction, disjunction, implication, and equivalencename of any two molecular complexes of the n names. The n names are called constituents of their molecular complexes. If they are atomic names, they are called atomic constituents. As to the use of brackets we adopt the convention that the symbol & has a stronger combining force than v, →, and ↔; the symbol v than → and ↔; and the symbol → than ↔. Thus, e.g., we write for (((A & B) v C) → D) ↔ E simply A & B v C → D ↔ E. The symbols ~, &, v, →, and ↔ will be used for truthfunctions as well as for performancefunctions. This ambiguity does not easily lead to confusion and is, therefore, to be preferred to the introduction of two special sets of symbols. 3. As an undefined deontic category we introduce the concept of permission. It is the only undefined deontic category which we need. If an act is not permitted, it is called forbidden. For instance: Theft is not permitted, hence it is forbidden. We are not allowed to steal, hence we must not steal.^{2} If the negation of an act is forbidden, the act itself is called obligatory. For instance: it is forbidden to disobey the law, hence it is obligatory to obey the law. We ought to do that which we are not allowed not to do. If an act and its negation are both permitted, the act is called 4
(morally) indifferent. For instance: in a smoking compartment we may smoke, but we may also not smoke. Hence smoking is here a morally indifferent form of behaviour. It should be observed that indifference is thus a narrower category than permission. Everything indifferent is permitted, but everything permitted is not indifferent. For, what is obligatory is also permitted, but not indifferent. (The difference between the permitted and the indifferent among the deontic modes is analogous to the difference between the possible and the contingent among the alethic modes.) The above deontic concepts apply to a single act (or performancefunction of acts). There are also deontic concepts which apply to pairs of acts. Two acts are morally incompatible, if their conjunction is forbidden (and compatible if it is permitted). For instance: giving a promise and not keeping it are (morally) incompatible acts. Doing one act commits us to do another act, if the implication of the two acts is obligatory. For instance: giving a promise commits us to keep it. The proposition that the act named by A is permitted will be expressed in symbols by P A. The proposition that the act named by A is forbidden, is the negation of the proposition that it is permitted. It can thus be symbolized by ~(P A). The proposition that the act named by A is obligatory, is the negation of the proposition that the negation of the act is permitted. It can thus be symbolized by ~(P ~A). We shall also use the shorter expression O A. The proposition that the act named by A is (morally) indifferent can be symbolized by (P A) & (P ~A). The proposition that the acts named by A and by B are (morally) incompatible can be symbolized by ~(P A & B). The proposition that the performance of the act named by A commits us to perform the act named by B can be symbolized by O A → B. But O A → B means the same as ~(P ~(A → B)), and this means the same as ~(P A & ~B). Commitment can thus be explained in terms of compatibility. P and O are called the deontic operators. Sentences of the type ”P ”, where a name of an act (or a molecular complex of names of acts) has to be inserted in the blank, we shall call Psentences. Similarly, we shall call sentences of the type ”O ” Osentences. As to the use of brackets it should be remarked that P and
5
Osentences as constituents of molecular complexes of sentences should be enclosed within brackets in order to avoid confusion. It should further be observed that a deontic operator before a molecular complex of names of acts refers to the whole complex and not to its first constituent only. Thus, e.g., P A v B means that the act named by A v B is permitted. The system of Deontic Logic, which we are outlining in this paper, studies propositions (and truthfunctions of propositions) about the obligatory, permitted, forbidden, and other (derivative) deontic characters of acts (and performancefunctions of acts). We shall call the propositions which are the object of study deontic propositions. The sentences, in which they are expressed in our system, are P and Osentences or molecular complexes of such sentences.
4. A task of particular importance which Deontic Logic sets itself is to develop a technique for deciding, whether the propositions it studies are logically true or not. (The decision problem.) Sometimes molecular complexes of P and Osentences express truths of logic for reasons which have nothing to do with the specific character of deontic concepts. For instance: If A is permitted, if B is permitted, then B is forbidden, if A is forbidden. In symbols: ((P B) → (P A)) → (~(P A) → ~(P B)). This is a truth of logic. It is an application of a variant of the so called modus tollens which is valid for any sentences, whether deontic or not. It is, therefore, a trivial truth from the point of view of our Deontic Logic. Sometimes, however, molecular complexes of P and Osentences express truths of logic for reasons which depend upon the specific (logical) character of deontic concepts. For instance: If A is obligatory and if doing A commits us to do B, then B is obligatory too. In symbols: (O A) & (O A → B) → (O B). It is intuitively obvious that this is a truth of logic, i.e. something which is valid on purely formal grounds. It is, however, not an application of any scheme which is valid for any sentences, whether deontic or not. The existence of logical truths which are peculiar to deontic concepts is what makes the study of Deontic Logic interesting. If a molecular complex of P and Osentences expresses logical truth for reasons which are independent of the specific nature of deontic concepts, then its truth can be established or proved in a truthtable of propositional logic. If, however, a molecular complex of P and Osentences
6
expresses logical truth for reasons which depend on the specific nature of deontic concepts, then its truth cannot be established by the means of propositional logic alone. The question therefore arises: What is the necessary and sufficient criterion which a molecular complex of P and/or Osentences must satisfy in order to express a logically true proposition?
5. Let us call ”permitted” and ”forbidden” the two deontic values. An act will be called a deontic function of certain other acts, if the deontic value of the former uniquely depends upon the deontic values of the latter. It is easy to see that not any act which is a performancefunction of certain other acts is also a deontic function of them. (Otherwise the logic of deontic concepts would be trivial.) Consider first the negation of a given act. From the fact that A is performed, we can conclude to the fact that ~A is not performed. But from the fact that A is permitted, we can conclude nothing as to the permitted or forbidden character of ~A. Sometimes ~A is permitted, sometimes not. If A is what we have called indifferent, then ~A is also permitted, but if A happened to be obligatory as well as permitted, then ~A would be forbidden. In the smoking compartment, e.g., notsmoking is permitted and also smoking. But in the nonsmoking compartment, notsmoking is permitted and smoking forbidden. Consider next the conjunction of two acts. From the fact that A and B are both performed, it follows that A & B is performed. But from the fact that A and B are both permitted, it does not follow that A & B is permitted. Sometimes A & B is permitted, sometimes not. For, A and B may both be permitted, but doing either of them may commit us not to do the other. I may be free to promise and also not to promise to give a certain thing to a person, and free to give and also not to give this thing to him, but forbidden to promise to give and yet not give it. Consider, finally, the disjunction of two acts. From the fact that at least one of the two acts A and B is performed, it follows that A v B is performed, and from the fact that none of the two acts A and B is performed, it follows that A v B is not performed. Similarly, from the fact that at least one of the acts is permitted, it follows that their disjunction is permitted, and from the fact that both acts are forbidden, it follows that their disjunction is forbidden. In other words: the disjunction of two acts is permitted, if and only if at least one of the acts is permitted. Speaking loud or smoking is permitted in the readingroom, if
7
and only if speaking loud is permitted or smoking is permitted._{3} Thus deontic functions are similar to performancefunctions (and truthfunctions) in regard to disjunction, but not similar in regard to negation and conjunction. The similarity can be laid down as a Principle of Deontic Distribution:
If an act is the disjunction of two other acts, then the proposition that the disjunction is permitted is the disjunction of the proposition that the first act is permitted and the proposition that the second act is permitted.
(This principle can, naturally, be extended to disjunctions with any number n of members.) In virtue of familiar principles of formal logic, any molecular complex of n names of acts has what we propose to call a perfect disjunctive normal form. This is a 0, 1, or morethan1termed disjunctionname of ntermed conjunctionnames. Each of the n original names or its negationname occurs in every one of the conjunctionnames. In virtue of the above Principle of Deontic Distribution, any molecular complex of n names of acts denotes a deontic function of the acts denoted by the conjunctionnames in its perfect disjunctive normal form. Consider now a Psentence P c, where c stands for (an atomic name of an act or) a molecular complex of names of acts. Let c_{1}, . . . c_{k} stand for the conjunctionnames in the perfect disjunctive normal form of c. The sentences P c_{1}, . . . , P c_{k} we shall call the Pconstituents of P c. Since, in virtue of the Principle of Deontic Distribution, c denotes a deontic function of the acts named by c_{1}, . . . , c_{k}, it follows that P c expresses a truthfunction of the propositions expressed by P c_{1}, . . . , P c_{k}. Generally speaking: a Psentence expresses a truthfunction of the propositions expressed by its Pconstituents. Consider n names of acts A_{1}, . . . , A_{n}. There are in all 2^{n} conjunctionnames which can be formed by selecting m (O ≦ m ≦ n) out of the n names and taking the negationnames of the
8
remaining nm names. (The order of the names in a conjunctionname is irrelevant.) By the deontic units in the deontic realm of the acts named by A_{1}, . . . , A_{n} we shall understand the propositions that the respective acts named by those 2^{n}^{ }conjunctionnames are permitted. By the deontic realm itself we shall understand the disjunction of all the deontic units. Thus, e.g., the deontic units of the deontic realm of the sole act named by A are the propositions expressed by P A and P ~A. The deontic realm itself is the proposition expressed by (P A) v (P ~A). The deontic units of the deontic realm of the acts named by A and B are the propositions expressed by P A & B and P A & ~B and P ~A & B and P ~A & ~B. Etc. The deontic units of the deontic realm of given acts are logically independent of one another, meaning that they can be true or false in any combination of truthvalues. There is, however, one point at which this independence might be questioned. Could all the deontic units be false? Let A be the name of an act. That all (both) the deontic units in the deontic realm of this act are false means that the act itself and its negation are both forbidden. In symbols: ~(P A) & ~(P ~A). Since the act or its negation is performed by any agent whenever he acts, the falsehood of all the deontic units means that we are forbidden to act in any way whatsoever. Is such a prohibition illogical? Its counterpart in the logic of the alethic modalities would be the case, when a proposition and its negation are both impossible, and its counterpart in the logic of the epistemic modalities would be the case, when a proposition and its negation are both known to be false. These cases are obviously logical impossibilities. On the other hand, in the logic of the existential modalities the corresponding case is, when a property and its negation are both empty. This is not an impossibility, since the Universe of Discourse may have no members. The question, therefore is, whether the deontic modes at this point resemble the alethic and the epistemic modes or whether they resemble the existential modes. Ordinary language and our common sense logical intuitions seem at first not to provide us with a clear answer. A simple logical transformation, however, will help us to make up our minds. That the negation of an act is forbidden means that the act itself is obligatory. Thus we can for ~(P ~A) write O A. That an act and its negation are both forbidden means the same as that the act itself is both obligatory and forbidden.
9
At this point an appeal to ordinary language will, I think, be decisive. We seem prepared to reject a use of the words, according to which one and the same act could be truly called both obligatory and forbidden.^{4} If, however, we reject this use, we must also reject the idea that all the units in a deontic realm could be false. Thus, on the point at issue, the deontic modalities appear to resemble the alethic and the epistemic modalities rather than the existential ones. The restriction on the logical independence of the deontic units, which we are forced to accept, can be laid down as a Principle of Permission:
Any given act is either itself permitted or its negation is permitted.
There are alternative formulations of the principle. We might also have said: If the negation of an act is forbidden, then the act itself is permitted. And this again is equivalent to saying: If an act is obligatory, then it is permitted.
6. Which truthfunction of its Pconstituents a Psentence expresses can be investigated and decided in truthtables. We shall here construct a truthtable for the following Psentences: P A and P ~A and P A & B and P A v B and P A → B and P A ↔ B and P A v ~A. The perfect disjunctive normal form of A (in terms of A and B) is A & B v A & ~B. The normal form of ~A is ~A & B v ~A & ~B.
The table looks as follows:
10
The normal form of A & B is A & B. The normal form of A v B is A & B v A & ~B v ~A & B. The normal form of A → B is A & B v [~]A & B v ~A & ~B. The normal form of A ↔ B [is] A & B v ~A & ~B. The normal form of A v ~A is A & B v A & ~B v ~A & B v ~A & ~B. Thus the seven Psentences have in all four Pconstituents, viz. P A & B and P A & ~B and P ~A & B and P ~A & ~B. They express the deontic units of the deontic realm of the two acts named by A and by B. In distributing truthvalues over the deontic units (or the Pconstituents) we have to observe the restriction imposed by the Principle of Permission. The subsequent calculation of truthvalues for the seven deontic propositions (or the seven Psentences) depends only on the Principle of Deontic Distribution. What is the truthtable for P A & ~A? The perfect disjunctive normal form of A & ~A is ”empty”, i.e. a Otermed disjunction. Thus P A & ~A too is a Otermed disjunction of Pconstituents. It might be argued that a disjunction is true, if and only if at least one of its members is true, and that a Otermed disjunction, since it has no members, is never true (always false). If, however, P A & ~A is always false, its negation ~(P A & ~A) is always true. But ~(P A & ~A) means the same as O A v ~A. Thus, on the above criterion for the truth of a Otermed disjunction, it follows that O A v ~A is a deontic tautology. It might, however, be questioned whether it can be regarded as a truth of logic that a tautologous act is obligatory (and a contradictory act forbidden). The corresponding proposition in the logic of the alethic modalities is that a tautologous proposition is necessary (and a contradictory proposition impossible), and the corresponding proposition in the logic of the existential modalities is that a tautologous property is universal (and a contradictory property empty). These corresponding cases are obviously logical truths. On the other hand, the corresponding propositions in the logic of the epistemic modalities is that a tautologous proposition is verified (and a contradictory proposition falsified). This is not a logical truth. For, a proposition may be tautologous (contradictory) without our knowing it. The question therefore is, whether the deontic modes at this point resemble the alethic and the existential modes, or whether they resemble the epistemic modes. Ordinary language and our common sense logical intuitions seem not to provide us with any clear answer. It appears, moreover, that no further logical considerations can help us to 11
decide on the issue. It may be thought ”awkward” to permit contradictory actions^{5} but it is difficult to conceive of any logical argument against this permission. From the point of view of logic, therefore, the most plausible course seems to be to regard P A & ~A and O A v ~A as expressing contingent propositions which can be either true or false. Thus, on the point at issue, the deontic modalities appear to resemble the epistemic rather than the alethic and the existential modalities. We suggest the following Principle of Deontic Contingency:
A tautologous act is not necessarily obligatory, and a contradictory act is not necessarily forbidden.
7. Let us consider a molecular complex of P and/or Osentences. Osentences can be regarded as abbreviations for negationsentences of certain Psentences. (Cf. above, p. 8.) If the molecular complex happened to contain Osentences, we replace them by negationsentences of Psentences. Thus we get a new molecular complex, all the constituents of which are Psentences. We now turn our attention to the (molecular complexes of) names of acts which follow after the modal operators in this new molecular complex of Psentences. We make an inclusive list of all atomic names which are constituents of at least one of the (molecular complexes of) names of acts in question. Thereupon we transform these (molecular complexes of) names of acts into their perfect disjunctive normal forms in terms of all atomic names which occur in our list. The respective conjunctionnames in these normal forms preceded by the deontic operator P we shall call the Pconstituents of the initially given molecular complex of P and/or Osentences. (Cf. the example given below). We know already that any Psentence expresses a truthfunction of the propositions expressed by its Pconstituents. Since any molecular complex of P and/or Osentences expresses a truthfunction of the propositions expressed by the P and/or Osentences themselves, it follows that any molecular complex of P and/or Osentences expresses a truthfunction of the propositions expressed by its Pconstituents. Which truthfunction of the propositions expressed by its Pconstituents a molecular complex of P and/or Osentences expresses can be investigated and decided in a truthtable.
12
This fact constitutes a solution of the decision problem for the system of Deontic Logic which we are outlining in this paper. The technique of constructing truthtables in Deontic Logic will be illustrated by an example. Let the molecular complex be (O A) & (O A → B) → (O B). (Cf. above, p. 5.) O A is an abbreviation for ~(P ~A), O A → B for ~(P A & ~B), and O B for ~(P ~B). By replacing Osentences by Psentences in our initial complex, we get the new complex ~(P ~A) & ~(P A & ~B) → ~(P ~B). The atomic names of acts which are constituents of (at least one of) the molecular complexes ”inside” the operator P are A and B. The perfect disjunctive normal form of ~A in terms of A and B is ~A & B v ~A & ~B. The normal form of A & ~B is A & ~B. The normal form of ~B is A & ~B v ~A & ~B. The Pconstituents of the initially given molecular complex, therefore, are P ~A & B and P A & ~B and P ~A & ~B. Since the Pconstituents do not represent all the deontic units of the deontic realm of the acts named by A and by B (cf. above p. 10) the Principle of Permission does not here impose any restrictions upon the combinations of truthvalues. The calculation of truthvalues depends only upon the Principle of Deontic Distribution (and principles of propositional logic). The table looks as follows:
It is seen that the molecular complex which we are investigating (indicated by ”→” in the column to the extreme right) expresses the tautology of the propositions expressed by its Pconstituents. 8. A molecular complex of P and/or Osentences which expresses the tautology of the propositions expressed by its Pconstituents, is said to express a truth of Deontic Logic or a deontic tautology.
13
A (true) proposition to the effect that a certain molecular complex of P and/or Osentences expresses a deontic tautology will be called a law of Deontic Logic. We mention below some examples of such laws. When we call two molecular complexes of P and/or Osentences identical, we mean that their equivalencesentence expresses a deontic tautology. When we say that (the proposition expressed by) one molecular complex of P and/or Osentences entails (the proposition expressed by) another, we mean that their implicationsentence expresses a deontic tautology. The propositions expressed by the molecular complexes of sentences given below (or by the equivalence or implicationsentences in question) are easily shown by truthtables to be tautologies. (i) Two laws on the relation of permission to obligation, and vice versa: a P A is identical with ~(O ~A), i.e. (P A) ↔ ~(O ~A) expresses a deontic tautology. b O A entails P A, i.e. (O A) → (P A) expresses a deontic tautology. The second of these laws should not be confused with the above (alternative formulation of the) Principle of Permission (p. 9). In the proof of (i)b this principle is already assumed. (ii) Four laws for the ”dissolution” of deontic operators: a O A & B is identical with (O A) & (O B). b P A v B is identical with (P A) v (P B). c (O A) v (O B) entails O A v B. d P A & B entails (P A) & (P B). The second of these laws should not be confused with the Principle of Deontic Distribution (p. 7). In the proof of (ii)b this principle is already assumed. (iii) Six laws on ”commitment”: a (O A) & (O A → B) entails O B. If doing what we ought to do commits us to do something else, then this new act is also something which we ought to do. (This was the example of a deontic tautology which we discussed above.) b (P A) & (O A → B) entails P B. If doing what we are free to do commits us to do something else, then this new act is also something which we are free to do. In other words: doing the permitted can never commit us to do the forbidden. c ~(P B) & (O A → B) entails ~(P A). This is but a new version of the previous law. If doing something commits us to do the forbidden, then we are forbidden to do the first thing. For instance: if it is obligatory to keep one's promises and if we 14
promise to do something which is forbidden, then the act of promising this thing is itself forbidden. d (O A → B v C) & ~(P B) & ~(P C) entails ~(P A). This is a further version of the two previous laws. An act which commits us to a choice between forbidden alternatives is forbidden. e ~((O A v B) & ~(P A) & ~(P B)). It is logically impossible to be obliged to choose between forbidden alternatives.^{6} f (O A) & (O A & B → C) entails O B → C. If doing two things, the first of which we ought to do, commits us to do a third thing, then doing the second thing alone commits us to do the third thing. ”Our commitments are not affected by our (other) obligations.” g O ~A → A entails O A. If failure to perform an act commits us to perform it, then this act is obligatory. The truth of all these laws follows from our intuitive notions of obligation and permission. Not all of the laws themselves, however, are intuitively obvious. In the case of some of the laws, moreover, it is not intuitively clear whether their truth is a matter of logic or a matter of moral code. This proves that the decision procedure of Deontic Logic which we have outlined is not void of philosophical interest. Any molecular complex of P and/or Osentences has what we propose to call an absolutely perfect disjunctive normal form. This we get by replacing every one of the P and/or Osentences by a disjunctionsentence of Pconstituents of the complex and transforming the molecular complex of Psentences thus obtained into its perfect disjunctive normal form. If the normal form contains the conjunction of the negation of all Pconstituents, we omit it from the normal form. The absolutely perfect disjunctive normal form shows with which ones of the possible combinations of truthvalues in its Pconstituents the molecular complex in question expresses agreement and with which ones it expresses disagreement. If it agrees with all possibilities, it expresses a deontic tautology, i.e. is a truth of Deontic Logic. 15
9. There is one relevant respect, in which the deontic modalities differ from the alethic, epistemic, and existential modalities. It can be illustrated as follows: If a proposition is true, then it is possible, and if a proposition is true, then it is not falsified, and if a property is true of a thing, then the property exists. But if an act is performed (or not performed), then nothing follows as regards its obligatory, permitted or forbidden character. There is thus an important sense in which the deontic modalities unlike the alethic, epistemic, and existential ones have no logical connexions with matters of fact (truth and falsehood). This is a point about deontic categories which has often been stressed by moral philosophers.
10. In this paper deontic propositions have been treated as ”absolute”. They can, however, be made ”relative” in several ways. First of all, it might be argued that deontic propositions are sometimes, or perhaps always, relative to some socalled moral code. What is obligatory within one moral code, may be forbidden within another. Secondly, instead of simply considering whether an act is obligatory, permitted or forbidden, we may consider propositions of the following type: x is permitted to do A, or x permits y to do A. Introducing quantifiers we then get propositions of the type: somebody is permitted to do A, or somebody permits everybody to do A, etc. The logical systems which we get by such extensions are of considerable complexity. Their decisionproblem can be solved for many interesting cases, but not for all cases.

HakuAIHEPIIRIT1600luku (21)
1700luku (66) 1800luku (77) 1900luku (139) Acta Academiae Aboensis Humaniora (1) aforismi (1) Ahlman Erik (5) Ajatuksen kulku (12) Ajatus (25) antiikin filosofia (2) antropologia (4) antropologia yhteiskuntafilosofia (1) Archiv für die gesamte Psychologie (1) Arckenholtz Johan (3) Aristoteles (1) arvostelu (1) behaviorismi (2) Bergbom Fredrik (1) bibliografia (5) biologia (1) Bolin Wilhelm (2) brev (17) Carnap Rudolf (4) Chydenius Anders (2) common sense (1) Cygnaeus Fredrik (1) d'Alembert J. le R. (1) Darwin Charles (2) debattipuheenvuoro (1) demokratia (1) Descartes René (1) elämäkerta (7) emeritus (3) empirismi (2) esitelmä (12) etiikka (7) Euterpe (1) fenomenologia (1) Feuerbach Ludwig (1) Filosofia Suomessa (1) Filosofia.fi (1) Filosofiska föreningen (1) Finsk Tidskrift (39) Finska VetenskapsSocieteten (1) Forsius Sigfridus Aronus (2) Forsskål Peter (1) Framtid (2) Franzén F. M. (1) Geografiska Föreningens Tidskrift (5) Göschel K. F. (1) haastattelu (3) Hartman G. I. (3) Hassel Henrik (1) Hasselbom Nils (1) Hegel G. W. F. (5) Heidegger Martin (1) Helsingin yliopisto (1) Historiallinen sanomalehtikirjasto (3) historiikki (1) humanismi (1) Härmän katekismus (1) Höijer Benjamin (1) Ikaros (1) ilmaisunvapaus (1) intuitio (1) Juslenius Daniel (1) Kaila Eino (12) Kant Immanuel (2) kantilaisuus (1) kasvatusfilosofia (2) Kauppi Raili (1) Ketonen Oiva (3) kirjaarvio (7) kirjallisuuden filosofia (1) kirje (74) kirjeenvaihto (1) kolumni (1) koulu (20) koulutuspolitiikka (1) kristinusko (2) Krohn Sven (2) kulttuurifilosofia (4) Lagerborg Rolf (77) Lagus A. J. (1) Lahtinen Mikko (1) Lamarck JeanBaptiste (2) Landtman Gunnar (2) Lange Carl (1) liberalismi (1) litteroitu (11) logiikka (8) Logosensyklopedia (1) looginen empirismi (4) luento (3) luonto (1) maailmankatsomus (1) maailmankuva (1) Machiavelli Niccólo (1) materialismi (1) metafysiikka (1) mielenfilosofia (5) mieli (1) moraali (8) moraalifilosofia (3) moraalikasvatus (20) moraalirelativismi (2) moraalisairaus (1) muistelma (1) muistokirjoitus (1) muistopuhe (1) mystiikka (1) nationalismi (4) Neurath Otto (1) Nietzsche Friedrich (1) Nietzschedebatten 1901 (4) niin & näin (2) Numelin Ragnar (2) nuoriso (2) oikeus (1) oikeusfilosofia (1) Palander Gabriel (1) paralleeliteoria (1) paranormaalit ilmiöt (1) Pipping Rolf (3) Plotinos (1) Porthan H. G. (2) pragmatismi (2) psykologia (13) puhe (2) päiväkirjakirjoitus (4) rakkaus (1) Reichenbach Hans (1) Rein Thiodolf (2) Reinhold C. L. (1) Reuter Julio (2) romantiikka (1) Rousset de Missy J. (1) Salomaa J. E. (3) Savolainen Raimo (1) Schlick Moritz (3) SFY (2) Siukonen Jyrki (1) siveysoppi (28) Snellman C. H. (1) Snellman J. V. (14) sosialismi (1) Spencer Herbert (1) Spinoza Baruch (1) Stenius Erik (2) Suomen Akatemia (1) Suomen filosofian historia (12) suomennos (11) Svenska Läkartidningen (1) Swedenborg Emanuel (1) swedenborgilaisuus (1) taide (4) taikausko (2) Tengström J. J. (1) Tenkku Jussi (1) tiede (7) tiedon vapaus (1) tieteenfilosofia (4) tietoisuus (1) tietoteoria (2) Transactions of the Westermarck Society (1) tunteet (1) Turun Akatemia (115) Uppslagsverket Finland (3) uskonnonopetus (21) uskonnonvapaus (1) uskonto (32) valistus (1) verkkolinkki (21) Voltaire (1) von Wright G. H. (9) väitöskirja (116) Welin Johan (1) Westermarck Edvard (10) Wienin piiri (4) Wittgenstein Ludwig (4) yhteiskuntafilosofia (3) yliopistot (1) Åbo Akademi (2) Åbo universitets historia (1) TekijäAchrelius Daniel (1)
Ailio Julius (1) Anders Johan Lexell (1) Aristoteles (1) Attias Daniel (1) Avellan Johan Henrik (6) Backman Jussi (1) Bergbom Fredrik (3) Bilmark Johan (16) Bolin Wilhelm (1) Brotherus K. R. (1) Browallius Johan (1) Castrén Zachris (3) Choraeus Mikael (3) Elfving Fredrik (1) F. Ho. (1) Flachsenius Jakob (4) Flachsenius Johan (1) Frank Hartwig (1) Franzén Frans Mikael (7) Gadolin Jacobus (1) Grotenfelt Arvi (2) Gyldenstolpe Samuel (1) Haaparanta Leila (1) Haara Janne (1) Haartman Jakob Johan (3) Haartman Johan (Jakob) (2) Hahn Petter (1) Hartman Gabriel Israel (6) Hassel Henrik (12) Hasselbom Nils (2) Hertzberg Lars (3) Hällström Gustav Gabriel (2) Ingman Lauri (1) Jalava Marja (1) Jokinen Väinö (1) Juslenius Daniel (2) Kalleinen Kristiina (1) Kalm Pehr (3) Karsten Rafael (3) Kempe Axel (2) Kivistö Sari (1) Knif Henrik (1) Koskenniemi V. A. (1) Koski Tapio (1) Kristiansson Sven Elof (2) Lagerborg Rolf (37) Lagerspetz Kari (1) Lagerspetz Olli (1) Lagus Anders Johan (5) Lahtinen Mikko (1) Laitinen Arto (1) Lampén Ernst (2) Landtman Gunnar (1) Laurbecchius Petter (3) Leinonen Mikko (1) Lindroos Ilari (1) Lindroos Karl (1) Lyly J. A. (1) Manninen Juha (13) Mantere Oskari (2) Martin Johan Wallenius (1) Mennander Karl Fredrik (2) Mesterton Karl (6) Meurman Agathon (1) Mickwitz Joachim (1) Mikkonen Jukka (1) Miltopaeus Mårten (3) Neiglick Hjalmar (2) Neuman Yrsa (2) Niiniluoto Ilkka (8) Nääf Vilhelm Robert (2) Oittinen Vesa (9) Palander Gabriel (2) Pekonen Osmo (1) Perander Johan Julius Fritjof (2) Pietarinen Juhani (2) Pihlström Sami (1) Prest Marcus (1) Pursiainen Terhi (2) Pärssinen Hilja (1) Pörn Ingmar (2) Rantala Heli (2) Rein Thiodolf (10) Ringbom Mårten (1) Roinila Markku (1) Rosenqvist Axel Rafael (1) Rosenqvist Georg Gustaf (3) Rudeen Torsten (1) Ruin Waldemar (3) Salmela Mikko (8) Salmi Hulda (1) Salminen Antti (1) Sandelin Kalle (1) Scarin Algot (4) Schauman Georg (1) Sintonen Matti (1) Siukonen Jyrki (1) Soininen Mikael (1) Soldan August Fredrik (1) Stroup Timothy (1) Suoranta Juha (1) Tegen Einar (1) Tengström Jakob (1) Tigerstedt Robert (2) Tomperi Tuukka (1) Tålpo Simon (1) Törnudd Allan (1) Uschanov T. P. (1) Vadén Tere (1) Vilkko Risto (4) Virkkunen Paavo (3) Volanen Matti Vesa (1) von Boguslawski Michael (1) von Fieandt Kai (1) von Plato Jan (1) von Wendt Ernst (1) von Wright Georg Henrik (37) Väyrynen Kari (1) Wallenius Johan (3) Wallenius Martin Johan (1) Wallgren Thomas (2) Wanochius Anders (1) Westermarck Edvard (122) Wetterhof Rosina (1) Wilenius Reijo (1) Y.K. (1) YrjöKoskinen Eino Sakari (1) Åström SvenErik (1) 