Results 61 to 70 of about 13,565 (215)
Noûs, Volume 60, Issue 2, Page 371-384, June 2026.Abstract In this paper, we explore the tension between the KK thesis and an attractive principle concerning the assertability of conditionals. We explore the prospects for defending the KK thesis against the problems posed, and conclude that they are dim.
John Hawthorne, Yoaav Isaacs
wiley +1 more source
On Quantified Modal Theorem Proving for Modeling Ethics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.
Naveen Sundar Govindarajulu +2 more
doaj +1 more source
Истоки деонтической логики в философии Лейбница [PDF]
, 2014 Gottfried Wilhelm Leibniz’ contribution to deontic logic is considered in the article. He transferred rules and laws of alethic logic to deontic logic.
Glinchikova, A. V. +1 more
core +1 more source
Dilemmas of dating: The case of aprioristic sexual lookism
Journal of Social Philosophy, EarlyView.
Rossella De Bernardi
wiley +1 more source
Journal of Engineering Education, Volume 115, Issue 2, April 2026.Abstract Background The complexity of engineering practice highlights the need to make students aware of their responsibility as future professionals. However, integrating this concept into the engineering curricula remains a challenge. Purpose The study explores how engineering students conceptualize their responsibilities as future professionals and ...
Diana Adela Martin, Gunter Bombaerts
wiley +1 more source
Risto Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings
Crítica, 2018 ...
Álvaro Rodríguez Tirado
doaj +1 more source
Constraint rule-based programming of norms for electronic institutions [PDF]
, 2009 Peer ...
A. García-Camino +22 more
core +2 more sources
Deontic ‘cocktail’ according to E. Mally’s receipt [PDF]
, 2013 In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms.
Elena, Lisanyuk
core
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
, 2018 Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning.
Libal, Tomer, Pascucci, Matteo
core +3 more sources
Os Paradoxos de Prior e o Cálculo Proposicional Deôntico Relevante Eo
Princípios, 2010 Normative fragment of natural language make up sentences that express acts and describe norms. In this fragment there are criteria of logic thuth and relation of consequence between sentences which constitute a natural deontic logic. This paper adopts at
Ângela Maria Paiva Cruz
doaj