Where Responsibility Takes You [electronic resource] : Logics of Agency, Counterfactuals, and Norms / by Ilaria Canavotto.
By: Canavotto, Ilaria [author.].
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science: 13228Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Edition: 1st ed. 2022.Description: XIII, 212 p. 27 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031171116.Subject(s): Logic | LogicAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 160 Online resources: Click here to access onlineBackground on STIT and related logics -- Agency and counterfactuals -- Causal responsibility: A first refinement of STIT -- STIT semantics for choice-driven counterfactuals -- Counterfactuals grounded in voluntary imagination -- Norms -- From ideal to actual prescriptions in dynamic deontic logic -- Normative conflicts in a dynamic logic of norms and codes.
This book presents the Ph.D. dissertation of Ilaria Canavotto. The thesis won the E.W. Beth Dissertation Prize in 2021 for outstanding dissertations in the fields of logic, language, and information. It combines modal logics of agency, counterfactuals, and norms in order to study the reasoning underlying ascriptions of causal responsibility, the responsibility an agent is subject to because of the states of affairs they have brought about. Ascriptions of causal responsibility involve both causal reasoning and normative reasoning. In order to provide a logical analysis of these components, the dissertation brings together two mainstream logics of actions, STIT (seeing to it that) logic and Propositional Dynamic Logic, and extends them with an analysis of causality, a Lewis-Stalnaker style analysis of counterfactuals, subject matter semantics, and deontic logic. The author uses the resulting logics to investigate a number of philosophical issues underlying ascriptions of causal responsibility and technical issues emerging from the unification of the above-mentioned formal frameworks.
There are no comments for this item.