The categorical imperative: category theory as a foundation for deontic logic

DOI10.1016/j.jal.2014.07.001zbMath1395.03010OpenAlexW2011126595MaRDI QIDQ472796

Clayton Peterson

Publication date: 20 November 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2014.07.001

zbMATH Keywords

paradoxescategorical logicdeductive systemconditional normative reasoningconflicting obligations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Special categories (18B99)

Related Items (2)

A comparison between monoidal and substructural logics ⋮ Contrary-to-duty reasoning: a categorical approach

Cites Work

• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• A dynamic deontic logic for complex contracts
• A deontic logic framework allowing for factual detachment
• Deontic epistemic stit logic distinguishing modes of mens rea
• Linear logic
• Action negation and alternative reductions for dynamic deontic logics
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Handbook of philosophical logic. Vol. 8
• Softness of hypercoherences and MALL full completeness
• A deontic logic of action
• Residuated lattices. An algebraic glimpse at substructural logics
• Constructive logic with strong negation is a substructural logic. I
• Dyadic deontic detachment
• Coherence for compact closed categories
• Categorical logic and type theory
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Moral dilemmas and nonmonotonic logic
• Permission from an input/output perspective
• Input/output logics
• Detachment and defeasibility in deontic logic
• Deontic database constraints, violation and recovery
• Contrary-to-duty reasoning: a categorical approach
• An inconsistency-adaptive deontic logic for normative conflicts
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Two adaptive logics of norm-propositions
• Equational characterization of Nelson algebra
• The logic of conditional obligation. Comments by Harry Beatty
• Obligation, contracts, and negotiation: Outlining an approach
• Deontic logic and possible worlds semantics: A historical sketch
• Physics, Topology, Logic and Computation: A Rosetta Stone
• The Mathematics of Sentence Structure
• A Logical Architecture of a Normative System
• Fibered categories and the foundations of naive category theory
• Completeness Results for Lambek Syntactic Calculus
• *-Autonomous categories and linear logic
• Games and full completeness for multiplicative linear logic
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Conditional Obligation
• The dynamic logic of permission
• Contrary-to-Duty Imperatives and Conditional Obligation
• Normative Conflicts and The Logic of ‘Ought’
• Formal Philosophy and Legal Reasoning: The Validity of Legal Inferences
• Obligations with deadlines: a formalization in Dynamic Deontic Logic
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Deductive systems and categories
• Deontic Logic in Computer Science
• Deontic Logic in Computer Science
• Deontic Logic in Computer Science
• Constraints for input/output logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The categorical imperative: category theory as a foundation for deontic logic