期刊全称 | A Protocol-theoretic Framework for the Logic of Epistemic Norms | 影响因子2023 | Ralph Jenkins | 视频video | http://file.papertrans.cn/142/141961/141961.mp4 | 发行地址 | Articulates and defends epistemic proceduralism.Defines and defends a new "protocol-theoretic" framework for the logic of epistemic norms.Expands and adapts propositional dynamic logic and related for | 学科分类 | Synthese Library | 图书封面 |  | 影响因子 | .This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic proceduralism. The core of this view is the idea that, in virtue of their indispensable, regulative role in cognitive life, epistemic norms are closely intertwined with procedural rules that restrict epistemic actions, procedures, and processes. The resulting organizing principle of the book is that epistemic norms are protocols for epistemic planning and control..The core of the book is developing PLEN, which is essentially a novel variant of propositional dynamic logic (PDL) distinguished by more or less elaborate revisions of PDL’s syntax and semantics. The syntax encodes the procedural content of epistemic norms by means of the well-known protocol or program constructions of dynamic and epistemic logics. It then provides a novel language of operators on protocols, including a range o | Pindex | Book 2022 |
The information of publication is updating
|
|