184 research outputs found
FIVE STEPS TO RESPONSIBILITY
Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other academic areas. As a comment to this concept, I suggest five steps narrative scenario in order to show how the logical dimension of responsibility emerges from diverse tendencies in logic and other sciences. Here are the five steps briefly stated:
Step 1. Developing modal formalisms capable of evaluative analysis of situations (deontic, epistemic and etc.).
Step 2. Drawing a conceptual borderline between normal and non-normal (weak) logical systems.
Step 3. Using different kinds of models.
Step 4. Agent- and action- friendly turn in logic.
Step 5. Creating formalisms for modeling different types of agency.
An idea advocated here within 5-Steps route to responsibility is that this concept is a complex causal and evaluative (axiological) relation. A logical account may be given for causal and normative aspects of this relation. Unfolding the responsibility back and forth through 5 Steps will result in different concepts. The technicalities are minimized for the sake of keeping the philosophical scope of the paper. For the same reason I also refrain from discussing legal and juridical ramifications of the issue
Deontic Logic and Natural Language
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. This chapter surveys the main motivations, achievements, and prospects of this work
A Formal Theory of Action
Book Reviews: Janusz Czelakowski, Freedom and Enforcement in Action. A Study in Formal Action Theory, vol. 42 of the Trends in Logic book series, Springer, Dordrecht, 2015, 261 pages, Print ISBN 978-94-017-9854-9, Online ISBN 978-94-017-9855-6. DOI: 10.1007/978-94-017-9855-6
A Logic of Knowing How
In this paper, we propose a single-agent modal logic framework for reasoning
about goal-direct "knowing how" based on ideas from linguistics, philosophy,
modal logic and automated planning. We first define a modal language to express
"I know how to guarantee phi given psi" with a semantics not based on standard
epistemic models but labelled transition systems that represent the agent's
knowledge of his own abilities. A sound and complete proof system is given to
capture the valid reasoning patterns about "knowing how" where the most
important axiom suggests its compositional nature.Comment: 14 pages, a 12-page version accepted by LORI
- …