Lecture Notes in Computer Science: Logics of Agency, Counterfactuals, and Norms

Canavotto, Ilaria

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.

Details

Published by: Springer

Publication Date: 2022-11-05

Format: Paperback

ISBN-13: 9783031171109

DOI: 10.1007/978-3-031-17111-6

Dimensions: 235cm x155cm

Pages: 212