184 research outputs found

    FIVE STEPS TO RESPONSIBILITY

    Get PDF
    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

    Get 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. This chapter surveys the main motivations, achievements, and prospects of this work

    A Formal Theory of Action

    Get PDF
    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

    Full text link
    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

    Choice-Driven Counterfactuals

    Get PDF
    • …
    corecore