Abstract
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 Åqvist’s work (1977) on action sentences.
The present contribution reports research done under the auspices of the Deutsche Forschungsgemeinschaft (DFG) project “Die Beschreibung mithilfe der Zeitlogik von Zeitformen undVerbal-periphrasen im Französischen, Portugiesischen und Spanischen”, led by Chr. Rohrer. We are grateful to Franz Günthner, Christian Rohrer and Dov M. Gabbay for useful and encouraging discussions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, A. R. (1956), The Formal Analysis of Normative Systems New Haven. Reprinted in The Logic of Decision and Action, edited by Nicholas Rescher, pp. 147–213. University of Pittsburgh Press, 1966.
Åqvist, L. (1960), The Moral Philosophy of Richard Price. Uppsala: Almqvist & Wiksell.
Åqvist, L. (1966), ‘“Next” and “Ought”. Alternative foundations for von Wright’s Tense-logic, with an Application to Deontic Logic’, Logique et Analyse 9, pp. 231–251.
Åqvist, L. (1967), ‘Good Samaritans, Contrary-to-duty Imperatives, and Epistemic Obligations’, Noûs 1, pp. 361–379.
Åqvist, L. (1969), ‘Improved Formulations of Actutilitarianism’, Noûs 3, pp. 299–323.
Åqvist, L. (1971), ‘Revised Foundations for Imperative-epistemic and Interrogative logic’. Theoria 37, pp. 33–73.
Åqvist, L. (1973), ‘Modal Logic with Subjunctive, Conditionals and Dispositional Predicates’, Journal of Philosophical Logic 2, pp. 1–76.
Åqvist, L. (1977), ‘An Analysis of Action Sentences Based on a “Tree” System of Modal Tense Logic’, in Papers on Tense, Aspect and Verb Classification, edited by C. Rohrer, TBL Verlag Gunter Narr, Tübingen, 1978, pp. 111–161.
Åqvist, L. (1979), ‘A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic’. Journal of Philosophical Logic 8, pp. 1–45.
Bull, R. A. (1968), ‘An Algebraic Study of Tense Logics with Linear Time’, Journal of Symbolic Logic 33, pp. 27–38.
Chellas, B. F. (1969), The logical Form of Imperatives. Stanford: Perry Lane Press.
Chellas, B. F. (1971), ‘Imperatives’, Theoria 37, pp. 114–129.
Chisholm, R. M. (1963), ‘Contrary-to-duty Imperatives and Deontic Logic’, Analysis 24, pp. 33–36.
Hansson, B. (1968), ‘Choice Structures and Preference Relations’, Synthese 18, pp. 443–458.
Hansson, B. (1969), ‘An Analysis of Some Deontic Logics’, Noûs 3, pp. 373–398. Reprinted in Deontic Logic: Introductory and Systematic Readings, edited by Risto Hilpinen, pp. 121–147. Dordrecht: Reidel, 1971.
Kanger, S. (1957), New Foundations for Ethical Theory. Stockholm: Department of Philosophy. Reprinted in Deontic Logic: Introductory and Systematic Readings, edited by Risto Hilpinen, pp. 36–58. Dordrecht: Reidel, 1971.
Kutschera, F. V. (1974), ‘Normative Präferenzen und bedingte Gebote’, In Normenlogik, edited by Hans Lenk, pp. 137–165. Pullach bei München: Verlag Dokumentation.
Lemmon, E. J. & Scott, D. (1977), An Introduction to Modal Logic (American Philosophical Quarterly Monograph No. 11), edited by Krister Segerberg, Oxford: Basil Blackwell.
Powers, L. (1967), ‘Some Deontic Logicians’, Noûs 1, pp. 381–400.
Prior, A. N. (1967), Past, Present and Future. Oxford: Clarendon.
Rescher, N. (1966), The Logic of Commands. London: Routledge & Kegan Paul.
Rescher, N. & Urquhart, A. (1971), Temporal Logic. Wien & New York: Springer-Verlag.
Scott, D. (1965), ‘The Logic of Tenses’. Mimeographed. Stanford University.
Spohn, W. (1975), ‘An Analysis of Hansson’s Dyadic Deontic Logic’. Journal of Philosophical Logic 4, pp. 237–252.
von Wright, G. H. (1963), Norm and Action. London: Routledge & Kegan Paul.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 D. Reidel Publishing Company.
About this chapter
Cite this chapter
Åqvist, L., Hoepelman, J. (1981). Some Theorems about a “Tree” System of Deontic Tense Logic. In: Hilpinen, R. (eds) New Studies in Deontic Logic. Synthese Library, vol 152. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8484-4_9
Download citation
DOI: https://doi.org/10.1007/978-94-009-8484-4_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-1346-9
Online ISBN: 978-94-009-8484-4
eBook Packages: Springer Book Archive