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 prool or program constructions of dynamic and epistemic logics. It then provides a novel language of operators on prools, including a range of unique prool equivalence relations, syntactic operations on prools, and various procedural relations among prools in addition to the standard dynamic (modal) operators of PDL. The semantics of the system then interprets prool expressions and expressions embedding prools over a class of directed multigraph-like structures rather than the standard labeled transition systems or modal frames. The intent of the system is to better represent epistemic dynamics, build a logic of prools atop it, and then show that the resulting logic of prools is useful as a logical framework for epistemic norms. The resulting theory of epistemic norms centers on notions of norm equivalence derived from theories of process equivalence familiar from the study of dynamic and modal logics. The canonical account of prool equivalence in PLEN turns out to possess a number of interesting formal features, including satisfaction of important conditions on hyperintensional equivalence, a matter of recently recognized importance in the logic of norms, generally.
To show that the system is interesting and useful as a framework for representing and reasoning about epistemic norms, the author applies the logical system to the analysis of epistemic deontic operators, and, partly on the basis of this, establishes representation theorems linking prools to the action-guiding content of epistemic norms. The prool-theoretic logic of epistemic norms is then shown to almost immediately validate the main principles of epistemic proceduralism.
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 prool or program constructions of dynamic and epistemic logics. It then provides a novel language of operators on prools, including a range of unique prool equivalence relations, syntactic operations on prools, and various procedural relations among prools in addition to the standard dynamic (modal) operators of PDL. The semantics of the system then interprets prool expressions and expressions embedding prools over a class of directed multigraph-like structures rather than the standard labeled transition systems or modal frames. The intent of the system is to better represent epistemic dynamics, build a logic of prools atop it, and then show that the resulting logic of prools is useful as a logical framework for epistemic norms. The resulting theory of epistemic norms centers on notions of norm equivalence derived from theories of process equivalence familiar from the study of dynamic and modal logics. The canonical account of prool equivalence in PLEN turns out to possess a number of interesting formal features, including satisfaction of important conditions on hyperintensional equivalence, a matter of recently recognized importance in the logic of norms, generally.
To show that the system is interesting and useful as a framework for representing and reasoning about epistemic norms, the author applies the logical system to the analysis of epistemic deontic operators, and, partly on the basis of this, establishes representation theorems linking prools to the action-guiding content of epistemic norms. The prool-theoretic logic of epistemic norms is then shown to almost immediately validate the main principles of epistemic proceduralism.
![A Protocol-theoretic Framework for the Logic of Epistemic Norms](http://vs-images.bn-web.com/static/redesign/srcs/images/grey-box.png?v11.11.4)
A Protocol-theoretic Framework for the Logic of Epistemic Norms
526![A Protocol-theoretic Framework for the Logic of Epistemic Norms](http://vs-images.bn-web.com/static/redesign/srcs/images/grey-box.png?v11.11.4)
A Protocol-theoretic Framework for the Logic of Epistemic Norms
526Hardcover(1st ed. 2022)
Product Details
ISBN-13: | 9783031085963 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 09/27/2022 |
Series: | Synthese Library , #467 |
Edition description: | 1st ed. 2022 |
Pages: | 526 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |