Some Theorems about a “Tree” System of Deontic Tense Logic

The purpose of this paper is to develop and to investigate some properties of a system of so called deontic tense logic, i.e. a logic which combines tense operators, or temporal modalities, with operators expressing obligation and permission. See sections 3–4 below. We call the proposed system DARB, where “D” suggests “deontic” and “ARB” the Latin arbor (meaning “tree”). DARB is interpreted semantically or model-theoretically by means of certain set-theoretical structures successively built up in a chain: “integral temporal frames”, “trees based on integral temporal frames”, “enriched trees” and “DARB-models”; naturally, this leads up to a well defined conception of validity in the system DARB. See sections 5–9 below. The DARB-models are closely related to the models used by Brian F. Chellas (in his work on imperatives) in Chellas (1969) ch. IV sect. 3 and in Chellas (1971) sect. 6 as well as to the models used in Aqvist’s work (1977) on action sentences.

[1]  Wolfgang Spohn,et al.  An analysis of Hansson's dyadic deontic logic , 1975, J. Philos. Log..

[2]  B. Hansson An analysis of some deontic logics , 1969 .

[3]  Lennart Aqvist,et al.  "Next" and "ought" alternative foundations for von Wright's tense-logic, with an application to deontic logic , 1966 .

[4]  L. Åqvist Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations , 1967 .

[5]  Christian Rohrer Papers on tense, aspect and verb classification , 1978 .

[6]  D. Clarke The logical form of imperatives , 1975 .

[7]  R. A. Bull An Algebraic Study of Tense Logics with Linear Time , 1968, J. Symb. Log..

[8]  Lawrence Powers,et al.  Some Deontic Logicians , 1967 .

[9]  S. Kanger New Foundations for Ethical Theory , 1970 .

[10]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

[11]  R. Hilpinen Deontic Logic: Introductory and Systematic Readings , 1981 .

[12]  Lennart Åqvist,et al.  Modal logic with subjunctive conditionals and dispositional predicates , 1973, J. Philos. Log..

[13]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[14]  Nicholas Rescher The Logic Of Commands , 1966 .

[15]  A. Montefiore NORM AND ACTION , 1964 .

[16]  Lennart Åqvist A conjectured axiomatization of two-dimensional Reichenbachian tense logic , 1979, J. Philos. Log..

[17]  Lennart Aqvist,et al.  Improved Formulations of Act-Utilitarianism , 1969 .

[18]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .