|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
A Protocol-theoretic Framework for the Logic of Epistemic Norms (Hardcover, 1st ed. 2022)
Loot Price: R2,977
Discovery Miles 29 770
|
|
|
A Protocol-theoretic Framework for the Logic of Epistemic Norms (Hardcover, 1st ed. 2022)
Series: Synthese Library, 467
Expected to ship within 10 - 15 working days
|
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 of unique protocol equivalence
relations, syntactic operations on protocols, and various
procedural relations among protocols in addition to the standard
dynamic (modal) operators of PDL. The semantics of the system then
interprets protocol expressions and expressions embedding protocols
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 protocols atop it, and then show that the resulting logic of
protocols 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 protocol 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 protocols to the action-guiding
content of epistemic norms. The protocol-theoretic logic of
epistemic norms is then shown to almost immediately validate the
main principles of epistemic proceduralism.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
