Two systems of deontic logic

Authors

Andrea M. Loparić
University of São Paulo image/svg+xml
https://orcid.org/0000-0003-0241-0903 (unauthenticated)
Leila Z. Puga
Pontifical Catholic University of São Paulo image/svg+xml
DOI: https://doi.org/10.20396/ISBN9786588097229/cap8

Synopsis

This paper introduces two first-order deontic logics with identity:D0, basedon classical logic, andD1, based on the paraconsistent logicC1. WhileD0rules outmoral dilemmas,D1allows them. Both systems have Kripke semantics and are shownto be sound and complete. Their propositional fragments are decidable.

Author Biographies

Andrea M. Loparić, University of São Paulo

Professora Sênior pela Universidade de São Paulo (USP).

Leila Z. Puga, Pontifical Catholic University of São Paulo

Professora Titular da Pontifícia Universidade Católica de São Paulo (PUCSP).

capa_vol95

Downloads

capítulo 8

Volume

Andréa Loparić on semantics for non-classical logics: essays in honour of Andréa Loparić

Published

August 21, 2025

Series

Coleção CLE
Copyright (c) 2025 Centro de Lógica, Epistemologia (CLE-UNICAMP)

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.