000 03180nam a22004935i 4500
001 978-3-031-17111-6
003 DE-He213
005 20240730170905.0
007 cr nn 008mamaa
008 221104s2022 sz | s |||| 0|eng d
020 _a9783031171116
_9978-3-031-17111-6
024 7 _a10.1007/978-3-031-17111-6
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
072 7 _aQDTL
_2thema
082 0 4 _a160
_223
100 1 _aCanavotto, Ilaria.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_996009
245 1 0 _aWhere Responsibility Takes You
_h[electronic resource] :
_bLogics of Agency, Counterfactuals, and Norms /
_cby Ilaria Canavotto.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2022.
300 _aXIII, 212 p. 27 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13228
505 0 _aBackground 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.
520 _aThis 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.
650 0 _aLogic.
_924230
650 1 4 _aLogic.
_924230
710 2 _aSpringerLink (Online service)
_996011
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031171109
776 0 8 _iPrinted edition:
_z9783031171123
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13228
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-17111-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87250
_d87250