Search
Search Results
-
Generalizing Deontic Action Logic
We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning:...
-
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of...
-
‘Truthmaker Foundations for Deontic Logic’: Response to Rothchild’s and Yablo’s ‘Permissive Updates’
I attempt to provide a general account of deontic context, equally applicable within and an intensional and a hyperintensional framework; I compare...
-
Reasoning with Rules and Rights: Term-Modal Deontic Logic
General obligations such as ‘every driver has to give way to a driver coming from the right’ are central in legal reasoning, but have been mostly...
-
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
We propose a minimal deontic logic, called MIND, based on intuitionistic logic. This logic gives a very simple solution to handling conflicting...
-
Deontic Logic and the Propositional Nature of Norms
In this paper, we examine a solution to Jørgensen’s dilemma advanced by Hilpinen in several papers. According to Hilpinen, the distinction between...
-
Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. The embedding is proven...
-
Conditional Obligations in Justification Logic
This paper presents a justification counterpart for dyadic deontic logic, which is often argued to be better than Standard Deontic Logic at...
-
From Ideal to Actual Prescriptions in Dynamic Deontic Logic
Ascribing responsibility is not only a matter of identifying who caused a certain result (actus reus question) and why they did it (mens rea...
-
Deontic Logic with Action Types and Tokens
A new characterization of the deontic operators of permission and prohibition is introduced based on a distinction between action types and action...
-
Killing Gently by Means of the śyena: The Navya-Nyāya Analysis of Vedic and Secular Injunctions (vidhi) and Prohibitions (niṣedha) from the Perspective of Dynamic Deontic Logic
In the present paper we model the Navya-Nyāya analysis of Vedic and secular injunctions and prohibitions by means of Giordani’s and Canavotto’s...
-
On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation
This paper examines the logic of conditional obligation, which originates from the works of Hansson, Lewis, and others. Some weakened forms of...
-
Weighted Modal Logic in Epistemic and Deontic Contexts
We introduce a type of weighted modal logic with explicit weights both in the language and in the models. The framework has its applications in...
-
Dynamic Logic of Legal Competences
We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic...
-
Free Choice in Modal Inquisitive Logic
This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the...
-
The relation of master and disciple against the background of Józef M. Bocheński’s logic of authority
The aim of this article is to apply Józef M. Bocheński’s logic of authority to a key interpersonal relation of philosophical interest: the...
-
Inquiry, reasoning and the normativity of logic
According to the traditional view in the philosophy of logic facts of logic bear normative authority regarding how one ought to reason. Usually this...
-
The Logic of Lexical Connectives
Natural language does not express all connectives definable in classical logic as simple lexical items. Coordination in English is expressed by...
-
Logic-Sensitivity and Bitstring Semantics in the Square of Opposition
This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a...