A contrary-to-duty obligation (sometimes called a reparational duty) is a conditional obligation where the condition is forbidden, e.g. “if you have hurt your friend, you should apologise”, “if he is guilty, he should confess”, and “if she will not keep her promise to you, she ought to call you”. It has proven very difficult to find plausible formalisations of such obligations in most deontic systems. In this paper, we will introduce and explore a set of temporal alethic dyadic deontic systems, (...) i.e., systems that include temporal, alethic and dyadic deontic operators. We will then show how it is possible to use our formal apparatus to symbolise contrary-to-duty obligations and to solve the so-called contrary-to-duty (obligation) paradox, a problem well known in deontic logic. We will argue that this response to the puzzle has many attractive features. Semantic tableaux are used to characterise our systems proof theoretically and a kind of possible world semantics, inspired by the so-called T× W semantics, to characterise them semantically. Our models contain several different accessibility relations and a preference relation between possible worlds, which are used in the definitions of the truth conditions for the various operators. Soundness results are obtained for every tableau system and completeness results for a subclass of them. (shrink)

The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T x W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect (...) to their semantics. (shrink)

The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and the (...) proof-theoretical apparatus of semantic tableaux. The ‘quantified part’ of the systems includes relational predicates and the identity symbol. The quantifiers are, in effect, a kind of possibilist quantifiers that vary over every object in the domain. The tableaux rules are classical. The alethic part contains two types of modal operators for absolute and historical necessity and possibility. According to ‘boulesic logic’ (the logic of the will), ‘willing’ (‘consenting’, ‘rejecting’, ‘indifference’ and ‘non-indifference’) is a kind of modal operator. Doxastic logic is the logic of beliefs; it treats ‘believing’ (and ‘conceiving’) as a kind of modal operator. I will explore some possible relationships between these different parts, and investigate some principles that include more than one type of logical expression. I will show that every tableau system in the paper is sound and complete with respect to its semantics. Finally, I consider an example of a valid argument and an example of an invalid sentence. I show how one can use semantic tableaux to establish validity and invalidity and read off countermodels. These examples illustrate the philosophical usefulness of the systems that are introduced in this paper. (shrink)

In an earlier paper by the author, Åqvist , I presented an approach to the logic of historical necessity, or inevitability, in the sense of a “two-dimensional” combination of tense and modal logic for worlds, or histories, with the same time order, known as T × W logic. Distinctive features of that approach were, apart from its two-dimensionality, its being based on discrete and finite time, and its use of so-called systematic frame constants in order to enable us to indicate (...) longitudes and latitudes of any points in the co-ordinate systems under consideration. This led us to study and axiomatize an infinite hierarchy HTWxy of two-dimensional modal tense logics with the characteristic operators for historical necessity and possibility added to the original basic vocabulary. The main purpose of the present paper is then twofold: to extend the logics HTWxy to the interesting branch of philosophical logic constituted by deontic logic as combined with tense logic; and to deal with a curious puzzle known as the so-called epistemic obligation paradox – a well known stumbling-block in this area of research in philosophical logic. We argue for a solution to both these problems, which appeals to a new infinite hierarchy DHTWxym of extensions of the HTWxy in the sense of logics combining dyadic deontic modalities with temporal ones such as those for historical necessity and other two-dimensional modalities. (shrink)

The purpose of this paper is to improve on the logical and measure-theoretic foundations for the notion of probability in the law of evidence, which were given in my contributions Åqvist [ (1990) Logical analysis of epistemic modality: an explication of the Bolding–Ekelöf degrees of evidential strength. In: Klami HT (ed) Rätt och Sanning (Law and Truth. A symposium on legal proof-theory in Uppsala May 1989). Iustus Förlag, Uppsala, pp 43–54; (1992) Towards a logical theory of legal evidence: semantic analysis (...) of the Bolding–Ekelöf degrees of evidential strength. In: Martino AA (ed) Expert systems in law. Elsevier Science Publishers BV, Amsterdam, North-Holland, pp 67–86]. The present approach agrees with the one adopted in those contributions in taking its main task to be that of providing a semantic analysis, or explication, of the so called Bolding–Ekelöf degrees of evidential strength (“proof-strength”) as applied to the establishment of matters of fact in law-courts. However, it differs from the one advocated in our earlier work on the subject in explicitly appealing to what is known as “Pro-et-Contra Argumentation”, after the famous Norwegian philosopher Arne Naess. It tries to bring out the logical form of that interesting kind of reasoning, at least in the context of the law of evidence. The formal techniques used here will be seen to be largely inspired by the important work done by Patrick Suppes, notably Suppes [(1957) Introduction to logic. van Nostrand, Princeton and (1972) Finite equal-interval measurement structures. Theoria 38:45–63]. (shrink)

This paper examines the logic of conditional obligation, which originates from the works of Hansson, Lewis, and others. Some weakened forms of transitivity of the betterness relation are studied. These are quasi-transitivity, Suzumura consistency, acyclicity and the interval order condition. The first three do not change the logic. The axiomatic system is the same whether or not they are introduced. This holds true under a rule of interpretation in terms of maximality and strong maximality. The interval order condition gives rise (...) to a new axiom. Depending on the rule of interpretation, this one changes. With the rule of maximality, one obtains the principle known as disjunctive rationality. With the rule of strong maximality, one obtains the Spohn axiom (also known as the principle of rational monotony, or Lewis’ axiom CV). A completeness theorem further substantiates these observations. For interval order, this yields the finite model property and decidability of the calculus. (shrink)