Results 1 to 10 of about 38,328 (103)
Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT" [PDF]
, 2022 This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to').
Silk, Alex
core +3 more sources
Logical Semantics and Norms: A Kantian Perspective [PDF]
, 2017 It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates ...
Mascarenhas, Sérgio
core +2 more sources
The hardness of the iconic must: Can Peirce’s existential graphs assist modal epistemology? [PDF]
, 2011 Charles Peirce’s diagrammatic logic - the Existential Graphs - is presented as a tool for illuminating how we know necessity, in answer to Benacerraf’s famous challenge that most “semantics for mathematics” do not “fit an acceptable epistemology”.
Legg, Catherine
core +3 more sources
Desires, norms and constraints [PDF]
, 2004 This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restrict its desires. More precisely, desires of a rational agent are restricted by
Cholvy, Laurence, Garion, Christophe
core +1 more source
Modal logics are coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina +4 more
core +5 more sources
Constraint rule-based programming of norms for electronic institutions [PDF]
, 2009 Peer ...
A. García-Camino +22 more
core +2 more sources
The Logical Burdens of Proof. Assertion and Hypothesis [PDF]
, 2017 The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely ...
Chiffi, Daniele, Schang, Fabien
core +2 more sources
, 2016 Comprehensive models for organizations must, on the one hand, be able to specify global goals and requirements but, on the other hand, cannot assume that particular actors will always act according to the needs and expectations of the system design ...
A.J. Jones +30 more
core +2 more sources
You better play 7: mutual versus common knowledge of advice in a weak-link experiment [PDF]
, 2012 This paper presents the results of an experiment on mutual versus common knowledge of advice in a two-player weak-link game with random matching. Our experimental subjects play in pairs for thirteen rounds.
Devetag, Giovanna +2 more
core +2 more sources
On Automating the Doctrine of Double Effect [PDF]
, 2017 The doctrine of double effect ($\mathcal{DDE}$) is a long-studied ethical principle that governs when actions that have both positive and negative effects are to be allowed. The goal in this paper is to automate $\mathcal{DDE}$.
Bringsjord, Selmer +1 more
core +1 more source