Advances in Deontic Logic [Review]

Abstract not available

A preference-based semantics for CTD reasoning

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

La logique déontique : une application de la logique à l'éthique et au discours juridique

Cet ouvrage a été rédigé en LaTeX, ce qui permet d'atteindre directement certaines sections, notes ou références bibliographiques par le biais des hyperliens.

Analyse de la structure logique des inférences légales et modélisation du discours juridique

Thèse par articles.

Análisis constitucional. Una introducción : cómo hacer cosas con la Constitución

La Corte Constitucional colombiana, a través de la interpretación del texto de la carta política, ha hecho invaluables aportes al desarrollo del derecho en nuestro país. Sin embargo, este proceso de definir las palabras de la Constitución requiere la utilización de preferencias valorativas y esto, como es natural, implica un grave riesgo para la seguridad jurídica: ¿hasta dónde puede llegar el intérprete, ¿cuáles son los límites que debe respetar?. Este riesgo incrementa si tenemos en cuenta que buena parte de la doctrina constitucional colombiana contemporánea, llamada por algunos neoconstitucionalismo, ha creado una nueva jerga erudita impenetrable llena de metáforas sofisticadas, razonamientos abstrusos, argumentos con una gran carga emotiva y citas herméticas que, en cierta medida, le han permitido encubrir sus ideas y valoraciones y, de este modo, evitar que sean sensatamente escudriñadas. En un sistema como el colombiano, erigido sobre el principio de frenos y contrapesos entre los distintos poderes del Estado, si el poder político se ejerce a través de la justicia constitucional, en un lenguaje incomprensible y presentado como un argumento de última instancia, todo el equilibrio se viene abajo y, muy pronto, el derecho se convierte en el principal instrumento del despotismo., de Daniel Mendonca, es un libro perfectamente honesto que presenta sus ideas con absoluta claridad y ayuda a trazar los límites entre la discrecionalidad y la arbitrariedad de la interpretación constitucional.

Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas

We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal logic K (the simplest normal logic simpliciter). Following an idea discussed by Jaakko Hintikka, these conservative translations are based on the third formulation of Kantian categorical imperative, the formulation of the Kingdom of Ends.

Permissions in Deontic Event-Calculus

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.