A deontic logic of action

The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games.     

Actual truth,possible knowledge

The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington's suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds in theactual situation. Thus, suppose that our object language contains the operatorA — it is actually the case that ... — with the following truth condition: _vA iff _w0, wherew ₀ stands for the designated world of the model — the actual world. Then we can formalize the verificationist claim as follows:

Alternative Actions and the Spirit of Consequentialism

The simple idea behind act-consequentialism isthat we ought to choose the action whoseoutcome is better than that of any alternativeaction. In a recent issue of this journal, ErikCarlson has argued that given a reasonableinterpretation of alternative actions thissimple idea cannot be upheld but that the newtheory he proposes nevertheless preserves theact-consequentialist spirit. My aim in thispaper is to show that Carlson is wrong on bothcounts. His theory, contrary to his ownintentions, is not an act-consequentialisttheory. By building on a theory formulated byHolly Smith, I will show that the simple ideacan be upheld. The new theory I will proposehas all the merits of Carlson's theory withoutsharing its demerits.