Results 91 to 100 of about 13,493 (213)
Applied SciencesAutomated verification through the analysis of system models is often recommended to evaluate the correctness of safety-critical systems. Failures in such systems can have serious effects on both individuals and hardware.
Bożena Woźna-Szcześniak +2 more
doaj +1 more source
Deontic Logic and Natural Language [PDF]
There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends.
Cariani, Fabrizio
core
Metaphysical and absolute possibility [PDF]
, 2019 It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press,
Clarke-Doane, Justin
core
The Problem of Ignorance [PDF]
, 2020 Holly Smith (2014) contends that subjective deontological theories – those that hold that our moral duties are sensitive to our beliefs about our situation – cannot correctly determine whether one ought to gather more information before acting.
Lee-Stronach, Chad
core
« This Empty Tale » : monstration de l’envers et dire politique dans How the Dead Live de Will Self
Études Britanniques Contemporaines, 2008 This article envisages one of Will Self’s novels through the prism of the uncanny. Such tonality owes a lot to a poetics of radical inversion that taps the powers of contradiction to renew the tradition of ars moriendi. By resorting to a logic of excess,
Jean-Michel Ganteau
doaj +1 more source
Leon Petrażycki on Norms and Their Logical Study
Studia Humana, 2018 In this paper we discuss L. Petrażycki’s idea of norm as a normative relation and show its repercussions in two perspectives connected to each other, in the legal theory in the framework of which it was originally introduced and where its role was ...
Lisanyuk Elena, Barbashina Evelina
doaj +1 more source
A structured argumentation framework for detaching conditional obligations
, 2016 We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by ...
Beirlaen, Mathieu, Straßer, Christian
core
A normative approach to multi-agent systems for intelligent buildings [PDF]
, 2011 Building Management Systems (BMS) are widely adopted in modern buildings around the world in order to provide high-quality building services, and reduce the running cost of the building.
Gulliver, Stephen +2 more
core
Patterns of Reasoning Shared Across Cultural Divides
Orientalia Suecana, 2021 In this paper, a selection of arguments encountered in a pair of canonical classical Greek and Chinese literary and philosophical works are analyzed and compared. The works in which the passages selected for analysis occur are the Histories of Herodotus
Otto Linderborg
doaj
Deontic Moral Reasoning Task: Is Moral Reasoning Special?
Psychological Topics, 2019 Domain theory suggests that moral rules and conventions are perceived differently and elicit a different response. A special procedure was designed to test this hypothesis in a laboratory setting using a deontic reasoning task.
Mislav Sudić +2 more
doaj +2 more sources