Inquisitive Logic: Consequence and Inference in the Realm of Questions

This book argues that logic should be extended to encompass questions,which leads to important notions such as logical answerhood and dependency. It shows how classical propositional and predicate logic can be made inquisitive and discusses the connections between inquisitive logic and dependence logic.

Format: Hardback
Length: 272 pages
Publication date: 02 March 2023
Publisher: Springer International Publishing AG

This open-access book makes a compelling case for expanding the scope of logic beyond its traditional confines, encompassing not only statements but also questions. In-depth exploration is conducted to examine the motivations behind this extension. It is demonstrated that crucial concepts such as logical answerhood and dependency arise as facets of the fundamental notion of entailment when logic is extended to questions, and thus can be treated using the tools commonly employed by logicians, including model-theoretic constructions and proof systems.

After motivating the endeavor, the book proceeds to describe how classical propositional and predicate logic can be conservatively extended with questions, leading to the development of inquisitive logics. These logics are characterized by their meta-theoretic properties and proof systems. Furthermore, the book delves into the close connections between inquisitive logic and dependence logic, highlighting their interdependence and mutual enrichment.

By broadening the horizons of logic to include questions, this book offers a fresh perspective on the field, enabling researchers to explore new areas of inquiry and develop more robust reasoning frameworks. It serves as a valuable resource for scholars and practitioners alike, advancing our understanding of logic and its applications in various domains.

Weight: 606g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031097058
Edition number: 1st ed. 2022