Introducing Exclusion Logic as a Deontic Logic

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics

Deontic logic as a study of conditions of rationality in norm-related activities

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic

Inferentialism

This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits of logical inferentialism, chiefly with regards to the epistemology of logic, and consider a number of objections. §3 introduces and critically examines the most influential and most fully developed form of global inferentialism: Robert Brandom’s inferentialism about linguistic and conceptual content in general. Finally, in §4 we consider a number of general objections to IRS and consider possible responses on the inferentialist’s behalf

Uncovering the Moral Heuristics of Altruism: A Philosophical Scale

Extant research suggests that individuals employ traditional moral heuristics to support their observed altruistic behavior; yet findings have largely been limited to inductive extrapolation and rely on relatively few traditional frames in so doing, namely, deontology in organizational behavior and virtue theory in law and economics. Given that these and competing moral frames such as utilitarianism can manifest as identical behavior, we develop a moral framing instrument—the Philosophical Moral-Framing Measure (PMFM)—to expand and distinguish traditional frames associated and disassociated with observed altruistic behavior. The validation of our instrument based on 1015 subjects in 3 separate real stakes scenarios indicates that heuristic forms of deontology, virtue-theory, and utilitarianism are strongly related to such behavior, and that egoism is an inhibitor. It also suggests that deontic and virtue-theoretical frames may be commonly perceived as intertwined and opens the door for new research on self-abnegation, namely, a perceived moral obligation toward suffering and self-denial. These findings hold the potential to inform ongoing conversations regarding organizational citizenship and moral crowding out, namely, how financial incentives can undermine altruistic behavior

Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT"

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues

Sequence Semantics for Norms and Obligations

This paper presents a new version of the sequence semantics presented at DEON 2014. This new version allows us for a capturing the distinction between logic of obligations and logic of norms. Several axiom schemata are discussed, while soundness and completeness results are proved

Resolving Conflicts of Rights: Russ Shafer-Landau and Judith Jarvis Thomson Revisited

This manuscript examines two accounts that discuss rights disputes. On the one hand, Russ Shafer-Landau argues for specificationism (or what is referred to here as SA), which deems rights as having innate limitations. One the other, Judith Jarvis Thomson defends infringement theory (or what is referred to here as IVA), which views rights to be competing factors. Shafer-Landau in “Specifying Absolute Rights” endeavored to discredit Thomson’s IVA and promote his favored theory. This material responds to and criticizes the claims Shafer-Landau pressed in his article. First part of the thesis addresses his concerns and finds them unconvincing. Using tools of logic, it is demonstrated that Shafer-Landau’s demands on compensation are without warrant. More than this, his demands on the tripartite are misguided. Second part tackles some shortcomings of SA. One of which is the finding that two of the three arguments Shafer-Landau posited for SA’s superiority run counter to each other. Should Shafer-Landau save one, it would remain untenable for the foundations therein rest on a mistake. Finally, his position of SA being sufficiently explanatory is in itself wanting. Though this material does not go as far as proving which theory is practically better, the project is not bereft of purpose. By the end, IVA would already have been relieved of the criticisms whereas SA would be confronted with multiple challenges

Model checking multi-agent systems

A multi-agent system (MAS) is usually understood as a system composed of interacting autonomous agents. In this sense, MAS have been employed successfully as a modelling paradigm in a number of scenarios, especially in Computer Science. However, the process of modelling complex and heterogeneous systems is intrinsically prone to errors: for this reason, computer scientists are typically concerned with the issue of verifying that a system actually behaves as it is supposed to, especially when a system is complex. Techniques have been developed to perform this task: testing is the most common technique, but in many circumstances a formal proof of correctness is needed. Techniques for formal verification include theorem proving and model checking. Model checking techniques, in particular, have been successfully employed in the formal verification of distributed systems, including hardware components, communication protocols, security protocols. In contrast to traditional distributed systems, formal verification techniques for MAS are still in their infancy, due to the more complex nature of agents, their autonomy, and the richer language used in the specification of properties. This thesis aims at making a contribution in the formal verification of properties of MAS via model checking. In particular, the following points are addressed: • Theoretical results about model checking methodologies for MAS, obtained by extending traditional methodologies based on Ordered Binary Decision Diagrams (OBDDS) for temporal logics to multi-modal logics for time, knowledge, correct behaviour, and strategies of agents. Complexity results for model checking these logics (and their symbolic representations). • Development of a software tool (MCMAS) that permits the specification and verification of MAS described in the formalism of interpreted systems. • Examples of application of MCMAS to various MAS scenarios (communication, anonymity, games, hardware diagnosability), including experimental results, and comparison with other tools available