Counterfactuals and semantic tableaux

Rönnedal, Daniel

doi:10.12775/llp.2009.006

Cited by 2 publications

(9 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(6) I fill in some gaps in the soundness and completeness proofs that I intentionally cut out in [23]. We extend the soundness and completeness results to our set of 16 pure dyadic deontic systems.…”

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 94%

“…In [23] I described a set of counterfactual tableau systems. Technically some of the systems considered in this essay are very similar to some systems introduced in that paper.…”

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 99%

“…(2) We introduce some pure dyadic deontic systems that do not have any analogues in [23] and show how these are related to each other.…”

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 99%

“…The informal interpretation of our systems and our semantics is, of course, also different. (4) We consider an alternative semantics that we didn't examine in [23], one that uses models with a preference relation.…”

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 99%

“…The truth conditions for proposition letters, ⊤, ⊥ and sentences built by truth functional connectives are the usual ones. ◻A, A and A are interpreted as in [23]. The truth conditions for the remaining sentences in L are given by the following clauses:…”

Section: Definitionsmentioning

confidence: 99%

See 4 more Smart Citations

Dyadic deontic logic and semantic tableaux

Rönnedal

2010

LLP

Self Cite

View full text Add to dashboard Cite

Abstract. The purpose of this paper is to develop a class of semantic tableau systems for some dyadic deontic logics. We will consider 16 different pure dyadic deontic tableau systems and 32 different alethic dyadic deontic tableau systems. Possible world semantics is used to interpret our formal languages. Some relationships between our systems and well known dyadic deontic logics in the literature are pointed out and soundness results are obtained for every tableau system. Completeness results are obtained for all 16 pure dyadic deontic systems and for 16 alethic dyadic deontic systems.

show abstract

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 94%

“…In [23] I described a set of counterfactual tableau systems. Technically some of the systems considered in this essay are very similar to some systems introduced in that paper.…”

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 99%

“…(2) We introduce some pure dyadic deontic systems that do not have any analogues in [23] and show how these are related to each other.…”

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 99%

Section: O[p]r → O[p ∧ Q]rmentioning

confidence: 99%

Section: Definitionsmentioning

confidence: 99%

See 3 more Smart Citations

Dyadic deontic logic and semantic tableaux

Rönnedal

2010

LLP

Self Cite

View full text Add to dashboard Cite

show abstract

Boulesic Logic, Deontic Logic and the Structure of a Perfectly Rational Will

Rönnedal

2020

orgf

Self Cite

View full text Add to dashboard Cite

In this paper, I will discuss boulesic and deontic logic and the relationship between these branches of logic. By 'boulesic logic,' or 'the logic of the will,' I mean a new kind of logic that deals with 'boulesic' concepts, expressions, sentences, arguments and systems. I will concentrate on two types of boulesic expression: 'individual x wants it to be the case that' and 'individual x accepts that it is the case that.' These expressions will be symbolised by two sentential operators that take individuals and sentences as arguments and give sentences as values. Deontic logic is a relatively well-established branch of logic. It deals with normative concepts, sentences, arguments and systems. In this paper, I will show how deontic logic can be grounded in boulesic logic. I will develop a set of semantic tableau systems that include boulesic and alethic operators, possibilist quantifiers and the identity predicate; I will then show how these systems can be augmented by a set of deontic operators. I use a kind of possible world semantics to explain the intended meaning of our formal systems. Intuitively, we can think of our semantics as a description of the structure of a perfectly rational will. I mention some interesting theorems that can be proved in our systems, including some versions Daniel Rönnedal Organon F 27 (2) 2020: 187-262 of the so-called hypothetical imperative. Finally, I show that all systems that are described in this paper are sound and complete with respect to their semantics.

show abstract

Counterfactuals and semantic tableaux

Cited by 2 publications

References 19 publications

Dyadic deontic logic and semantic tableaux

Dyadic deontic logic and semantic tableaux

Boulesic Logic, Deontic Logic and the Structure of a Perfectly Rational Will

Contact Info

Product

Resources

About