OPAC

検索結果一覧に戻る

Where Responsibility Takes You : Logics of Agency, Counterfactuals, and Norms / by Ilaria Canavotto
(Lecture Notes in Computer Science. ISSN:16113349 ; 13228)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer Nature Switzerland : Imprint: Springer)
出版年	2022
大きさ	XIII, 212 p. 27 illus : online resource
著者標目	*Canavotto, Ilaria author SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0001651	Computer Scinece R0 2005-6,2022-3				9783031171116

書誌詳細を非表示

一般注記	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 HTTP:URL=https://doi.org/10.1007/978-3-031-17111-6
件　名	LCSH:Logic FREE:Logic
分　類	LCC:BC1-199 DC23:160
書誌ID	EB00001039
ISBN	9783031171116