國立虎尾科技大學 |

Where Responsibility Takes You = Logics of Agency, Counterfactuals, and Norms /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Where Responsibility Takes You/ by Ilaria Canavotto.
其他題名:	Logics of Agency, Counterfactuals, and Norms /
作者:	Canavotto, Ilaria.
面頁冊數:	XIII, 212 p. 27 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-031-17111-6
ISBN:	9783031171116

Where Responsibility Takes You = Logics of Agency, Counterfactuals, and Norms /
Canavotto, Ilaria.

Where Responsibility Takes YouLogics of Agency, Counterfactuals, and Norms /[electronic resource] :by Ilaria Canavotto. - 1st ed. 2022. - XIII, 212 p. 27 illus.online resource. - Lecture Notes in Computer Science,132281611-3349 ;. - Lecture Notes in Computer Science,9324.

Background 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.

ISBN: 9783031171116

Standard No.: 10.1007/978-3-031-17111-6doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Where Responsibility Takes You = Logics of Agency, Counterfactuals, and Norms /
LDR:02845nam a22004095i 4500 001 1085193
003 DE-He213
005 20221104073801.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031171116 $9 978-3-031-17111-6
024 7 $a 10.1007/978-3-031-17111-6 $2 doi
035 $a 978-3-031-17111-6
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
100 1 $a Canavotto, Ilaria. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391609
245 1 0 $a Where Responsibility Takes You $h [electronic resource] : $b Logics of Agency, Counterfactuals, and Norms / $c by Ilaria Canavotto.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2022.
300 $a XIII, 212 p. 27 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13228
505 0 $a Background 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 $a 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.
650 0 $a Logic. $3 558909
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031171109
776 0 8 $i Printed edition: $z 9783031171123
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-17111-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)